- Research
- Team
Team : MoVe - Modeling and Verification
Axes : SSR (👥👥), ASN (👥), TMC (👥).Team leaders :
Jean-François Pradat-Peyre Campus Pierre et Marie Curie 25-26/215Yann Thierry-Mieg Campus Pierre et Marie Curie 25-26/210
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.
Self-assessment Archives Thesis
Tags
Modeling Petri nets Model checking Program generation Model engineeringSelected publications
- B. Barbot, B. BĂ©rard, Y. Duplouy, S. Haddad : “Integrating Simulink Models into the Model Checker Cosmos” Application and Theory of Petri Nets and Concurrency - Petri Nets 2018, vol. 10877, Lecture Notes in Computer Sciences, Bratislava, Slovakia, pp. 363-373, (Springer)[Barbot 2018b]
- R. Bendraou, B. Combemale, X. CrĂ©gut, M.‑P. Gervais : “Definition of an eXecutable SPEM 2.0” 14th Asia-Pacific Software Engineering Conference (APSEC), Nagoya, Japan, pp. 390-397, (IEEE Computer Society)[Bendraou 2007a]
- B. BĂ©rard, B. Bollig, P. Bouyer, M. FĂŒgger, N. Sznajder : “Synthesis in presence of dynamic links” Information and Computation, vol. 289 (Part B), pp. 104856, (Elsevier)[BĂ©rard 2022a]
- B. BĂ©rard, P. Bouyer, V. JugĂ© : “Finite Bisimulations for Dynamical Systems with Overlapping Trajectories” LIPICS, vol. 119, Birmingham, United Kingdom, pp. 26:1-26:17, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik)[BĂ©rard 2018b]
- B. BĂ©rard, S. Haar, L. HĂ©louĂ«t : “Hyper Partial Order Logic” 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, vol. 122, Leibniz International Proceedings in Informatics (LIPIcs), Ahmedabad, India, pp. 20:1-20:21, (Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik)[BĂ©rard 2018c]
- B. BĂ©rard, S. Haar, S. Schmitz, S. Schwoon : “The Complexity of Diagnosability and Opacity Verification for Petri Nets” Fundamenta Informaticae, vol. 161 (4), pp. 317-349, (Polskie Towarzystwo Matematyczne)[BĂ©rard 2018d]
- B. BĂ©rard, S. Haddad : “Revisiting Reachability in Polynomial Interrupt Timed Automata” Information Processing Letters, vol. 174, pp. 106208, (Elsevier)[BĂ©rard 2022b]
- B. BĂ©rard, S. Haddad, E. Lefaucheux : “Probabilistic Disclosure: Maximisation vs. Minimisation” FSTTCS 2017, Kanpur, India, pp. 13:1-13:14[BĂ©rard 2017c]
- B. BĂ©rard, S. Haddad, C. Picaronny, M. Safey El Din, M. Sassolas : “Polynomial interrupt timed automata: Verification and expressiveness” Information and Computation, vol. 277, pp. 104580, (Elsevier)[BĂ©rard 2021]
- B. BĂ©rard, L. HĂ©louĂ«t, J. Mullins : “Non-interference in partial order models” ACM Transactions on Embedded Computing Systems (TECS), vol. 16 (2), Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, pp. 44:1-44:34, (ACM)[BĂ©rard 2017a]
- B. BĂ©rard, O. Kouchnarenko, J. Mullins, M. Sassolas : “Opacity for linear constraint Markov chains” Discrete Event Dynamic Systems, vol. 28 (1), pp. 83-108, (Springer Verlag)[BĂ©rard 2018a]
- B. Bollig, M. Lehaut, N. Sznajder : “Round-Bounded Control of Parameterized Systems” 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), vol. 11138, Proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), Los Angeles, California, United States, pp. 370-386, (Springer)[Bollig 2018]
- Th. Bui, N. Papoulias, S. Stinckwich, M. Ziane, B. Roche : “The Kendrick modelling platform: language abstractions and tools for epidemiology” BMC Bioinformatics, vol. 20 (1), pp. 312, (BioMed Central)[Bui 2019]
- Ah. Chaouche, J.‑M. IliĂ©, F. PĂȘcheux : “Dealing with Failures for Execution Consistency in Context-aware Systems” Procedia Computer Science, vol. 177, pp. 212-219, (Elsevier)[Chaouche 2020]
- A. Chueshev, J. Lawall, R. Bendraou, T. Ziadi : “Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers” ICSME 2020 - International Conference on Software Maintenance and Evolution, AdĂ©laĂŻde / Virtual, Australia[Chueshev 2020]
- S. GrĂŒner, A. Burger, H. Abukwaik, S. El‑Sharkawy, K. Schmid, T. Ziadi, A. Paule, F. Suda, A. Viehl : “Demonstration of a Toolchain for Feature Extraction, Analysis and Visualization on an Industrial Case Study” 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), Helsinki, Finland, pp. 459-465, (IEEE)[GrĂŒner 2019]
- R. Hebig, D. Khelladi, R. Bendraou : “Approaches to Co-Evolution of Metamodels and Models: A Survey” IEEE Transactions on Software Engineering, vol. 43 (5), pp. 396-414, (Institute of Electrical and Electronics Engineers)[Hebig 2017]
- S. Houhou, S. Baarir, P. Poizat, Ph. QuĂ©innec : “A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations” BPM 2019: Business Process Management, vol. 11675, Lecture Notes in Computer Science book series (LNCS), Vienna, Austria, pp. 52-68[Houhou 2019]
- S. Houhou, S. Baarir, P. Poizat, Ph. QuĂ©innec : “A Direct Formal Semantics for BPMN Time-Related Constructs” ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, online, Czechia, pp. 138-149[Houhou 2021]
- S. Houhou, S. Baarir, P. Poizat, Ph. QuĂ©innec, L. Kahloud : “A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations” Information Systems, vol. 104, pp. 101765, (Elsevier)[Houhou 2022]
- J.‑M. IliĂ©, Ah. Chaouche, F. PĂȘcheux : “A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation” International Journal of Ambient Computing and Intelligence, vol. 13 (1), pp. 1-19, (IGI Pub)[IliĂ© 2022]
- D. Jaime, J. El Haddad, P. Poizat : “A Preliminary Study of Rhythm and Speed in the Maven Ecosystem” 21st Belgium-Netherlands Software Evolution Workshop, Mons, Belgium[Jaime 2022]
- M. Kerdoudi, T. Ziadi, Ch. Tibermacine, S. Sadou : “Recovering Software Architecture Product Lines” ICECCS 2019 - 24th International Conference on Engineering of Complex Computer Systems, Nansha, Guangzhou, China, pp. 226-235, (IEEE)[Kerdoudi 2019b]
- M. Kerdoudi, T. Ziadi, Ch. Tibermacine, S. Sadou : “A novel approach for Software Architecture Product Line Engineering” Journal of Systems and Software, vol. 186, pp. 111191, (Elsevier)[Kerdoudi 2022]
- J. Malenfant : “Towards a well-founded software component model for cyber-physical control systems” Second IEEE International Conference on Robotic Computing, Laguna Hills, California, United States[Malenfant 2018]
- J. Martinez, N. Ordoñez, Xh. TĂ«rnava, T. Ziadi, J. Aponte, E. Figueiredo, M. Valente : “Feature Location Benchmark with ArgoUML SPL” Systems and Software Product Line Conference (SPLC), Gothenburg, Sweden[Martinez 2018b]
- J. Martinez, T. Ziadi, T. BissyandĂ©, J. Klein, Y. Le Traon : “Bottom-Up Adoption of Software Product Lines - A Generic and Extensible Approach” 19th International Software Product Line Conference (SPLC), Nashville, TN, United States, pp. 101-110, (ACM)[Martinez 2015c]
- J. Martinez, T. Ziadi, M. Papadakis, T. BissyandĂ©, J. Klein, Y. Le Traon : “Feature location benchmark for extractive software product line adoption research using realistic and synthetic Eclipse variants” Information and Software Technology, (Elsevier)[Martinez 2018c]
- F. PĂ©rez, T. Ziadi, C. Cetina : “Utilizing Automatic Query Reformulations as Genetic Operations to Improve Feature Location in Software Models” IEEE Transactions on Software Engineering, vol. 48 (2), pp. 713-731, (Institute of Electrical and Electronics Engineers)[PĂ©rez 2022]
- S. Pinchinat, B. Fila, F. Wacheux, Y. Thierry‑Mieg : “Attack Trees: A Notion of Missing Attacks” GraMSec 2019 - 6th International Workshop on Graphical Models for Security, vol. 11720, Lecture Notes in Computer Science, Hoboken, NJ, United States, pp. 23-49[Pinchinat 2019]
- R. Saddem‑Yagoubi, P. Poizat, S. Houhou : “Business Processes Meet Spatial Concerns: the sBPMN Verification Framework” FM 2021 - 24th International Symposium on Formal Methods, vol. 13047, Lecture Notes in Computer Science, Beijing, China, pp. 218-234[Saddem-Yagoubi 2021]
- A. Sadovykh, A. Bagnato, J. Robin, A. Viehl, T. Ziadi, J. Martinez : “REVAMP: Challenges and innovation roadmap for variability management in round-trip engineering of software-intensive systems” GĂ©nie logiciel : le magazine de l'ingĂ©nierie du logiciel et des systĂšmes n°120, pp. 32-36, (GĂ©nie industriel multimĂ©dia)[Sadovykh 2017]
- A. Sangnier, N. Sznajder, M. Potop‑Butucaru, S. Tixeuil : “Parameterized verification of algorithms for oblivious robots on a ring” Formal Methods in System Design, vol. 56, pp. 55-89, (Springer Verlag)[Sangnier 2020]
- A. Shatnawi, A.‑D. Seriai, H. Sahraoui, T. Ziadi, A. Seriai : “ReSIde: Reusable Service Identification from Software Families” Journal of Systems and Software, vol. 170, pp. 110748, (Elsevier)[Shatnawi 2020]
- A. Shatnawi, T. Ziadi, M. Mohamadi : “Understanding Source Code Variability in Cloned Android Families: an Empirical Study on 75 Families” 2019 26th Asia-Pacific Software Engineering Conference (APSEC), Putrajava, Malaysia[Shatnawi 2019]
- N. Sznajder, B. BĂ©rard, B. Bollig, M. Lehaut : “Parameterized Synthesis for Fragments of First-Order Logic over Data Words” Proceedings of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'20), vol. 12077, Lecture Notes in Computer Science, Dublin, Ireland, pp. 97-118, (Springer)[Sznajder 2020]
- V. Vallade, L. Le Frioux, S. Baarir, J. Sopena, V. Ganesh, F. Kordon : “Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving” SAT 2020 - 23rd International Conference on Theory and Applications of Satisfiability Testing, vol. 12178, Lecture Notes in Computer Science, Alghero / Virtual, Italy, pp. 11-27[vallade 2020b]
- H. Xu, S. Baarir, T. Ziadi, L. Hillah, S. Essodaigui, Y. Bossu : “Optimisation for the product configuration system of Renault: towards an integration of symmetries” 25th ACM International Systems and Software Product Line Conference - Volume B, vol. B, SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, pp. 86-90, (ACM)[Xu 2021]