Nawal Addouche

Dependability Analysis with UML and Probabilistic Timed Automata

Jacky Montmain, Nawal Addouche, Christian Antoine, 2004 .

Damrts : une méthodologie pour la vérification formelle des propriétés de sûreté de fonctionnement de systèmes temps réel

Nawal Addouche, 2006 .

UML models for dependability analysis of real-time systems

Jacky Montmain, Nawal Addouche, Christian Antoine, 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).

Formalisation of Quantitative UML models Using Continuous Time Markov Chains.

Jacky Montmain, Nawal Addouche, Christian Antoine, 2004 .

Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems

Jacky Montmain, Nawal Addouche, Christian Antoine, 2005, SAFECOMP.

Methodology for UML Modeling and Formal Verification of Real-Time Systems

Jacky Montmain, Nawal Addouche, Christian Antoine, 2006, 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06).

Probabilistic Model Checking for Dependability Properties of Stochastic Systems

Jacky Montmain, Nawal Addouche, Christian Antoine, 2005 .

Modular modeling and analysis of a distributed production system with distant specialised maintenance

Noureddine Zerhouni, Daniel Racoceanu, Nawal Addouche, 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).