| Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Ancienne équipe : | ACASA |
| Publications MoVe | 2023 | 2024 | Total |
|---|---|---|---|
| Livres | 0 | 0 | 0 |
| Éditions de livres | 0 | 0 | 0 |
| Articles de revues | 3 | 1 | 4 |
| Chapitres de livres | 0 | 0 | 0 |
| Conférences | 8 | 7 | 15 |
| Habilitations | 0 | 0 | 0 |
| Thèses | 2 | 1 | 3 |
- M. Acher, T. Ziadi, R. Lopez‑Herrejon, J. Martinez : “Seventh international workshop on reverse variability engineering (REVE 2019)”, SPLC 2019 - 23rd International Systems and Software Product Line Conference, Paris, France, pp. 1, (ACM Press) [Acher 2019]
- E. Amparore, B. Berthomieu, G. Ciardo, S. Dal Zilio, F. Gallà, L. Hillah, F. Hulin‑Hubard, P. Jensen, L. Jezequel, F. Kordon, D. Le Botlan, T. Liebke, J. Meijer, A. Miner, E. Paviot‑Adet, J. Srba, Y. Thierry‑Mieg, T. Van Dijk, K. Wolf : “Presentation of the 9th Edition of the Model Checking Contest”, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, vol. 11429, Prague, Czechia, pp. 50-68 [Amparore 2019]
- E. Bartocci, D. Beyer, P. Black, G. Fedyukovich, H. Garavel, A. Hartmanns, M. Huisman, F. Kordon, J. Nagele, M. Sighireanu, B. Steffen, M. Suda, G. Sutcliffe, T. Weber, A. Yamada : “TOOLympics 2019: An Overview of Competitions in Formal Methods”, 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czechia, pp. 3-24 [Bartocci 2019]
- V. Bouquet, K. Christophe, F. Delbot, G. Chat, J.‑F. Pradat‑Peyre : “Minimum Dominating Set and Maximum Independent Set for Evaluation of EU Funding Polices in Collaboration Networks”, Operations Research Proceedings 2018, Operations Research Proceedings, Brussels, Belgium, pp. 243-249, (Springer International Publishing) [Bouquet 2019]
- E. EFFA BELLA, S. Creff, M.‑P. Gervais, R. Bendraou : “ATLaS: A Framework for Traceability Links Recovery Combining Information Retrieval and Semi-supervised Techniques”, 23RD IEEE INTERNATIONAL EDOC CONFERENCE - THE ENTERPRISE COMPUTING CONFERENCE, Paris, France [EFFA BELLA 2019]
- 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]
- 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]
- M. Kerdoudi, T. Ziadi, Ch. Tibermacine, S. Sadou : “A Bottom-Up Approach for Reconstructing Software Architecture Product Lines”, ECSA 2019 - 13th European Conference on Software Architecture, vol. 2, ECSA '19: Proceedings of the 13th European Conference on Software Architecture, Paris, France, pp. 46-49, (ACM) [Kerdoudi 2019a]
- 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]
- L. Le Frioux, S. Baarir, J. Sopena, F. Kordon : “Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework”, TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11427, Lecture Notes in Computer Science, Prague, Czechia, pp. 135-151 [Le Frioux 2019]
- J. Malenfant : “Stochastic hybrid systems meet software components for well-founded cyber-physical systems software architectures”, 13th European Conference on Software Architecture (ECSA), vol. 2, Paris, France, pp. 132-138, (ACM Press) [Malenfant 2019]
- H. Metin, S. Baarir, F. Kordon : “Composing Symmetry Propagation and Effective Symmetry Breaking for SAT Solving”, NASA Formal Methods Symposium, vol. 11460, Lecture Notes in Computer Science, Houston, United States, pp. 316-332 [Metin 2019]
- J. Mortara, Xh. Tërnava, Ph. Collet : “symfinder: A Toolchain for the Identification and Visualization of Object-Oriented Variability Implementations”, the 23rd International Systems and Software Product Line Conference, vol. B, Paris, France, pp. 5-8, (ACM Press) [Mortara 2019]
- 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]
- D. Poitrenaud, E. Renault : “Combining Parallel Emptiness Checks with Partial Order Reductions”, ICFEM 2019 - 21st International Conference on Formal Engineering Methods, vol. 11852, Lecture Notes in Computer Science, Shenzhen, China, pp. 370-386, (Springer) [Poitrenaud 2019]
- A. Sadovykh, T. Ziadi, A. Bagnato, Th. Berger, J.‑Ph. Steghöfer, J. Robin, R. Mazo, E. Gallego : “REVaMP 2 Project: Towards Round-Trip Engineering of Software Product Lines -Approach, Intermediate Results and Challenges”, Software Technology: Methods and Tools51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings, vol. 11771, Lecture Notes in Computer Science, Innopolis, Russian Federation, pp. 406-417, (Springer) [Sadovykh 2019]
- 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]
- Xh. Tërnava, J. Mortara, Ph. Collet : “Identifying and visualizing variability in object-oriented variability-rich systems”, SPLC '19 Proceedings of the 23rd International Systems and Software Product Line Conference, Paris, France, pp. 231-243, (ACM Press) [Tërnava 2019]