Formal models for safety and performance analysis of a data center system von Bennaceur, Walid Mokhtar, Kloul, Leïla

Volltext

Modeling patterns for reliability assessment of safety instrumented systems von Meng, Huixing, Kloul, Leïla, Rauzy, Antoine

Volltext

Production trees: A new modeling methodology for production availability analyses von Kloul, Leïla, Rauzy, Antoine

Volltext

Production availability analysis of Floating Production Storage and Offloading (FPSO) systems von Meng, Huixing, Kloul, Leïla, Rauzy, Antoine

Volltext

Modeling the CBTC Railway System of Siemens with ScOLa von Issad, Melissa, Kloul, Leïla, Rauzy, Antoine, Berkani, Karim

Volltext

Safety Analysis of a Data Center’s Electrical System Using Production Trees von Bennaceur, Walid Mokhtar, Kloul, Leïla, Rauzy, Antoine

Volltext

Scenario‐oriented reverse engineering of complex railway system specifications von Issad, Melissa, Kloul, Leila, Rauzy, Antoine

Volltext

Centralized Mobile Users Assignment Strategies for Energy Management in Het-LTE Networks von Barth, Dominique, Choutri, Amira, Kloul, Leila, Marce, Olivier

Volltext

A Model-Based Methodology to Formalize Specifications of Railway Systems von Issad, Melissa, Kloul, Leïla, Rauzy, Antoine

Volltext

A Strongly Consistent Transformation from UML Interactions to PEPA Nets von Bowles, Juliana, Kloul, Leïla

Volltext

A Function-Equivalent Components Based Simplification Technique for PEPA Models von Hillston, Jane, Kloul, Leïla

Volltext

A New Markov-Based Mobility Prediction Algorithm for Mobile Networks von Bellahsene, Samir, Kloul, Leïla

Volltext

A unified tool for performance modelling and prediction von Gilmore, Stephen, Kloul, Leïla

Volltext

Formal techniques for performance analysis : blending SAN and PEPA von HILLSTON, Jane, KLOUL, Leila

Volltext

Modeling systems with mobile components: a comparison between AltaRica and PEPA nets von Kloul, Leila, Prosvirnova, Tatiana, Rauzy, Antoine

Volltext

Modeling patterns for reliability assessment of safety instrumented systems von Meng, Huixing, Kloul, Leïla, Rauzy, Antoine

Volltext

Modeling systems with mobile components: a comparison between AltaRica and PEPA nets von Kloul, Leila, Prosvirnova, Tatiana, Rauzy, Antoine

Volltext

Folk-IS: opportunistic data services in least developed countries von Anciaux, N., Bouganim, L., Delot, T., Ilarri, S., Kloul, L., Mitton, N., Pucheral, P.

Volltext

PEPA nets: a structured performance modelling formalism von Gilmore, Stephen, Hillston, Jane, Kloul, Leı̈la, Ribaudo, Marina

Volltext

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, W... von Bravetti, Mario, Kloul, Leila, Zavattaro, Gianluigi

Volltext