Nicolas Guelfi

86 papers A 3B 7C 6Misc 4Journal 21Unranked 34

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	A Semantically-Grounded Agentic Framework for Assisting BPMN Model Instance Execution. MODELSWARD Tiago Sousa, Nicolas Guelfi, Benoît Ries
2026	C	`conf`	Towards Model Compliance Using Generative Agents: A NetLogo to Sequence Diagrams Experiment. MODELSWARD Benoît Ries, Nicolas Guelfi, Tiago Sousa
2025	J	`jnl`	Data Augmentation in Earth Observation: A Diffusion Model Approach. Inf. Tiago Sousa, Benoît Ries, Nicolas Guelfi
2025	—	`conf`	Modeling AI-Driven Workflows for Ecosystem Resilience Prediction. MODELS-C Tiago Sousa, Nicolas Guelfi, Benoît Ries
2024	J	`jnl`	Data Augmentation in Earth Observation: A Diffusion Model Approach. CoRR Tiago Sousa, Benoît Ries, Nicolas Guelfi
2024	J	`jnl`	Formal Verification of Ecosystem Restoration Requirements using UML and Alloy. CoRR Tiago Sousa, Benoît Ries, Nicolas Guelfi
2024	—	`conf`	Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision Paper. MoDELS (Companion) Tiago Sousa, Benoît Ries, Nicolas Guelfi
2023	J	`jnl`	SEMKIS-DSL: A Domain-Specific Language to Support Requirements Engineering of Datasets and Neural Network Recognition. Inf. Benjamin Jahic, Nicolas Guelfi, Benoît Ries
2022	J	`jnl`	The MESSIR Flexible Scientific Approach to Requirements Engineering. Softw. Nicolas Guelfi
2021	C	`conf`	An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML. MODELSWARD Benoît Ries, Nicolas Guelfi, Benjamin Jahic
2020	—	`ch.`	DevOps and Its Philosophy: Education Matters! Microservices, Science and Engineering Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2020	—	`conf`	Specifying Key-properties to Improve the Recognition Skills of Neural Networks. ESSE Benjamin Jahic, Nicolas Guelfi, Benoît Ries
2019	J	`jnl`	A Survey of Petri Nets Slicing. ACM Comput. Surv. Yasir Imtiaz Khan, Alexandros Konios, Nicolas Guelfi
2019	—	`conf`	Analysing the SWECOM Standard for Designing a DevOps Education Programme. FISEE Alfredo Capozucca, Nicolas Guelfi
2019	J	`jnl`	DevOps and its Philosophy : Education Matters! CoRR Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2019	—	`conf`	Teaching DevOps in Academia and Industry: Reflections and Vision. DEVOPS Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin
2019	J	`jnl`	Teaching DevOps in academia and industry: reflections and vision. CoRR Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin
2018	—	`conf`	Design of a (Yet Another?) DevOps Course. DEVOPS Alfredo Capozucca, Nicolas Guelfi, Benoît Ries
2018	B	`conf`	Messir: a text-first DSL-based approach for UML requirements engineering (tool demo). SLE Benoît Ries, Alfredo Capozucca, Nicolas Guelfi
2018	—	`conf`	Please ... . draw me a Software Engineer. HICSS Nicolas Guelfi
2017	J	`jnl`	TESMA: Requirements and Design of a Tool for Educational Programs. Inf. Nicolas Guelfi, Benjamin Jahic, Benoît Ries
2015	—	`conf`	Software Engineering and Modeling Education: Problems and Solutions. PNSE @ Petri Nets Nicolas Guelfi
2014	—	`conf`	An empirical investigation of modularity metrics for indicating architectural technical debt. QoSA Zengyang Li, Peng Liang, Paris Avgeriou, Nicolas Guelfi, Apostolos Ampatzoglou
2014	—	`conf`	SLAPN : A Tool for Slicing Algebraic Petri Nets. PNSE @ Petri Nets Yasir Imtiaz Khan, Nicolas Guelfi
2014	—	`conf`	Slicing High-level Petri Nets. PNSE @ Petri Nets Yasir Imtiaz Khan, Nicolas Guelfi
2012	J	`jnl`	SETER: Towards Architecture-Model Based Security Engineering. Int. J. Secur. Softw. Eng. Ayda Saïdane, Nicolas Guelfi
2011	J	`jnl`	A formal framework for dependability and resilience from a software engineering perspective. Central Eur. J. Comput. Sci. Nicolas Guelfi
2011	J	`jnl`	Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework. Int. J. Web Portals Cédric Pruski, Nicolas Guelfi, Chantal Reynaud
2011	—	`conf`	Comparing Six Modeling Approaches. MoDELS (Workshops) Gunter Mussbacher, Wisam Al Abed, Omar Alam, Shaukat Ali, Antoine Beugnard, Valentin Bonnet, Rolv Bræk, Alfredo Capozucca, Betty H. C. Cheng, Urooj Fatima, Robert B. France, Geri Georg, Nicolas Guelfi, Paul Istoan, Jean-Marc Jézéquel, Jörg Kienzle, Jacques Klein, Jean-Baptiste Lézoray, Somayeh Malakuti, Ana Moreira, An Phung-Khac, Lucy J. Troup
2011	B	`conf`	Towards improving security testability of AADL architecture models. NSS Ayda Saïdane, Nicolas Guelfi
2010	J	`jnl`	An Introduction to Software Engineering and Fault Tolerance CoRR Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander B. Romanovsky
2010	J	`jnl`	Crisis Management Systems: A Case Study for Aspect-Oriented Modeling. LNCS Trans. Aspect Oriented Softw. Dev. Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz
2010	—	`conf`	Experimental assessment of the TARGET adaptive ontology-based Web search framework. NOTERE Nicolas Guelfi, Cédric Pruski, Chantal Reynaud
2010	J	`jnl`	Modelling dependable collaborative time-constrained business processes. Enterp. Inf. Syst. Alfredo Capozucca, Nicolas Guelfi
2009	Misc	`conf`	Designing reliable real-time concurrent object-oriented software systems. SAC Alfredo Capozucca, Nicolas Guelfi
2009	—	`ch.`	Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. Methods, Models and Tools for Fault Tolerance Andrey Berlizev, Nicolas Guelfi
2009	J	`jnl`	Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. J. Syst. Softw. Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino Francisco Zorzo
2009	C	`conf`	Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. SEW Barbara Gallina, Nicolas Guelfi, Pierre Kelsen
2008	—	`conf`	A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Organic Computing - Controlled Self-organization Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi
2008	B	`conf`	A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. COMPSAC Barbara Gallina, Nicolas Guelfi
2008	—	`conf`	A Survey of Interoperability in E-Health Systems - The European Approach. HEALTHINF (1) Marcos Da Silveira, Nicolas Guelfi, Jerry-David Baldacchino, Pierre Plumer, Marc Seil, Anke Wienecke
2008	J	`jnl`	Analysis and framework-based design of a fault-tolerant web information system for m-health. Serv. Oriented Comput. Appl. Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi
2008	—	`conf`	Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation. SEESE@ICSE Andrey Berlizev, Nicolas Guelfi
2008	—	`conf`	Exploiting Service Oriented Architectures for the Design of E-Health Systems. HEALTHINF (2) Marcos Da Silveira, Nicolas Guelfi
2008	B	`conf`	Reconciling Automation and Flexibility in Product Derivation. SPLC Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Jean-Marc Jézéquel
2008	—	`ed.`	SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008 SERENE Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2008	J	`jnl`	SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems. ERCIM News Nicolas Guelfi, Benoît Ries
2008	C	`conf`	SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. SEW Barbara Gallina, Nicolas Guelfi
2008	J	`jnl`	Special issue: Engineering Fault Tolerant Systems. Comput. Syst. Sci. Eng. Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2007	B	`conf`	A Flexible Requirements Analysis Approach for Software Product Lines. REFSQ Nicolas Guelfi, Gilles Perrouin
2007	B	`conf`	A Template for Requirement Elicitation of Dependable Product Lines. REFSQ Barbara Gallina, Nicolas Guelfi
2007	Misc	`conf`	A metadata-based architectural model for dynamically resilient systems. SAC Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi
2007	A	`conf`	Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. ISSRE Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky
2007	—	`conf`	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2007	—	`conf`	Les ontologies pour la recherche ciblée d'information sur le Web : une utilisation et extension d'OWL pour l'expansion de requêtes. Actes d'IC Nicolas Guelfi, Cédric Pruski, Chantal Reynaud
2007	—	`conf`	On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System. AINA Workshops (2) Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi
2007	—	`ed.`	Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 EFTS Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
2007	—	`ed.`	Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers RISE Nicolas Guelfi, Didier Buchs
2007	—	`conf`	Understanding Supporting Ontology Evolution by Observing the WWW Conference. ESOE Nicolas Guelfi, Cédric Pruski, Chantal Reynaud
2006	Misc	`conf`	A formal framework to generate XPDL specifications from UML activity diagrams. SAC Nicolas Guelfi, Amel Mammar
2006	A	`conf`	CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo
2006	J	`jnl`	On the Use of Ontologies for an Optimal Representation and Exploration of the Web. J. Digit. Inf. Manag. Nicolas Guelfi, Cédric Pruski
2006	—	`ed.`	Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers RISE Nicolas Guelfi, Anthony Savidis
2006	—	`ed.`	The 18th Conference on Advanced Information Systems Engineering (CAiSE '06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg, June 5-9, 2006 CAiSE Forum Nacer Boudjlida, Dong Cheng, Nicolas Guelfi
2006	—	`conf`	The Fault-Tolerant Insulin Pump Therapy. RODIN Book Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione
2005	C	`conf`	A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. APSEC Nicolas Guelfi, Amel Mammar
2005	A	`conf`	Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt, Nicolas Guelfi
2005	—	`ed.`	Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers RISE Nicolas Guelfi
2005	—	`conf`	Resolving Architectural Mismatches of COTS Through Architectural Reconciliation. ICCBSS Paris Avgeriou, Nicolas Guelfi
2005	—	`ed.`	Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers FIDJI Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky
2004	Misc	`conf`	A Pattern Language for Documenting Software Architectures. EuroPLoP Paris Avgeriou, Nicolas Guelfi, Reza Razavi
2004	—	`conf`	Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents. MMAS Reza Razavi, Jean-François Perrot, Nicolas Guelfi
2004	—	`conf`	Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions. OTM Workshops Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries
2004	—	`conf`	Evolution Through Architectural Reconciliation. SETra@ICGT Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin
2004	—	`ed.`	Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers FIDJI Nicolas Guelfi, Egidio Astesiano, Gianna Reggio
2004	—	`conf`	Software Architecture Description and UML. UML Satellite Activities Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic
2003	—	`conf`	MEDAL: A CASE Tool Extension for Model-Driven Software Engineering. SwSTE Nicolas Guelfi, Benoît Ries, Paul Sterges
2003	—	`ed.`	Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers FIDJI Nicolas Guelfi, Egidio Astesiano, Gianna Reggio
2002	—	`conf`	Real-Time Synchronised Petri Nets. ICATPN Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
2001	—	`conf`	Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. Concurrent Object-Oriented Programming and Petri Nets Olivier Biberstein, Didier Buchs, Nicolas Guelfi
2000	J	`jnl`	A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Trans. Software Eng. Didier Buchs, Nicolas Guelfi
2000	—	`conf`	Using COALA to Develop a Distributed Object-Based Application. DOA Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky
1999	B	`conf`	Formal Development and Validation of Java Dependable Distributed Systems. ICECCS Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo
1998	—	`conf`	Formal Development of Java Based Web Parallel Applications. HICSS (7) Giovanna Di Marzo Serugendo, Nicolas Guelfi
1998	—	`conf`	Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study. ACSD Giovanna Di Marzo Serugendo, Nicolas Guelfi
1993	—	`conf`	Formal Development of Actor Programs Using Structured Algebraic Petri Nets. PARLE Didier Buchs, Nicolas Guelfi