Follow
Nicolas Guelfi
Nicolas Guelfi
Professor of Computer Science, University of Luxembourg
Verified email at uni.lu
Title
Cited by
Cited by
Year
Reconciling automation and flexibility in product derivation
G Perrouin, J Klein, N Guelfi, JM Jézéquel
2008 12th International Software Product Line Conference, 339-348, 2008
1322008
Crisis management systems: a case study for aspect-oriented modeling
J Kienzle, N Guelfi, S Mustafiz
Transactions on aspect-oriented software development VII: a common case …, 2010
1312010
Object-oriented nets with algebraic specifications: The CO-OPN/2 formalism
O Biberstein, D Buchs, N Guelfi
Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri …, 2001
1212001
An empirical investigation of modularity metrics for indicating architectural technical debt
Z Li, P Liang, P Avgeriou, N Guelfi, A Ampatzoglou
Proceedings of the 10th international ACM Sigsoft conference on Quality of …, 2014
882014
A formal specification framework for object-oriented distributed systems
D Buchs, N Guelfi
IEEE Transactions on Software Engineering 26 (7), 635-652, 2000
852000
A formal semantics of timed activity diagrams and its promela translation
N Guelfi, A Mammar
12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005
672005
A metadata-based architectural model for dynamically resilient systems
G Di Marzo Serugendo, J Fitzgerald, A Romanovsky, N Guelfi
Proceedings of the 2007 ACM symposium on Applied computing, 566-572, 2007
512007
Adaptive modeling: an approach and a method for implementing adaptive agents
R Razavi, JF Perrot, N Guelfi
Massively Multi-Agent Systems I: First International Workshop, MMAS 2004 …, 2005
452005
Teaching DevOps in academia and industry: reflections and vision
E Bobrov, A Bucchiarone, A Capozucca, N Guelfi, M Mazzara, ...
Software Engineering Aspects of Continuous Development and New Paradigms of …, 2020
392020
CO-OPN/2: A concurrent object-oriented formalism
O Biberstein, D Buchse, N Guelfi
Formal Methods for Open Object-based Distributed Systems: Volume 2, 57-72, 1997
391997
Supporting model-to-model transformations: The vmt approach
S Sendall, G Perrouin, N Guelfi, O Biberstein
Workshop on Model Driven Architecture: Foundations and Applications …, 2003
382003
Requirements definition document for a software product line of car crash management systems
A Capozucca, B Cheng, G Georg, N Guelfi, P Istoan, G Mussbacher, ...
ReMoDD repository, at http://www. cs. colostate. edu/remodd/v1/content/bcms …, 2011
312011
Modelling dependable collaborative time-constrained business processes
A Capozucca, N Guelfi
Enterprise Information Systems 4 (2), 153-214, 2010
312010
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems.
GDM Serugendo, JS Fitzgerald, AB Romanovsky, N Guelfi
Organic Computing-Controlled Self-organization, 165-189, 2008
302008
Software architecture description and UML
P Avgeriou, N Guelfi, N Medvidovic
International Conference on the Unified Modeling Language, 23-32, 2004
302004
A flexible requirements analysis approach for software product lines
N Guelfi, G Perrouin
International Working Conference on Requirements Engineering: Foundation for …, 2007
292007
Drip catalyst: An MDE/MDA method for fault-tolerant distributed software families development
N Guelfi, R Razavi, A Romanovsky, S Vandenbergh
OOPSLA and GPCE Workshop on Best Practices for Model Driven Software Development, 2004
292004
A formal framework for dependability and resilience from a software engineering perspective
N Guelfi
Open Computer Science 1 (3), 294-328, 2011
272011
CAA-DRIP: a framework for implementing Coordinated Atomic Actions
A Capozucca, N Guelfi, P Pelliccione, A Romanovsky, A Zorzo
2006 17th International Symposium on Software Reliability Engineering, 385-394, 2006
272006
A formal framework to generate XPDL specifications from UML activity diagrams
N Guelfi, A Mammar
Proceedings of the 2006 ACM symposium on Applied computing, 1224-1231, 2006
232006
The system can't perform the operation now. Try again later.
Articles 1–20