Nicolas Guelfi

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 14

Top Topics

Academia And Industry

Requirements Engineering

Top Venues

PNSE @ Petri Nets

Publications

Tiago Sousa, Benoît Ries, Nicolas Guelfi
Formal Verification of Ecosystem Restoration Requirements using UML and Alloy. CoRR (2024)
Tiago Sousa, Benoît Ries, Nicolas Guelfi
Data Augmentation in Earth Observation: A Diffusion Model Approach. CoRR (2024)
Benjamin Jahic, Nicolas Guelfi, Benoît Ries
SEMKIS-DSL: A Domain-Specific Language to Support Requirements Engineering of Datasets and Neural Network Recognition. Inf. 14 (4) (2023)
Benoît Ries, Nicolas Guelfi, Benjamin Jahic
An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML. MODELSWARD (2021)
Benjamin Jahic, Nicolas Guelfi, Benoît Ries
Specifying Key-properties to Improve the Recognition Skills of Neural Networks. ESSE (2020)
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
DevOps and its Philosophy : Education Matters! CoRR (2019)
Yasir Imtiaz Khan, Alexandros Konios, Nicolas Guelfi
A Survey of Petri Nets Slicing. ACM Comput. Surv. 51 (5) (2019)
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin
Teaching DevOps in academia and industry: reflections and vision. CoRR (2019)
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin
Teaching DevOps in Academia and Industry: Reflections and Vision. DEVOPS (2019)
Alfredo Capozucca, Nicolas Guelfi
Analysing the SWECOM Standard for Designing a DevOps Education Programme. FISEE (2019)
Nicolas Guelfi
Please ... . draw me a Software Engineer. HICSS (2018)
Alfredo Capozucca, Nicolas Guelfi, Benoît Ries
Design of a (Yet Another?) DevOps Course. DEVOPS (2018)
Benoît Ries, Alfredo Capozucca, Nicolas Guelfi
Messir: a text-first DSL-based approach for UML requirements engineering (tool demo). SLE (2018)
Nicolas Guelfi, Benjamin Jahic, Benoît Ries
TESMA: Requirements and Design of a Tool for Educational Programs. Inf. 8 (1) (2017)
Nicolas Guelfi
Software Engineering and Modeling Education: Problems and Solutions. PNSE @ Petri Nets (2015)
Zengyang Li, Peng Liang, Paris Avgeriou, Nicolas Guelfi, Apostolos Ampatzoglou
An empirical investigation of modularity metrics for indicating architectural technical debt. QoSA (2014)
Yasir Imtiaz Khan, Nicolas Guelfi
SLAPN : A Tool for Slicing Algebraic Petri Nets. PNSE @ Petri Nets (2014)
Yasir Imtiaz Khan, Nicolas Guelfi
Slicing High-level Petri Nets. PNSE @ Petri Nets (2014)
Ayda Saïdane, Nicolas Guelfi
SETER: Towards Architecture-Model Based Security Engineering. Int. J. Secur. Softw. Eng. 3 (3) (2012)
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
Comparing Six Modeling Approaches. MoDELS (Workshops) (2011)
Ayda Saïdane, Nicolas Guelfi
Towards improving security testability of AADL architecture models. NSS (2011)
Nicolas Guelfi
A formal framework for dependability and resilience from a software engineering perspective. Central Eur. J. Comput. Sci. 1 (3) (2011)
Cédric Pruski, Nicolas Guelfi, Chantal Reynaud
Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework. Int. J. Web Portals 3 (3) (2011)
Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander B. Romanovsky
An Introduction to Software Engineering and Fault Tolerance CoRR (2010)
Alfredo Capozucca, Nicolas Guelfi
Modelling dependable collaborative time-constrained business processes. Enterp. Inf. Syst. 4 (2) (2010)
Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling. LNCS Trans. Aspect Oriented Softw. Dev. 7 (2010)
Nicolas Guelfi, Cédric Pruski, Chantal Reynaud
Experimental assessment of the TARGET adaptive ontology-based Web search framework. NOTERE (2010)
Barbara Gallina, Nicolas Guelfi, Pierre Kelsen
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. SEW (2009)
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino Francisco Zorzo
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. J. Syst. Softw. 82 (2) (2009)
Alfredo Capozucca, Nicolas Guelfi
Designing reliable real-time concurrent object-oriented software systems. SAC (2009)
Andrey Berlizev, Nicolas Guelfi
Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation. SEESE@ICSE (2008)
Nicolas Guelfi, Benoît Ries
SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems. ERCIM News 2008 (75) (2008)
Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems. Organic Computing - Controlled Self-organization (2008)
Barbara Gallina, Nicolas Guelfi
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. COMPSAC (2008)
Barbara Gallina, Nicolas Guelfi
SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. SEW (2008)
Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Jean-Marc Jézéquel
Reconciling Automation and Flexibility in Product Derivation. SPLC (2008)
Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi
Analysis and framework-based design of a fault-tolerant web information system for m-health. Serv. Oriented Comput. Appl. 2 (2-3) (2008)
Marcos Da Silveira, Nicolas Guelfi, Jerry-David Baldacchino, Pierre Plumer, Marc Seil, Anke Wienecke
A Survey of Interoperability in E-Health Systems - The European Approach. HEALTHINF (1) (2008)
Marcos Da Silveira, Nicolas Guelfi
Exploiting Service Oriented Architectures for the Design of E-Health Systems. HEALTHINF (2) (2008)
Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
Special issue: Engineering Fault Tolerant Systems. Comput. Syst. Sci. Eng. 23 (5) (2008)
Nicolas Guelfi, Cédric Pruski, Chantal Reynaud
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 (2007)
Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi
On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System. AINA Workshops (2) (2007)
Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE (2007)
Nicolas Guelfi, Gilles Perrouin
A Flexible Requirements Analysis Approach for Software Product Lines. REFSQ (2007)
Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi
A metadata-based architectural model for dynamically resilient systems. SAC (2007)
Barbara Gallina, Nicolas Guelfi
A Template for Requirement Elicitation of Dependable Product Lines. REFSQ (2007)
Barbara Gallina, Nicolas Guelfi, Alexander B. Romanovsky
Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. ISSRE (2007)
Alexander B. Romanovsky, Henry Muccini, Nicolas Guelfi, Patrizio Pelliccione
international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE (Companion) (2007)
Nicolas Guelfi, Cédric Pruski, Chantal Reynaud
Understanding Supporting Ontology Evolution by Observing the WWW Conference. ESOE (2007)
Nicolas Guelfi, Amel Mammar
A formal framework to generate XPDL specifications from UML activity diagrams. SAC (2006)
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione
The Fault-Tolerant Insulin Pump Therapy. RODIN Book (2006)
Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo
CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE (2006)
Nicolas Guelfi, Cédric Pruski
On the Use of Ontologies for an Optimal Representation and Exploration of the Web. J. Digit. Inf. Manag. 4 (3) (2006)
Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin
Evolution Through Architectural Reconciliation. Electron. Notes Theor. Comput. Sci. 127 (3) (2005)
Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt, Nicolas Guelfi
Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE (2005)
Paris Avgeriou, Nicolas Guelfi
Resolving Architectural Mismatches of COTS Through Architectural Reconciliation. ICCBSS (2005)
Nicolas Guelfi, Amel Mammar
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. APSEC (2005)
Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic
Software Architecture Description and UML. UML Satellite Activities (2004)
Reza Razavi, Jean-François Perrot, Nicolas Guelfi
Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents. MMAS (2004)
Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries
Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions. OTM Workshops (2004)
Paris Avgeriou, Nicolas Guelfi, Reza Razavi
A Pattern Language for Documenting Software Architectures. EuroPLoP (2004)
Nicolas Guelfi, Benoît Ries, Paul Sterges
MEDAL: A CASE Tool Extension for Model-Driven Software Engineering. SwSTE (2003)
Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
Real-Time Synchronised Petri Nets. ICATPN (2002)
O. Biberstein, Didier Buchs, Nicolas Guelfi
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. Concurrent Object-Oriented Programming and Petri Nets (2001)
Didier Buchs, Nicolas Guelfi
A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Trans. Software Eng. 26 (7) (2000)
Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky
Using COALA to Develop a Distributed Object-Based Application. DOA (2000)
Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo
Formal Development and Validation of Java Dependable Distributed Systems. ICECCS (1999)
Giovanna Di Marzo Serugendo, Nicolas Guelfi
Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study. ACSD (1998)
Giovanna Di Marzo Serugendo, Nicolas Guelfi
Formal Development of Java Based Web Parallel Applications. HICSS (7) (1998)
Didier Buchs, Nicolas Guelfi
Formal Development of Actor Programs Using Structured Algebraic Petri Nets. PARLE (1993)