| 2026 | MODELSWARD | Towards Model Compliance Using Generative Agents: A NetLogo to Sequence Diagrams Experiment. | Benot Ries, Nicolas Guelfi, Tiago Sousa |
| 2026 | MODELSWARD | A Semantically-Grounded Agentic Framework for Assisting BPMN Model Instance Execution. | Tiago Sousa, Nicolas Guelfi, Benot Ries |
| 2025 | MODELS | Modeling AI-Driven Workflows for Ecosystem Resilience Prediction. | Tiago Sousa, Nicolas Guelfi, Benot Ries |
| 2024 | MODELS | Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision Paper. | Tiago Sousa, Benot Ries, Nicolas Guelfi |
| 2021 | MODELSWARD | An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML. | Benot Ries, Nicolas Guelfi, Benjamin Jahic |
| 2018 | SLE | Messir: a text-first DSL-based approach for UML requirements engineering (tool demo). | Benot Ries, Alfredo Capozucca, Nicolas Guelfi |
| 2011 | MODELS | Comparing Six Modeling Approaches. | Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Brk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jzquel, Jrg Kienzle, Jacques Klein, Jean-Baptiste Lzoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup |
| 2011 | NSS | Towards improving security testability of AADL architecture models. | Ayda Sadane, Nicolas Guelfi |
| 2009 | SAC | Designing reliable real-time concurrent object-oriented software systems. | Alfredo Capozucca, Nicolas Guelfi |
| 2009 | SEW | Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. | Barbara Gallina, Nicolas Guelfi, Pierre Kelsen |
| 2008 | COMPSAC | A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. | Barbara Gallina, Nicolas Guelfi |
| 2008 | ICSE | Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation. | Andrey Berlizev, Nicolas Guelfi |
| 2008 | SEW | SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. | Barbara Gallina, Nicolas Guelfi |
| 2008 | SPLC | Reconciling Automation and Flexibility in Product Derivation. | Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Jean-Marc Jzquel |
| 2007 | AINA | On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System. | Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi |
| 2007 | ISSRE | Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. | Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky |
| 2007 | SAC | A metadata-based architectural model for dynamically resilient systems. | Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi |
| 2007 | REFSQ | A Template for Requirement Elicitation of Dependable Product Lines. | Barbara Gallina, Nicolas Guelfi |
| 2007 | REFSQ | A Flexible Requirements Analysis Approach for Software Product Lines. | Nicolas Guelfi, Gilles Perrouin |
| 2006 | ISSRE | CAA-DRIP: a framework for implementing Coordinated Atomic Actions. | Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo |
| 2006 | SAC | A formal framework to generate XPDL specifications from UML activity diagrams. | Nicolas Guelfi, Amel Mammar |
| 2005 | APSEC | A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. | Nicolas Guelfi, Amel Mammar |
| 2005 | CaiSE | Efficient: A Toolset for Building Trusted B2B Transactions. | Amel Mammar, Sophie Ramel, Bertrand Grgoire, Michael Schmitt, Nicolas Guelfi |
| 2004 | EuroPLop | A Pattern Language for Documenting Software Architectures. | Paris Avgeriou, Nicolas Guelfi, Reza Razavi |
| 1999 | ICECCS | Formal Development and Validation of Java Dependable Distributed Systems. | Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo |