Search results for "Nicolas Guelfi"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Cédric Pruski, Nicolas Guelfi, Chantal Reynaud	Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework.	IJWP	2011	DBLP DOI BibTeX RDF
1	Nicolas Guelfi	A formal framework for dependability and resilience from a software engineering perspective.	Central Europ. J. Computer Science	2011	DBLP DOI BibTeX RDF
1	Ayda Saïdane, Nicolas Guelfi	Towards improving security testability of AADL architecture models.	NSS	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz	Crisis Management Systems: A Case Study for Aspect-Oriented Modeling.	T. Aspect-Oriented Software Development	2010	DBLP DOI BibTeX RDF
1	Alfredo Capozucca, Nicolas Guelfi	Modelling dependable collaborative time-constrained business processes.	Enterprise IS	2010	DBLP DOI BibTeX RDF
1	Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi, Alexander Romanovsky	An Introduction to Software Engineering and Fault Tolerance	CoRR	2010	DBLP BibTeX RDF
1	Nicolas Guelfi, Cédric Pruski, Chantal Reynaud	Experimental assessment of the TARGET adaptive ontology-based Web search framework.	NOTERE	2010	DBLP DOI BibTeX RDF
1	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	2009	DBLP DOI BibTeX RDF
1	Andrey Berlizev, Nicolas Guelfi	Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations
1	Barbara Gallina, Nicolas Guelfi, Pierre Kelsen	Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.	SEW	2009	DBLP DOI BibTeX RDF	Relaxed ACID properties, ACTA framework, Alloy language, dependability, Software Product Line, reusability, formal semantics, ACID properties
1	Alfredo Capozucca, Nicolas Guelfi	Designing reliable real-time concurrent object-oriented software systems.	SAC	2009	DBLP DOI BibTeX RDF	fault tolerance, real-time, coordinated atomic actions
1	Nicolas Guelfi, Benoît Ries	SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems.	ERCIM News	2008	DBLP BibTeX RDF
1	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	2008	DBLP DOI BibTeX RDF	CAA-DRIP, Fault tolerance, SOA, Mobility, Dependability, Coordinated atomic actions
1	Gilles Perrouin, Jacques Klein, Nicolas Guelfi, Jean-Marc Jézéquel	Reconciling Automation and Flexibility in Product Derivation.	SPLC	2008	DBLP DOI BibTeX RDF
1	Barbara Gallina, Nicolas Guelfi	A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	Advanced Transactional Frameworks, Software Product Lines, Reusability, Requirements Elicitation, ACID properties
1	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	SERENE	2008	DBLP BibTeX RDF
1	Marcos Da Silveira, Nicolas Guelfi	Exploiting Service Oriented Architectures for the Design of E-Health Systems.	HEALTHINF	2008	DBLP BibTeX RDF
1	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	2008	DBLP BibTeX RDF
1	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	RISE	2007	DBLP BibTeX RDF
1	Giovanna Di Marzo Serugendo, John S. Fitzgerald, Alexander Romanovsky, Nicolas Guelfi	A metadata-based architectural model for dynamically resilient systems.	SAC	2007	DBLP DOI BibTeX RDF	metadata, dynamic reconfiguration
1	Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi	On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Nicolas Guelfi, Cédric Pruski, Chantal Reynaud	Understanding Supporting Ontology Evolution by Observing the WWW Conference.	ESOE	2007	DBLP BibTeX RDF
1	Barbara Gallina, Nicolas Guelfi, Alexander Romanovsky	Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.	ISSRE	2007	DBLP DOI BibTeX RDF	Formal Properties, Fault Tolerance, Verification, Formal Methods, Dependability, Exception Handling, System Structuring, Coordinated Atomic Actions
1	Barbara Gallina, Nicolas Guelfi	A Template for Requirement Elicitation of Dependable Product Lines.	REFSQ	2007	DBLP DOI BibTeX RDF
1	Nicolas Guelfi, Gilles Perrouin	A Flexible Requirements Analysis Approach for Software Product Lines.	REFSQ	2007	DBLP DOI BibTeX RDF
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management
1	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	EFTS	2007	DBLP BibTeX RDF
1	Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky	EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	fault-tolerance, modelling, software architecture, frameworks, design patterns, reconfiguration, component-based development, verification and validation, atomic actions, software life-cycle, adaptive approaches, run-time management
1	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	DBLP BibTeX RDF
1	Nicolas Guelfi, Cédric Pruski	On the Use of Ontologies for an Optimal Representation and Exploration of the Web.	JDIM	2006	DBLP BibTeX RDF
1	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	RISE	2006	DBLP BibTeX RDF
1	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione	The Fault-Tolerant Insulin Pump Therapy.	RODIN Book	2006	DBLP DOI BibTeX RDF
1	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	CAiSE Forum	2006	DBLP BibTeX RDF
1	Nicolas Guelfi, Amel Mammar	A formal framework to generate XPDL specifications from UML activity diagrams.	SAC	2006	DBLP DOI BibTeX RDF	XPDL language, transformations, correctness proofs, UML activity diagrams
1	Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione, Alexander Romanovsky, Avelino F. Zorzo	CAA-DRIP: a framework for implementing Coordinated Atomic Actions.	ISSRE	2006	DBLP DOI BibTeX RDF
1	Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin	Evolution Through Architectural Reconciliation.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Nicolas Guelfi, Amel Mammar	A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.	APSEC	2005	DBLP DOI BibTeX RDF
1	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	FIDJI	2005	DBLP BibTeX RDF
1	Nicolas Guelfi (eds.)	Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers	RISE	2005	DBLP BibTeX RDF
1	Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt II, Nicolas Guelfi	Efficient: A Toolset for Building Trusted B2B Transactions.	CAiSE	2005	DBLP DOI BibTeX RDF
1	Paris Avgeriou, Nicolas Guelfi	Resolving Architectural Mismatches of COTS Through Architectural Reconciliation.	ICCBSS	2005	DBLP DOI BibTeX RDF
1	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	FIDJI	2004	DBLP BibTeX RDF
1	Nicolas Guelfi, Guillaume Le Cousin, Benoît Ries	Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions.	OTM Workshops	2004	DBLP DOI BibTeX RDF	Cross-enterprise business processes modeling, fault-tolerance, UML, verification, validation, methodology, tools, advanced transaction model
1	Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic	Software Architecture Description and UML.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
1	Paris Avgeriou, Nicolas Guelfi, Reza Razavi	A Pattern Language for Documenting Software Architectures.	EuroPLoP	2004	DBLP BibTeX RDF
1	Reza Razavi, Jean-François Perrot, Nicolas Guelfi	Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents.	MMAS	2004	DBLP DOI BibTeX RDF	Massively Multiagent Systems, Ambient Intelligence, Adaptive Agent, Adaptive Object-Models
1	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	FIDJI	2003	DBLP BibTeX RDF
1	Nicolas Guelfi, Benoît Ries, Paul Sterges	MEDAL: A CASE Tool Extension for Model-Driven Software Engineering.	SwSTE	2003	DBLP DOI BibTeX RDF
1	Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi	Real-Time Synchronised Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF	CO-OPN, inhibitor arcs, real-time, Petri nets
1	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	DBLP DOI BibTeX RDF
1	Didier Buchs, Nicolas Guelfi	A Formal Specification Framework for Object-Oriented Distributed Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping
1	Julie Vachon, Nicolas Guelfi, Alexander B. Romanovsky	Using COALA to Develop a Distributed Object-Based Application. (PDF / PS)	DOA	2000	DBLP DOI BibTeX RDF	fault-tolerance, reliability, formal specification, transactions, distributed object systems, development methodologies, application design
1	Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo	Formal Development and Validation of Java Dependable Distributed Systems.	ICECCS	1999	DBLP DOI BibTeX RDF	Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
1	Giovanna Di Marzo Serugendo, Nicolas Guelfi	Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	Concurrent and Distributed Systems, Java, Petri Nets, Reverse Engineering, Algebraic Specifications, Property Verification
1	Didier Buchs, Nicolas Guelfi	Formal Development of Actor Programs Using Structured Algebraic Petri Nets.	PARLE	1993	DBLP DOI BibTeX RDF	Formal program development, actor languages semantics, algebraic abstract data types, high-level Petri nets, modular specification

Publications of "Nicolas Guelfi" ( http://dblp.L3S.de/Authors/Nicolas_Guelfi )