Leïla Kloul

Maël Guiraud

Benjamin Cohen Boulakia

Reliab. Eng. Syst. Saf., 2026

2025

Multi-approach Based Safety Analysis of a Wastewater Treatment System.

[BibT_eX]

[DOI]

Anne Fernet

Proceedings of the Model-Based Safety and Assessment - 9th International Symposium, 2025

2024

Adaptive Stop-Skipping Scheduling Approach Using Reinforcement Learning.

[BibT_eX]

[DOI]

Perla Hajjar

Proceedings of the Intelligent Transport Systems - 8th International Conference, 2024

Adaptative Reinforcement Learning Approach for Predictive Maintenance of a Smart Building Lighting System.

[BibT_eX]

[DOI]

Anas Hossini

Maël Guiraud

Benjamin Cohen Boulakia

Proceedings of the 22nd IEEE International Conference on Industrial Informatics, 2024

2023

Optimal Bus Scheduling using a Distributed Game Model Approach.

[BibT_eX]

[DOI]

Perla Hajjar

Proceedings of the 26th IEEE International Conference on Intelligent Transportation Systems, 2023

2021

Empty Vehicle Redistribution with Time Windows in Autonomous Taxi Systems.

[BibT_eX]

[DOI]

Trans. Data Sci., 2021

2020

Formal models for safety and performance analysis of a data center system.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2020

2019

Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA.

[BibT_eX]

[DOI]

Wei Chen

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2018

Scenario-oriented reverse engineering of complex railway system specifications.

[BibT_eX]

[DOI]

Melissa Issad

Syst. Eng., 2018

Modeling patterns for reliability assessment of safety instrumented systems.

[BibT_eX]

[DOI]

Huixing Meng

Reliab. Eng. Syst. Saf., 2018

Modeling the CBTC Railway System of Siemens with <i>ScOLa</i>.

[BibT_eX]

[DOI]

Int. J. Intell. Transp. Syst. Res., 2018

Reliability and Performance Analysis of a Data Center's Network Architecture.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Performance Computing and Communications Conference, 2018

Electrical and Thermal System Impact on the Availability of a Data Center's System.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on System Reliability and Safety, 2018

An Advanced Driver Assistance Test Cases Generation Methodology Based on Highway Traffic Situation Description Ontologies.

[BibT_eX]

[DOI]

Wei Chen

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018

An Ontology-based Approach to Generate the Advanced Driver Assistance Use Cases of Highway Traffic.

[BibT_eX]

[DOI]

Wei Chen

Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

2017

Production trees: A new modeling methodology for production availability analyses.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2017

Safety Analysis of a Data Center's Electrical System Using Production Trees.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Centralized Mobile Users Assignment Strategies for Energy Management in Het-LTE Networks.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Energy Web, 2016

Mobile users assignment control strategies for LTE networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 Wireless Days, 2016

Incremental Modeling Methodology of Railway System Specifications.

[BibT_eX]

[DOI]

Melissa Issad

Proceedings of the Complex Systems Design & Management, 2016

2014

Opportunistic data services in least developed countries: benefits, challenges and feasibility issues.

[BibT_eX]

[DOI]

SIGMOD Rec., 2014

Folk-IS: Opportunistic Data Services in Least Developed Countries.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

A Model-Based Methodology to Formalize Specifications of Railway Systems.

[BibT_eX]

[DOI]

Melissa Issad

Juliana Küster Filipe Bowles

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

A Strongly Consistent Transformation from UML Interactions to PEPA Nets.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2013

Femtocells sharing management using mobility prediction model.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Modeling, 2013

The AltaRica 3.0 project for model-based safety assessment.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

2012

Combining local and global profiles for mobility prediction in LTE femtocells.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Modeling, 2012

Scalable Stochastic Modelling for Resilience.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Case Study: Mobile Networks.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

Resilience in Mobile Networks: A Need and a Challenge.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

Mobility Prediction Using Mobile User Profiles.

[BibT_eX]

[DOI]

Juliana Küster Filipe Bowles

Proceedings of the MASCOTS 2011, 2011

2010

Synthesising PEPA nets from IODs for performance analysis.

[BibT_eX]

[DOI]

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

A New Markov-Based Mobility Prediction Algorithm for Mobile Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2010

2009

A hierarchical prediction model for two nodes-based IP mobile networks.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2009

From DFTs to PEPA: A Model-to-Model Transformation.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2009

2008

Performance Analysis of a Software Retrieval Service.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Assembly Code Analysis Using Stochastic Process Algebra.

[BibT_eX]

[DOI]

Lamia Djoudi

Proceedings of the Computer Performance Engineering, 2008

2007

Formal techniques for performance analysis: blending SAN and PEPA.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2007

2006

A Function-Equivalent Components Based Simplification Technique for PEPA Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

A Precedence PEPA Model for Performance and Reliability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Modelling Mobility with UML2.0 and PEPA Nets.

[BibT_eX]

[DOI]

Juliana Küster Filipe

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Algèbre des processus pour l'analyse des performances des noeuds actifs.

[BibT_eX]

[DOI]

Amdjed Mokhtari

Tech. Sci. Informatiques, 2005

Investigating unfairness scenarios in MANET using 802.11b.

[BibT_eX]

[DOI]

Fabrice Valois

Proceedings of the 2nd ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2005

A Secure Code Deployment Scheme for Active Networks.

[BibT_eX]

[DOI]

Amdjed Mokhtari

Proceedings of the Active and Programmable Networks, 2005

Choreographing Security and Performance Analysis for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

Towards a Feasible Active Networking Scenario.

[BibT_eX]

[DOI]

Amdjed Mokhtari

Telecommun. Syst., 2004

Software performance modelling using PEPA nets.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software and Performance, 2004

Analysing UML 2.0 activity diagrams in the software performance engineering process.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software and Performance, 2004

Modelling Role-Playing Games Using PEPA Nets.

[BibT_eX]

[DOI]

Stephen Gilmore

Davide Piazza

Proceedings of the Computer and Information Sciences, 2004

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

PEPA nets: a structured performance modelling formalism.

[BibT_eX]

[DOI]

Perform. Evaluation, 2003

A Unified Tool for Performance Modelling and Prediction.

[BibT_eX]

[DOI]

Stephen Gilmore

Proceedings of the Computer Safety, 2003

PEPA Nets.

[BibT_eX]

[DOI]

Stephen Gilmore

Proceedings of the Performance Tools and Applications to Networked Systems, 2003

2002

Performance modelling of hierarchical cellular networks using PEPA.

[BibT_eX]

[DOI]

Fabrice Valois

Perform. Evaluation, 2002

2001

Performance investigation of an on-line auction system.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

An Efficient Kronecker Representation for PEPA Models.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000

Multiple class G-networks with iterated deletions.

[BibT_eX]

[DOI]

Franck Quessette

Perform. Evaluation, 2000

Multiple class G-networks with list-oriented deletions.

[BibT_eX]

[DOI]

Dominique Verchère

Eur. J. Oper. Res., 2000

1995

Multiple Class G-Networks with Jumps back to Zero.

[BibT_eX]

[DOI]