Search the dblp DataBase
Nicolas Guelfi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Giovanna Di Marzo Serugendo , Nicolas Guelfi Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study. [Citation Graph (0, 0)][DBLP ] ACSD, 1998, pp:166-176 [Conf ] Florencia Balbastro , Alfredo Capozucca , Nicolas Guelfi On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System. [Citation Graph (0, 0)][DBLP ] AINA Workshops (2), 2007, pp:629-634 [Conf ] Giovanna Di Marzo Serugendo , Dino Mandrioli , Didier Buchs , Nicolas Guelfi Real-Time Synchronised Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2002, pp:142-162 [Conf ] Nicolas Guelfi , Amel Mammar A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. [Citation Graph (0, 0)][DBLP ] APSEC, 2005, pp:283-290 [Conf ] Amel Mammar , Sophie Ramel , Bertrand Grégoire , Michael Schmitt II , Nicolas Guelfi Efficient: A Toolset for Building Trusted B2B Transactions. [Citation Graph (0, 0)][DBLP ] CAiSE, 2005, pp:430-445 [Conf ] O. Biberstein , Didier Buchs , Nicolas Guelfi Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. [Citation Graph (0, 0)][DBLP ] Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:73-130 [Conf ] Julie Vachon , Nicolas Guelfi , Alexander B. Romanovsky Using COALA to Develop a Distributed Object-Based Application. [Citation Graph (0, 0)][DBLP ] DOA, 2000, pp:195-208 [Conf ] Paris Avgeriou , Nicolas Guelfi Resolving Architectural Mismatches of COTS Through Architectural Reconciliation. [Citation Graph (0, 0)][DBLP ] ICCBSS, 2005, pp:248-257 [Conf ] Giovanna Di Marzo Serugendo , Nicolas Guelfi , Alexander B. Romanovsky , Avelino F. Zorzo Formal Development and Validation of Java Dependable Distributed Systems. [Citation Graph (0, 0)][DBLP ] ICECCS, 1999, pp:98-108 [Conf ] Alfredo Capozucca , Nicolas Guelfi , Patrizio Pelliccione , Alexander Romanovsky , Avelino F. Zorzo CAA-DRIP: a framework for implementing Coordinated Atomic Actions. [Citation Graph (0, 0)][DBLP ] ISSRE, 2006, pp:385-394 [Conf ] Reza Razavi , Jean-François Perrot , Nicolas Guelfi Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents. [Citation Graph (0, 0)][DBLP ] MMAS, 2004, pp:136-148 [Conf ] Nicolas Guelfi , Guillaume Le Cousin , Benoît Ries Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions. [Citation Graph (0, 0)][DBLP ] OTM Workshops, 2004, pp:468-482 [Conf ] Didier Buchs , Nicolas Guelfi Formal Development of Actor Programs Using Structured Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP ] PARLE, 1993, pp:353-366 [Conf ] Nicolas Guelfi , Amel Mammar A formal framework to generate XPDL specifications from UML activity diagrams. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1224-1231 [Conf ] Giovanna Di Marzo Serugendo , John Fitzgerald , Alexander Romanovsky , Nicolas Guelfi A metadata-based architectural model for dynamically resilient systems. [Citation Graph (0, 0)][DBLP ] SAC, 2007, pp:566-572 [Conf ] Nicolas Guelfi , Benoît Ries , Paul Sterges MEDAL: A CASE Tool Extension for Model-Driven Software Engineering. [Citation Graph (0, 0)][DBLP ] SwSTE, 2003, pp:33-42 [Conf ] Paris Avgeriou , Nicolas Guelfi , Nenad Medvidovic Software Architecture Description and UML. [Citation Graph (0, 0)][DBLP ] UML Satellite Activities, 2004, pp:23-32 [Conf ] Alfredo Capozucca , Nicolas Guelfi , Patrizio Pelliccione The Fault-Tolerant Insulin Pump Therapy. [Citation Graph (0, 0)][DBLP ] RODIN Book, 2006, pp:59-79 [Conf ] Paris Avgeriou , Nicolas Guelfi , Gilles Perrouin Evolution Through Architectural Reconciliation. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:127, n:3, pp:165-181 [Journal ] Didier Buchs , Nicolas Guelfi A Formal Specification Framework for Object-Oriented Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 2000, v:26, n:7, pp:635-652 [Journal ] Nicolas Guelfi , Henry Muccini , Patrizio Pelliccione , Alexander Romanovsky EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. [Citation Graph (0, 0)][DBLP ] ESEC/SIGSOFT FSE, 2007, pp:617-618 [Conf ] Barbara Gallina , Nicolas Guelfi A Template for Requirement Elicitation of Dependable Product Lines. [Citation Graph (0, 0)][DBLP ] REFSQ, 2007, pp:63-77 [Conf ] Nicolas Guelfi , Gilles Perrouin A Flexible Requirements Analysis Approach for Software Product Lines. [Citation Graph (0, 0)][DBLP ] REFSQ, 2007, pp:78-92 [Conf ] A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications. [Citation Graph (, )][DBLP ] Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means. [Citation Graph (, )][DBLP ] Designing reliable real-time concurrent object-oriented software systems. [Citation Graph (, )][DBLP ] Understanding Supporting Ontology Evolution by Observing the WWW Conference. [Citation Graph (, )][DBLP ] EFTS 2007: the 2nd international workshop on engineering fault tolerant systems. [Citation Graph (, )][DBLP ] Reconciling Automation and Flexibility in Product Derivation. [Citation Graph (, )][DBLP ] Exploiting Service Oriented Architectures for the Design of E-Health Systems. [Citation Graph (, )][DBLP ] A Survey of Interoperability in E-Health Systems - The European Approach. [Citation Graph (, )][DBLP ] Les ontologies pour la recherche ciblée d'information sur le Web : une utilisation et extension d'OWL pour l'expansion de requêtes. [Citation Graph (, )][DBLP ] Experimental assessment of the TARGET adaptive ontology-based Web search framework. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.310secs