default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNicolas Guelfi
Person information
- affiliation: University of Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i7]Tiago Sousa, Benoît Ries, Nicolas Guelfi:
Formal Verification of Ecosystem Restoration Requirements using UML and Alloy. CoRR abs/2405.20722 (2024)- [i6]Tiago Sousa, Benoît Ries, Nicolas Guelfi:
Data Augmentation in Earth Observation: A Diffusion Model Approach. CoRR abs/2406.06218 (2024) - 2023
- [j13]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): 213 (2023) - 2021
- [c49]Benoît Ries, Nicolas Guelfi, Benjamin Jahic:
An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML. MODELSWARD 2021: 41-52 - 2020
- [c48]Benjamin Jahic, Nicolas Guelfi, Benoît Ries:
Specifying Key-properties to Improve the Recognition Skills of Neural Networks. ESSE 2020: 60-71 - [p2]Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina:
DevOps and Its Philosophy: Education Matters! Microservices, Science and Engineering 2020: 349-361
2010 – 2019
- 2019
- [j12]Yasir Imtiaz Khan, Alexandros Konios, Nicolas Guelfi:
A Survey of Petri Nets Slicing. ACM Comput. Surv. 51(5): 109:1-109:32 (2019) - [c47]Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin:
Teaching DevOps in Academia and Industry: Reflections and Vision. DEVOPS 2019: 1-14 - [c46]Alfredo Capozucca, Nicolas Guelfi:
Analysing the SWECOM Standard for Designing a DevOps Education Programme. FISEE 2019: 133-150 - [i5]Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Sergey Masyagin:
Teaching DevOps in academia and industry: reflections and vision. CoRR abs/1903.07468 (2019) - [i4]Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina:
DevOps and its Philosophy : Education Matters! CoRR abs/1904.02469 (2019) - 2018
- [c45]Nicolas Guelfi:
Please ... . draw me a Software Engineer. HICSS 2018: 1-5 - [c44]Alfredo Capozucca, Nicolas Guelfi, Benoît Ries:
Design of a (Yet Another?) DevOps Course. DEVOPS 2018: 1-18 - [c43]Benoît Ries, Alfredo Capozucca, Nicolas Guelfi:
Messir: a text-first DSL-based approach for UML requirements engineering (tool demo). SLE 2018: 103-107 - 2017
- [j11]Nicolas Guelfi, Benjamin Jahic, Benoît Ries:
TESMA: Requirements and Design of a Tool for Educational Programs. Inf. 8(1): 37 (2017) - 2015
- [c42]Nicolas Guelfi:
Software Engineering and Modeling Education: Problems and Solutions. PNSE @ Petri Nets 2015: 17 - 2014
- [c41]Yasir Imtiaz Khan, Nicolas Guelfi:
Slicing High-level Petri Nets. PNSE @ Petri Nets 2014: 201-220 - [c40]Yasir Imtiaz Khan, Nicolas Guelfi:
SLAPN : A Tool for Slicing Algebraic Petri Nets. PNSE @ Petri Nets 2014: 343-345 - [c39]Zengyang Li, Peng Liang, Paris Avgeriou, Nicolas Guelfi, Apostolos Ampatzoglou:
An empirical investigation of modularity metrics for indicating architectural technical debt. QoSA 2014: 119-128 - 2012
- [j10]Ayda Saïdane, Nicolas Guelfi:
SETER: Towards Architecture-Model Based Security Engineering. Int. J. Secur. Softw. Eng. 3(3): 23-49 (2012) - 2011
- [j9]Nicolas Guelfi:
A formal framework for dependability and resilience from a software engineering perspective. Central Eur. J. Comput. Sci. 1(3): 294-328 (2011) - [j8]Cédric Pruski, Nicolas Guelfi, Chantal Reynaud:
Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework. Int. J. Web Portals 3(3): 41-58 (2011) - [c38]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: 217-243 - [c37]Ayda Saïdane, Nicolas Guelfi:
Towards improving security testability of AADL architecture models. NSS 2011: 353-357 - 2010
- [j7]Alfredo Capozucca, Nicolas Guelfi:
Modelling dependable collaborative time-constrained business processes. Enterp. Inf. Syst. 4(2): 153-214 (2010) - [j6]Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz:
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling. LNCS Trans. Aspect Oriented Softw. Dev. 7: 1-22 (2010) - [c36]Nicolas Guelfi, Cédric Pruski, Chantal Reynaud:
Experimental assessment of the TARGET adaptive ontology-based Web search framework. NOTERE 2010: 297-302 - [i3]Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander B. Romanovsky:
An Introduction to Software Engineering and Fault Tolerance. CoRR abs/1011.1551 (2010)
2000 – 2009
- 2009
- [j5]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): 207-228 (2009) - [c35]Alfredo Capozucca, Nicolas Guelfi:
Designing reliable real-time concurrent object-oriented software systems. SAC 2009: 1996-1997 - [c34]Barbara Gallina, Nicolas Guelfi, Pierre Kelsen:
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. SEW 2009: 94-103 - [p1]Andrey Berlizev, Nicolas Guelfi:
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. Methods, Models and Tools for Fault Tolerance 2009: 275-296 - 2008
- [j4]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
Special issue: Engineering Fault Tolerant Systems. Comput. Syst. Sci. Eng. 23(5) (2008) - [j3]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): 111-144 (2008) - [c33]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: 172-175 - [c32]Marcos Da Silveira, Nicolas Guelfi:
Exploiting Service Oriented Architectures for the Design of E-Health Systems. HEALTHINF (2) 2008: 219-224 - [c31]Barbara Gallina, Nicolas Guelfi:
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. COMPSAC 2008: 739-744 - [c30]Andrey Berlizev, Nicolas Guelfi:
Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation. SEESE@ICSE 2008: 23-30 - [c29]Barbara Gallina, Nicolas Guelfi:
SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties. SEW 2008: 115-124 - [c28]Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Jean-Marc Jézéquel:
Reconciling Automation and Flexibility in Product Derivation. SPLC 2008: 339-348 - [e9]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
SERENE 2008, RISE/EFTS Joint International Workshop on Software Engineering for REsilient SystEms, Newcastle Upon Tyne, UK, November 17-19, 2008. ACM 2008, ISBN 978-1-60558-275-7 [contents] - [i2]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 - [i1]Nicolas Guelfi, Benoît Ries:
SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems. ERCIM News 2008(75) (2008) - 2007
- [c27]Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi:
On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System. AINA Workshops (2) 2007: 629-634 - [c26]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: 61-73 - [c25]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: 29-38 - [c24]Barbara Gallina, Nicolas Guelfi:
A Template for Requirement Elicitation of Dependable Product Lines. REFSQ 2007: 63-77 - [c23]Nicolas Guelfi, Gilles Perrouin:
A Flexible Requirements Analysis Approach for Software Product Lines. REFSQ 2007: 78-92 - [c22]Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander B. Romanovsky, Nicolas Guelfi:
A metadata-based architectural model for dynamically resilient systems. SAC 2007: 566-572 - [c21]Nicolas Guelfi, Cédric Pruski, Chantal Reynaud:
Understanding Supporting Ontology Evolution by Observing the WWW Conference. ESOE 2007: 19-32 - [c20]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE 2007: 617-618 - [e8]Nicolas Guelfi, Didier Buchs:
Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers. Lecture Notes in Computer Science 4401, Springer 2007, ISBN 978-3-540-71875-8 [contents] - [e7]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander B. Romanovsky:
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007. ACM 2007, ISBN 978-1-59593-725-4 [contents] - 2006
- [j2]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): 159-168 (2006) - [c19]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander B. Romanovsky, Avelino F. Zorzo:
CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394 - [c18]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione:
The Fault-Tolerant Insulin Pump Therapy. RODIN Book 2006: 59-79 - [c17]Nicolas Guelfi, Amel Mammar:
A formal framework to generate XPDL specifications from UML activity diagrams. SAC 2006: 1224-1231 - [e6]Nacer Boudjlida, Dong Cheng, Nicolas Guelfi:
The 18th Conference on Advanced Information Systems Engineering (CAiSE '06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg, June 5-9, 2006. CEUR Workshop Proceedings 231, CEUR-WS.org 2006 [contents] - [e5]Nicolas Guelfi, Anthony Savidis:
Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3943, Springer 2006, ISBN 3-540-34063-7 [contents] - 2005
- [c16]Nicolas Guelfi, Amel Mammar:
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. APSEC 2005: 283-290 - [c15]Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt, Nicolas Guelfi:
Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE 2005: 430-445 - [c14]Paris Avgeriou, Nicolas Guelfi:
Resolving Architectural Mismatches of COTS Through Architectural Reconciliation. ICCBSS 2005: 248-257 - [e4]Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky:
Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3409, Springer 2005, ISBN 3-540-25053-0 [contents] - [e3]Nicolas Guelfi:
Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3475, Springer 2005, ISBN 3-540-25812-4 [contents] - 2004
- [c13]Paris Avgeriou, Nicolas Guelfi, Reza Razavi:
A Pattern Language for Documenting Software Architectures. EuroPLoP 2004: 673-694 - [c12]Reza Razavi, Jean-François Perrot, Nicolas Guelfi:
Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents. MMAS 2004: 136-148 - [c11]Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries:
Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions. OTM Workshops 2004: 468-482 - [c10]Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic:
Software Architecture Description and UML. UML Satellite Activities 2004: 23-32 - [c9]Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin:
Evolution Through Architectural Reconciliation. SETra@ICGT 2004: 165-181 - [e2]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio:
Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers. Lecture Notes in Computer Science 2952, Springer 2004, ISBN 3-540-21091-1 [contents] - 2003
- [c8]Nicolas Guelfi, Benoît Ries, Paul Sterges:
MEDAL: A CASE Tool Extension for Model-Driven Software Engineering. SwSTE 2003: 33-42 - [e1]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio:
Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers. Lecture Notes in Computer Science 2604, Springer 2003, ISBN 3-540-00679-6 [contents] - 2002
- [c7]Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi:
Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162 - 2001
- [c6]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: 73-130 - 2000
- [j1]Didier Buchs, Nicolas Guelfi:
A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 635-652 (2000) - [c5]Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky:
Using COALA to Develop a Distributed Object-Based Application. DOA 2000: 195-208
1990 – 1999
- 1999
- [c4]Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo:
Formal Development and Validation of Java Dependable Distributed Systems. ICECCS 1999: 98-108 - 1998
- [c3]Giovanna Di Marzo Serugendo, Nicolas Guelfi:
Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study. ACSD 1998: 166-176 - [c2]Giovanna Di Marzo Serugendo, Nicolas Guelfi:
Formal Development of Java Based Web Parallel Applications. HICSS (7) 1998: 604-613 - 1993
- [c1]Didier Buchs, Nicolas Guelfi:
Formal Development of Actor Programs Using Structured Algebraic Petri Nets. PARLE 1993: 353-366
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-15 01:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
