2009 | ||
---|---|---|
42 | Alfredo Capozucca, Nicolas Guelfi: Designing reliable real-time concurrent object-oriented software systems. SAC 2009: 1996-1997 | |
41 | 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 | |
40 | 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) | |
2008 | ||
39 | Barbara Gallina, Nicolas Guelfi: A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. COMPSAC 2008: 739-744 | |
38 | 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 | |
37 | Marcos Da Silveira, Nicolas Guelfi: Exploiting Service Oriented Architectures for the Design of E-Health Systems. HEALTHINF (2) 2008: 219-224 | |
36 | Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Jean-Marc Jézéquel: Reconciling Automation and Flexibility in Product Derivation. SPLC 2008: 339-348 | |
35 | 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) | |
2007 | ||
34 | Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 ACM 2007 | |
33 | Nicolas Guelfi, Didier Buchs: Rapid Integration of Software Engineering Techniques, Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers Springer 2007 | |
32 | 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 | |
31 | 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 | |
30 | 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 | |
29 | 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 | |
28 | Nicolas Guelfi, Cédric Pruski, Chantal Reynaud: Understanding Supporting Ontology Evolution by Observing the WWW Conference. ESOE 2007: 19-32 | |
27 | Barbara Gallina, Nicolas Guelfi: A Template for Requirement Elicitation of Dependable Product Lines. REFSQ 2007: 63-77 | |
26 | Nicolas Guelfi, Gilles Perrouin: A Flexible Requirements Analysis Approach for Software Product Lines. REFSQ 2007: 78-92 | |
25 | Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky, Nicolas Guelfi: A metadata-based architectural model for dynamically resilient systems. SAC 2007: 566-572 | |
2006 | ||
24 | 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-WS.org 2006 | |
23 | 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 Springer 2006 | |
22 | Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo: CAA-DRIP: a framework for implementing Coordinated Atomic Actions. ISSRE 2006: 385-394 | |
21 | Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione: The Fault-Tolerant Insulin Pump Therapy. RODIN Book 2006: 59-79 | |
20 | Nicolas Guelfi, Amel Mammar: A formal framework to generate XPDL specifications from UML activity diagrams. SAC 2006: 1224-1231 | |
2005 | ||
19 | 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 Springer 2005 | |
18 | Nicolas Guelfi: Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers Springer 2005 | |
17 | Nicolas Guelfi, Amel Mammar: A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. APSEC 2005: 283-290 | |
16 | Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi: Efficient: A Toolset for Building Trusted B2B Transactions. CAiSE 2005: 430-445 | |
15 | Paris Avgeriou, Nicolas Guelfi: Resolving Architectural Mismatches of COTS Through Architectural Reconciliation. ICCBSS 2005: 248-257 | |
14 | Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin: Evolution Through Architectural Reconciliation. Electr. Notes Theor. Comput. Sci. 127(3): 165-181 (2005) | |
2004 | ||
13 | Nicolas Guelfi, Egidio Astesiano, Gianna Reggio: Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers Springer 2004 | |
12 | Reza Razavi, Jean-François Perrot, Nicolas Guelfi: Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents. MMAS 2004: 136-148 | |
11 | 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 | |
10 | Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic: Software Architecture Description and UML. UML Satellite Activities 2004: 23-32 | |
2003 | ||
9 | 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 Springer 2003 | |
8 | Nicolas Guelfi, Benoît Ries, Paul Sterges: MEDAL: A CASE Tool Extension for Model-Driven Software Engineering. SwSTE 2003: 33-42 | |
2002 | ||
7 | Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi: Real-Time Synchronised Petri Nets. ICATPN 2002: 142-162 | |
2001 | ||
6 | 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 | ||
5 | Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky: Using COALA to Develop a Distributed Object-Based Application. DOA 2000: 195-208 | |
4 | Didier Buchs, Nicolas Guelfi: A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Trans. Software Eng. 26(7): 635-652 (2000) | |
1999 | ||
3 | 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 | ||
2 | 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 | ||
1 | Didier Buchs, Nicolas Guelfi: Formal Development of Actor Programs Using Structured Algebraic Petri Nets. PARLE 1993: 353-366 |