Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Publications MoVe | 2023 | 2024 | 2025 | Total |
---|---|---|---|---|
Livres | 0 | 0 | 0 | 0 |
Éditions de livres | 0 | 1 | 0 | 1 |
Articles de revues | 2 | 2 | 0 | 4 |
Chapitres de livres | 0 | 0 | 0 | 0 |
Conférences | 8 | 9 | 2 | 19 |
Habilitations | 0 | 0 | 0 | 0 |
Soutenances de thèse | 2 | 3 | 0 | 5 |
- M. Acher, P. Temple, J.‑M. Jézéquel, J. Galindo Duarte, J. Martinez, T. Ziadi : “VaryLaTeX: Learning Paper Variants That Meet Constraints”, VaMoS 2018 - 12th International Workshop on Variability Modelling of Software-Intensive Systems, Madrid, Spain, pp. 83-88, (ACM) [Acher 2018]
- S. Baarir, R. Bendraou, H. Metin, Y. Laurent : “ProVer: an SMT-based approach for process verification”, Model-Driven Engineering Verification & Validation, MoDELS Workshop, vol. 2245, MODELS Workshops, Copenhague, Denmark, pp. 555-562 [Baarir 2018]
- 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]
- 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. 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]
- D. Boufedji, Z. Guessoum, A. Brandao, T. Ziadi, A. Mokhtari : “Towards a MAS Product Line Engineering Approach”, Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers, vol. 10738, Lecture Notes in Artificial Intelligence, Sao Paulo, Brazil, pp. 161-179, (Springer) [Boufedji 2018]
- S. Casare, T. Ziadi, A. Brandao, Z. Guessoum : “An Automated Approach to Manage MAS-Product Line Methods”, 5th International Workshop on Engineering Multi-Agent Systems (EMAS 2017), vol. 10738, Lecture Notes in Computer Science, Sao Paulo, Brazil, pp. 180-197, (ISBN: 978-3-319-91899-0) [Casare 2018]
- E. EFFA BELLA, L. Wouters, M.‑P. Gervais, A. Koudri, R. Bendraou : “Semi-supervised Approach for Recovering Traceability Links in Complex Systems”, ICECCS 2018 - 23rd International Conference on Engineering of Complex Computer Systems, Melbourne, Australia [EFFA BELLA 2018]
- R. Hebig, R. Bendraou, D. Khelladi : “Reporting on a Survey on Approaches to Co-Evolution of Metamodels and Models”, Software Engineering, Berlin, Germany [Hebig 2018]
- E. Kindler, P. Egilsson, L. Hillah : “Using the Event Coordination Notation for Validation”, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018, Augsburg, Germany, pp. 13-20 [Kindler 2018]
- F. Kordon, Y. Thierry‑Mieg : “Self-adaptive Model Checking, the Next Step?”, Application and Theory of Petri Nets and Concurrency, Bratislava, Slovakia [Kordon 2018d]
- 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, J.‑S. Sottet, A. García Frey, T. Bissyandé, T. Ziadi, J. Klein, P. Temple, M. Acher, Y. Le Traon : “Towards Estimating and Predicting User Perception on Software Product Variants”, ICSR 2018 - International Conference on Software Reuse, vol. 10826, LNCS, Madrid, Spain, pp. 23-40, (Springer) [Martinez 2018a]
- 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, Xh. Tërnava, T. Ziadi : “Software Product Line Extraction from Variability-Rich Systems: The Robocode Case Study”, Systems and Software Product Line Conference (SPLC), Gothenburg, Sweden [Martinez 2018d]
- O. Melekhova, J. Malenfant, R. Mescheriakov, A. Chueshev : “A decentralised solution for coordinating decisions in large-scale autonomic systems”, 13th International Scientific-Technical Conference on Electromechanics and Robotics “Zavalishin’s Readings” - 2018, vol. 161, St. Petersburg, Russian Federation, pp. 03024 [Melekhova 2018]
- H. Metin, S. Baarir, M. Colange, F. Kordon : “CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving”, Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings,, Tessaloniki, Greece [Metin 2018]
- Quentin L. Meunier, Y. Thierry Mieg, E. Encrenaz : “Modeling a Cache Coherence Protocol with the Guarded Action Language”, Workshop on Models for Formal Analysis of Real Systems, Thessaloniki, Greece [Meunier 2018]
- S. Zairi, B. Zouari, H. Rahal, J.‑F. Pradat‑Peyre : “A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures”, 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Thessaloniki, Greece, pp. 737-742, (IEEE) [Zairi 2018]
- T. Ziadi, L. Hillah : “Software Product Line Extraction from Bytecode based applications”, International Conference on Engineering of Complex Computer Systems, Melbourne, Australia [Ziadi 2018a]