Nicolas Guelfi

Nicolas Guelfi

Professor

Research Topics Software engineering, Dependable systems
Faculty or Centre Faculté des Sciences, de la Technologie et de la Communication
Research Unit CSC
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E03 0315-020
Email
Telephone (+352) 46 66 44 5251

Curriculum Vitae

Dr. Nicolas Guelfi is full professor at University of Luxembourg, LU since 1999. He obtained his PhD from the University of Paris XI (Orsay) on high level object-oriented specification formalisms for concurrent systems. Since 1994 he has been teaching software engineering at any academic level in universities (Paris XI (FR), Paris XII (FR), University of Luxembourg (LU), Polytechnic Schools (EPFL-Lausanne (CH)), or engineering schools (EPITA(FR), ESI (FR)). He founded the Lassy laboratory (Laboratory for Advanced Software Systems) at University of Luxembourg which he directed for more than 10 years.

He has been involved in many research projects both at national, European or International level over the last 20 years and he managed more than 60 staff members at any qualification level on research and development projects. He has been member of the executive committee of ERCIM (European Research Consortium in Mathematics and Informatics - http://www.ercim.eu)  and he founded the ERCIM Working Group on Rapid Integration of Software Engineering Techniques (RISE) and the ERCIM Working Group on Software Engineering for Resilient Systems (SERENE). He is acting as expert for the courthouse concerning trials on conformance questions. The lawsuits involve projects whose budget range from thousands of euros to hundred of millions of euros. He has contributed to the field of software engineering as a researcher by publishing articles, editing books, acting as program chair or reviewing committee member. His research contribution has mainly focused on: requirements definition, specification and simulation using formal, semi-formal or informal methods; and system dependability and resiliency.

He will be the first programme director of the new academic bachelor in computer science that is an important milestone in the development of education and research in computer science and communication at university of Luxembourg - http://bics.uni.lu

Last updated on: Wednesday, 14 December 2016

powered by
orbilu.uni.lu

2017

Full Text
See detailTESMA: Requirements and Design of a Tool for Educational Programs
Guelfi, Nicolas; Jahic, Benjamin; Ries, Benoît

in Information (2017)

Top of Page

2016

Full Text
See detailMeasuring the SWEBOK Coverage: An Approach and a Tool
Guelfi, Nicolas; Capozucca, Alfredo; Ries, Benoît

Scientific Conference (2016, August 25)

Full Text
See detailTESMA : Towards the Development of a Tool for Specification, Management and Assessment of Teaching Programs
Guelfi, Nicolas; Jahic, Benjamin; Ries, Benoît

in Pyshkin, Evgeny; Vazhenin, Alexander; Klyuev, Vitaly (Eds.) Proceeding of the 2nd International Conference on Applications in Information Technology (2016, October)

Top of Page

2015

Full Text
See detailSoftware Engineering and Modeling Education: Problems and Solutions
Guelfi, Nicolas

in Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015. (2015)

Top of Page

2014

Full Text
See detailSlicing High-level Petri nets
Khan, Yasir Imtiaz; Guelfi, Nicolas

in International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014 (2014, June 23)

Full Text
See detailSLAPn: A Tool for slicing Algebraic Petri nets
Khan, Yasir Imtiaz; Guelfi, Nicolas

Poster (2014)

Full Text
See detailAn Empirical Investigation of Modularity Metrics for Indicating Architectural Technical Debt
Li, Zengyang; Liang, Peng; Avgeriou, Paris; Guelfi, Nicolas

in Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures (2014, June)

Top of Page

2013

Full Text
See detailSurvey of Petri nets Slicing
Khan, Yasir Imtiaz; Guelfi, Nicolas

Report (2013)

Full Text
See detailAdaptive Ontology-Based Web Information Retrieval: The TARGET Framework
Pruski, Cédric; Guelfi, Nicolas; Raynaud, Chantal

in Polgar, Jana; Adamson, Greg (Eds.) Web Portal Design, Implementation, Integration, and Optimization (2013)

Full Text
See detailTowards Test-Driven and Architecture Model-Based Security and Resilience Engineering
Saidane, Ayda; Guelfi, Nicolas

in Singh, Hardeep; Kaur, Kulwant (Eds.) Designing, Engineering, and Analyzing Reliable and Efficient Software (2013)

Top of Page

2012

Full Text
See detailReusing Transaction Models for Dependable Cloud Computing
Gallina, Barbara; Guelfi, Nicolas

in Yang, Hongji; Liu, Xiaodong (Eds.) Software Reuse in the Emerging Cloud Computing Era (2012)

See detailComparing Six Modeling Approaches
Mussbacher, Gunter; Al Abed, Wisam; Alam, Omar; Ali, Shaukat; Beugnard, Antoine; Bonnet, Valentin; Bræk, Rolv; Capozucca, Alfredo; Cheng, Betty; Fatima, Urooj; France, Robert; Georg, Geri; Guelfi, Nicolas; Istoan, Paul; Jézéquel, Jean-Marc; Kienzle, Jörg; Klein, Jacques; Lézoray, Jean-Baptiste; Malakuti, Somayeh; Moreira, Ana; Phung-Khac, An; Troup, Lucy

in Kienzle, Joerg (Ed.) Models in Software Engineering (2012)

Full Text
See detailSETER: Towards Architecture-Model Based Security Engineering
Saïdane, Ayda; Guelfi, Nicolas

in International Journal of Secure Software Engineering (2012), 3(3), 23-49

Top of Page

2011

Full Text
See detailOO-SPL modelling of the focused case study
Capozucca, Alfredo; Cheng, Betty; Guelfi, Nicolas; Istoan, Paul

in Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011) (2011)

See detailReusing Transaction Models for Dependable Cloud Computing
Gallina, Barbara; Guelfi, Nicolas

in Xiaodong, Yang Hongji (Ed.) Software Reuse in the Emerging Cloud Computing Era (2011)

Top of Page

2010

Full Text
See detailModelling Dependable Collaborative Time-constrained Business Process
Capozucca, Alfredo; Guelfi, Nicolas

in Enterprise Information Systems (2010), 4(2), 153-214

Top of Page

2009

Full Text
See detailDesigning Reliable Real-Time Concurrent Object-Oriented Software Systems
Capozucca, Alfredo; Guelfi, Nicolas

in Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09 (2009)

Full Text
See detailFrameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander; Zorzo, Avelino Francisco

in Journal of Systems and Software (2009), 82(2), 207-228

Full Text
See detailTowards an Alloy Formal Model for Flexible Advanced Transactional Model Development
Gallina, Barbara; Guelfi, Nicolas; Kelsen, Pierre

in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009)

Top of Page

2008

See detailAnalysis and framework-based design of a fault-tolerant web information system for m-health
Balbastro, Florencia; Capozucca, Alfredo; Guelfi, Nicolas

in Service Oriented Computing and Applications (2008), 2(2-3), 111-144

Full Text
See detailSelection, Evaluation and Generation of Test Cases in an Industrial Setting: a Process and a Tool
Guelfi, Nicolas; Ries, Benoît

in Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference (2008)

Full Text
See detailReconciling Automation and Flexibility in Product Derivation
Perrouin, Gilles; Klein, Jacques; Guelfi, Nicolas; Jezequel, Jean Marc

in Abstract book of 12th International Software Product Line Conference (SPLC2008) (2008)

Top of Page

2007

See detailOn the Integration of Mobility in a Fault-Tolerant e-HealthWeb Information System
Balbastro, Florencia; Capozucca, Alfredo; Guelfi, Nicolas

in Advanced Information Networking and Applications Workshops, 2007, AINAW '07. 21st International Conference on (Volume:2 ) (2007)

Top of Page

2006

See detailCORRECT Developing Fault-Tolerant Distributed Systems
Capozucca, Alfredo; Gallina, Barbara; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander

in ERCIM News 64 (2006)

See detailThe Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio

in Michael, Butler; Cliff, Jones; Alexander, Romanovsky; Elena, Troubitsyna (Eds.) Rigorous Development of Complex Fault-Tolerant Systems, 4157 (2006)

See detailCAA-DRIP: a framework for implementing Coordinated Atomic Actions
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander; Zorzo, Avelino

in The 17th International Symposium on Software Reliability (2006)

Top of Page

2005

See detailModeling Exception Handling: a UML2.0 Platform Independent Profile for CAA
Capozucca, Alfredo; Gallina, Barbara; Guelfi, Nicolas; Pelliccione, Patrizio

in Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems (2005, July)

See detailThe Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio

in Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (2005, July)

Full Text
See detailSCTL: A StateChart Transformation Language for Test Sets Reduction
Guelfi, Nicolas; Ries, Benoît

in ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli (2005)

Top of Page

2004

Full Text
See detailEngineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions
Guelfi, Nicolas; Le Cousin, Guillaume; Ries, Benoît

in International Workshop on Modeling Inter-Organizational Systems (MIOS'04) (2004)

Full Text
See detailA Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain
Guelfi, Nicolas; Mammar, Amel; Ries, Benoît

in International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04 (2004)

Full Text
See detailA Study of Mobile Internet Technologies for Secure e-commerce Applications Development
Guelfi, Nicolas; Pruski, Cédric; Ries, Benoît

in Techniques and Applications for Mobile Commerce (TAMOCO) part of Multi-Konferenz Wirtschaftsinformatik 2004 (2004)

Top of Page

2003

Full Text
See detailMEDAL: A CASE Tool Extension for Model-driven Software Engineering
Guelfi, Nicolas; Ries, Benoît; Sterges, Paul

in SwSTE'03 IEEE International Conference on Software - Science, Technology & Engineering (2003)

Top of Page

2002

Full Text
See detailUsing and Specializing a Pattern-Based E-business Framework: An Auction Case Study
Guelfi, Nicolas; Ries, Benoît

in The 6th Annual IASTED International Conference on Software Engineering and Applications (2002)

Top of Page