Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Nicolas Guelfi
2010 – today
- 2012
[j12]Ayda Saïdane, Nicolas Guelfi: SETER: Towards Architecture-Model Based Security Engineering. IJSSE 3(3): 23-49 (2012)- 2011
- [j11]Nicolas Guelfi: A formal framework for dependability and resilience from a software engineering perspective. Central Europ. J. Computer Science 1(3): 294-328 (2011)
- [j10]Cédric Pruski, Nicolas Guelfi, Chantal Reynaud: Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework. IJWP 3(3): 41-58 (2011)
- [c35]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 Troup: Comparing Six Modeling Approaches. MoDELS Workshops 2011: 217-243
- [c34]Ayda Saïdane, Nicolas Guelfi: Towards improving security testability of AADL architecture models. NSS 2011: 353-357
- 2010
- [j9]Alfredo Capozucca, Nicolas Guelfi: Modelling dependable collaborative time-constrained business processes. Enterprise IS 4(2): 153-214 (2010)
- [j8]Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz: Crisis Management Systems: A Case Study for Aspect-Oriented Modeling. T. Aspect-Oriented Software Development 7: 1-22 (2010)
- [c33]Nicolas Guelfi, Cédric Pruski, Chantal Reynaud: Experimental assessment of the TARGET adaptive ontology-based Web search framework. NOTERE 2010: 297-302
- [i1]Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander Romanovsky: An Introduction to Software Engineering and Fault Tolerance. CoRR abs/1011.1551 (2010)
2000 – 2009
- 2009
- [j7]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino Francisco Zorzo: Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software 82(2): 207-228 (2009)
- [c32]Alfredo Capozucca, Nicolas Guelfi: Designing reliable real-time concurrent object-oriented software systems. SAC 2009: 1996-1997
- [c31]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
- [j6]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Special issue: Engineering Fault Tolerant Systems. Comput. Syst. Sci. Eng. 23(5) (2008)
- [j5]Nicolas Guelfi, Benoît Ries: SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems. ERCIM News 2008(75) (2008)
- [j4]Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi: Analysis and framework-based design of a fault-tolerant web information system for m-health. Service Oriented Computing and Applications 2(2-3): 111-144 (2008)
- [c30]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
- [c29]Marcos Da Silveira, Nicolas Guelfi: Exploiting Service Oriented Architectures for the Design of E-Health Systems. HEALTHINF (2) 2008: 219-224
- [c28]Barbara Gallina, Nicolas Guelfi: A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. COMPSAC 2008: 739-744
- [c27]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 Romanovsky (Eds.): 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
- 2007
- [c26]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
- [c25]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
- [c24]Barbara Gallina, Nicolas Guelfi, Alexander Romanovsky: Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. ISSRE 2007: 29-38
- [c23]Barbara Gallina, Nicolas Guelfi: A Template for Requirement Elicitation of Dependable Product Lines. REFSQ 2007: 63-77
- [c22]Nicolas Guelfi, Gilles Perrouin: A Flexible Requirements Analysis Approach for Software Product Lines. REFSQ 2007: 78-92
- [c21]Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky, Nicolas Guelfi: A metadata-based architectural model for dynamically resilient systems. SAC 2007: 566-572
- [c20]Nicolas Guelfi, Cédric Pruski, Chantal Reynaud: Understanding Supporting Ontology Evolution by Observing the WWW Conference. ESOE 2007: 19-32
- [c19]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE 2007: 617-618
- [c18]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. ESEC/SIGSOFT FSE (Companion) 2007: 617-618
- [e8]Nicolas Guelfi, Didier Buchs (Eds.): 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
- [e7]Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky (Eds.): 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
- 2006
- [j3]Nicolas Guelfi, Cédric Pruski: On the Use of Ontologies for an Optimal Representation and Exploration of the Web. JDIM 4(3): 159-168 (2006)
- [c17]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo: CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394
- [c16]Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione: The Fault-Tolerant Insulin Pump Therapy. RODIN Book 2006: 59-79
- [c15]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 (Eds.): 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
- [e5]Nicolas Guelfi, Anthony Savidis (Eds.): 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
- 2005
- [j2]Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin: Evolution Through Architectural Reconciliation. Electr. Notes Theor. Comput. Sci. 127(3): 165-181 (2005)
- [c14]Nicolas Guelfi, Amel Mammar: A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. APSEC 2005: 283-290
- [c13]Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi: Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE 2005: 430-445
- [c12]Paris Avgeriou, Nicolas Guelfi: Resolving Architectural Mismatches of COTS Through Architectural Reconciliation. ICCBSS 2005: 248-257
- [e4]Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky (Eds.): 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
- [e3]Nicolas Guelfi (Ed.): 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
- 2004
- [c11]Paris Avgeriou, Nicolas Guelfi, Reza Razavi: A Pattern Language for Documenting Software Architectures. EuroPLoP 2004: 673-694
- [c10]Reza Razavi, Jean-François Perrot, Nicolas Guelfi: Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents. MMAS 2004: 136-148
- [c9]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
- [c8]Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic: Software Architecture Description and UML. UML Satellite Activities 2004: 23-32
- [e2]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio (Eds.): Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers. Lecture Notes in Computer Science 2952, Springer 2004, ISBN 3-540-21091-1
- 2003
- [c7]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 (Eds.): 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
- 2002
- [c6]Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi: Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162
- 2001
- [c5]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)
- [c4]Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky: Using COALA to Develop a Distributed Object-Based Application. DOA 2000: 195-208
1990 – 1999
- 1999
- [c3]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
- [c2]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
- 1993
- [c1]Didier Buchs, Nicolas Guelfi: Formal Development of Actor Programs Using Structured Algebraic Petri Nets. PARLE 1993: 353-366
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-09-12 00:40 CEST by the dblp team