Follow
Nicolas Guelfi
Nicolas Guelfi
Professor of Computer Science, University of Luxembourg
Verified email at uni.lu
Title
Cited by
Cited by
Year
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
1282010
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
1282008
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
1182001
A formal specification framework for object-oriented distributed systems
D Buchs, N Guelfi
IEEE Transactions on Software Engineering 26 (7), 635-652, 2000
872000
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
762014
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
662005
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
432005
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
392003
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
381997
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
342011
Software architecture description and UML
P Avgeriou, N Guelfi, N Medvidovic
UML Modeling Languages and Applications: <> 2004 Satellite Activities …, 2005
302005
Modelling dependable collaborative time-constrained business processes
A Capozucca, N Guelfi
Enterprise Information Systems 4 (2), 153-214, 2010
292010
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 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
282008
A flexible requirements analysis approach for software product lines
N Guelfi, G Perrouin
Requirements Engineering: Foundation for Software Quality: 13th …, 2007
282007
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
272020
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
Efficient: a toolset for building trusted B2B transactions
A Mammar, S Ramel, B Grégoire, M Schmitt, N Guelfi
Advanced Information Systems Engineering: 17th International Conference …, 2005
212005
The system can't perform the operation now. Try again later.
Articles 1–20