Nicolas Guelfi

Orcid: 0000-0003-0785-3148

Affiliations:
  • University of Luxembourg


According to our database1, Nicolas Guelfi authored at least 71 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Data Augmentation in Earth Observation: A Diffusion Model Approach.
CoRR, 2024

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy.
CoRR, 2024

Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision Paper.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
SEMKIS-DSL: A Domain-Specific Language to Support Requirements Engineering of Datasets and Neural Network Recognition.
Inf., April, 2023

2021
An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020
Specifying Key-properties to Improve the Recognition Skills of Neural Networks.
Proceedings of the ESSE 2020: 2020 European Symposium on Software Engineering, 2020

DevOps and Its Philosophy: Education Matters!
Proceedings of the Microservices, Science and Engineering., 2020

2019
A Survey of Petri Nets Slicing.
ACM Comput. Surv., 2019

DevOps and its Philosophy : Education Matters!
CoRR, 2019

Analysing the SWECOM Standard for Designing a DevOps Education Programme.
Proceedings of the Frontiers in Software Engineering Education, 2019

Teaching DevOps in Academia and Industry: Reflections and Vision.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

2018
Messir: a text-first DSL-based approach for UML requirements engineering (tool demo).
Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

Design of a (Yet Another?) DevOps Course.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

Please ... . draw me a Software Engineer.
Proceedings of the 51st Hawaii International Conference on System Sciences, 2018

2017
TESMA: Requirements and Design of a Tool for Educational Programs.
Inf., 2017

2015
Software Engineering and Modeling Education: Problems and Solutions.
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014
An empirical investigation of modularity metrics for indicating architectural technical debt.
Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

SLAPN : A Tool for Slicing Algebraic Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

Slicing High-level Petri Nets.
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2012
SETER: Towards Architecture-Model Based Security Engineering.
Int. J. Secur. Softw. Eng., 2012

2011
Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework.
Int. J. Web Portals, 2011

A formal framework for dependability and resilience from a software engineering perspective.
Central Eur. J. Comput. Sci., 2011

Towards improving security testability of AADL architecture models.
Proceedings of the 5th International Conference on Network and System Security, 2011


2010
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling.
LNCS Trans. Aspect Oriented Softw. Dev., 2010

Modelling dependable collaborative time-constrained business processes.
Enterp. Inf. Syst., 2010

An Introduction to Software Engineering and Fault Tolerance
CoRR, 2010

Experimental assessment of the TARGET adaptive ontology-based Web search framework.
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

2009
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process.
Proceedings of the Methods, 2009

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study.
J. Syst. Softw., 2009

Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.
Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Designing reliable real-time concurrent object-oriented software systems.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008
Analysis and framework-based design of a fault-tolerant web information system for m-health.
Serv. Oriented Comput. Appl., 2008

SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems.
ERCIM News, 2008

Special issue: Engineering Fault Tolerant Systems.
Comput. Syst. Sci. Eng., 2008

Reconciling Automation and Flexibility in Product Derivation.
Proceedings of the Software Product Lines, 12th International Conference, 2008

SPLACID: An SPL-Oriented, ACTA-Based, Language for Reusing (Varying) ACID Properties.
Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation.
Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 2008

A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems.
Proceedings of the Organic Computing - Controlled Self-organization, 30.03. - 04.04.2008, 2008

A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Survey of Interoperability in E-Health Systems - The European Approach.
Proceedings of the First International Conference on Health Informatics, 2008

Exploiting Service Oriented Architectures for the Design of E-Health Systems.
Proceedings of the First International Conference on Health Informatics, 2008

2007
EFTS 2007: the 2nd international workshop on engineering fault tolerant systems.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Understanding Supporting Ontology Evolution by Observing the WWW Conference.
Proceedings of the First International Workshop on Emergent Semantics and Ontology Evolution, 2007

A metadata-based architectural model for dynamically resilient systems.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Flexible Requirements Analysis Approach for Software Product Lines.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

A Template for Requirement Elicitation of Dependable Product Lines.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007

Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means.
Proceedings of the ISSRE 2007, 2007

Les ontologies pour la recherche ciblée d'information sur le Web : une utilisation et extension d'OWL pour l'expansion de requêtes.
Proceedings of the IC 2007: Ingénierie des connaissances 2007 (Proceedings of the 18th French Knowledge Engineering Conference), 2007

On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
On the Use of Ontologies for an Optimal Representation and Exploration of the Web.
J. Digit. Inf. Manag., 2006

A formal framework to generate XPDL specifications from UML activity diagrams.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

The Fault-Tolerant Insulin Pump Therapy.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

CAA-DRIP: a framework for implementing Coordinated Atomic Actions.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

2005
Resolving Architectural Mismatches of COTS Through Architectural Reconciliation.
Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

Efficient: A Toolset for Building Trusted B2B Transactions.
Proceedings of the Advanced Information Systems Engineering, 17th International Conference, 2005

A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004
Evolution Through Architectural Reconciliation.
Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions, 2004

Software Architecture Description and UML.
Proceedings of the UML Modeling Languages and Applications, 2004

Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents.
Proceedings of the Massively Multi-Agent Systems I, First International Workshop, 2004

A Pattern Language for Documenting Software Architectures.
Proceedings of the 9th European Conference on Pattern Languages of Programms (EuroPLoP '2004), 2004

2003
MEDAL: A CASE Tool Extension for Model-Driven Software Engineering.
Proceedings of the 2003 IEEE International Conference on Software, 2003

2002
Real-Time Synchronised Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.
Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000
A Formal Specification Framework for Object-Oriented Distributed Systems.
IEEE Trans. Software Eng., 2000

Using COALA to Develop a Distributed Object-Based Application.
Proceedings of the International Symposium on Distributed Objects and Applications, 2000

1999
Formal Development and Validation of Java Dependable Distributed Systems.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

1998
Formal Development of Java Based Web Parallel Applications.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1993
Formal Development of Actor Programs Using Structured Algebraic Petri Nets.
Proceedings of the PARLE '93, 1993


  Loading...