Team : MoVe - Modeling and Verification
Team leader : Fabrice Kordon Site Jussieu 25-26/212
Short presentation
MoVe centers its research on the modeling and analysis of complex and dynamic distributed systems. In particular, we put our focus on:
- Optimized techniques of formal verification through model-checking.
- Development methodologies based on Model-Driven Engineering.
- Integration of formal analysis in development processes.
- Design and implementation of new programming languages and models to increase the verifiability of distributed programs.
Model engineering, Modeling, Petri nets, Model checking, Program generation, meta-modeling
Selected publications
- B. Bérard, S. Haddad, M. Sassolas : “Interrupt Timed Automata: verification and expressiveness”, Formal Methods in System Design, vol. 40 (1), pp. 41-87 [Bérard 2012a]
- S. Hong, F. Kordon, E. Paviot‑Adet, S. Evangelista : “Computing a Hierarchical Static order for Decision Diagram-Based Representation from P/T Nets”, Transactions on Petri Nets and Other Models of Concurrency, vol. 6900 (V), Lecture Notes in Computer Science, pp. 121-140, (Springer Verlag), (ISBN: 1867-7193) [Hong 2012]
- A. Duret‑Lutz, K. Klai, D. Poitrenaud, Y. Thierry‑Mieg : “Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking”, 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11), vol. 6996, Lecture Notes in Computer Science, Taipei, Taiwan, pp. 336-350, (Springer) [Duret-Lutz 2011b]
- S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis, S. Haddad : “Lumping partially symmetrical stochastic models”, Performance Evaluation, vol. 68 (1), pp. 21-44, (Elsevier Science Publishers B. V.), (ISBN: 0166-5316) [Baarir 2011b]
- S. Baarir, C. Braunstein, E. Encrenaz, J.‑M. Ilié, I. Mounier, D. Poitrenaud, S. Younes : “Feasibility Analysis for Robustness Quantification by Symbolic Model Checking”, Formal Methods in System Design, vol. 39 (2), pp. 165-184, (ISBN: 0925-9856) [Baarir 2011a]
- B. Staudt lerner, S. Christov, L. Osterweil, R. Bendraou, U. Kannengiesser, A. Wise : “Exception Handling Patterns for Process Modeling”, IEEE Transactions on Software Engineering, vol. 36 (2), pp. 162-183, (ISBN: 0098-5589) [Staudt lerner 2010]
- R. Bendraou, J.‑M. Jézéquel, M.‑P. Gervais, X. Blanc : “A Comparison of Six UML-Based Languages for Software Process Modeling”, IEEE Transactions on Software Engineering, vol. 36 (5), pp. 662-675 [Bendraou 2010b]
- A. Hamez, Y. Thierry‑Mieg, F. Kordon : “Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation”, Fundamenta Informaticae, vol. 94 (3-4), pp. 413-437, (IOS Press) [Hamez 2009]
- Y. Thierry‑Mieg, D. Poitrenaud, A. Hamez, F. Kordon : “Hierarchical Set Decision Diagrams and Regular Models”, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 5505, Lecture Notes in Computer Science, S. Kowalewski, A. Philippou (Eds.), York, United Kingdom, pp. 1-15, (Springer) [Thierry-Mieg 2009]
- X. Blanc, I. Mounier, A. Mougenot, T. Mens : “Detecting Model Inconsistency Through Operation-Based Model Construction”, 30th International Conference on Software Engineering (ICSE 2008), Robby
(Ed.), Leipzig, Germany, pp. 511-520, (ACM) [Blanc 2008b]
All…
Contact
Fabrice.Kordon (at) nulllip6.fr
