2009 |
40 | EE | Alfredo Capozucca,
Nicolas Guelfi:
Designing reliable real-time concurrent object-oriented software systems.
SAC 2009: 1996-1997 |
39 | EE | 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 |
38 | EE | Barbara Gallina,
Nicolas Guelfi:
A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications.
COMPSAC 2008: 739-744 |
37 | | 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 |
36 | | Marcos Da Silveira,
Nicolas Guelfi:
Exploiting Service Oriented Architectures for the Design of E-Health Systems.
HEALTHINF (2) 2008: 219-224 |
35 | EE | Gilles Perrouin,
Jacques Klein,
Nicolas Guelfi,
Jean-Marc Jézéquel:
Reconciling Automation and Flexibility in Product Derivation.
SPLC 2008: 339-348 |
34 | EE | 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 |
33 | | 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 |
32 | | 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 |
31 | EE | 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 |
30 | EE | 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 | EE | 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 | EE | Nicolas Guelfi,
Cédric Pruski,
Chantal Reynaud:
Understanding Supporting Ontology Evolution by Observing the WWW Conference.
ESOE 2007: 19-32 |
27 | EE | Barbara Gallina,
Nicolas Guelfi:
A Template for Requirement Elicitation of Dependable Product Lines.
REFSQ 2007: 63-77 |
26 | EE | Nicolas Guelfi,
Gilles Perrouin:
A Flexible Requirements Analysis Approach for Software Product Lines.
REFSQ 2007: 78-92 |
25 | EE | 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 | EE | 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 | EE | Alfredo Capozucca,
Nicolas Guelfi,
Patrizio Pelliccione:
The Fault-Tolerant Insulin Pump Therapy.
RODIN Book 2006: 59-79 |
20 | EE | 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 | EE | Nicolas Guelfi,
Amel Mammar:
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.
APSEC 2005: 283-290 |
16 | EE | 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 | EE | Paris Avgeriou,
Nicolas Guelfi:
Resolving Architectural Mismatches of COTS Through Architectural Reconciliation.
ICCBSS 2005: 248-257 |
14 | EE | 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 | EE | Reza Razavi,
Jean-François Perrot,
Nicolas Guelfi:
Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents.
MMAS 2004: 136-148 |
11 | EE | 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 | EE | 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 | EE | Nicolas Guelfi,
Benoît Ries,
Paul Sterges:
MEDAL: A CASE Tool Extension for Model-Driven Software Engineering.
SwSTE 2003: 33-42 |
2002 |
7 | EE | Giovanna Di Marzo Serugendo,
Dino Mandrioli,
Didier Buchs,
Nicolas Guelfi:
Real-Time Synchronised Petri Nets.
ICATPN 2002: 142-162 |
2001 |
6 | EE | 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 | EE | Julie Vachon,
Nicolas Guelfi,
Alexander B. Romanovsky:
Using COALA to Develop a Distributed Object-Based Application.
DOA 2000: 195-208 |
4 | EE | Didier Buchs,
Nicolas Guelfi:
A Formal Specification Framework for Object-Oriented Distributed Systems.
IEEE Trans. Software Eng. 26(7): 635-652 (2000) |
1999 |
3 | EE | 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 | EE | 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 |