Prof. Dr. Nicolas Guelfi
|
|
||||||
| Faculté ou Centre | Faculté des Sciences, des Technologies et de Médecine | ||||||
| Department | Département Informatique | ||||||
| Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||||
| Bureau sur le campus | MNO, E03 0315-020 | ||||||
|
|||||||
| Téléphone | (+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 is the first programme director of the academic bachelor in computer science that is an important milestone in the development of education and research in computer science and communication at the University of Luxembourg - http://bics.uni.lu
Last updated on: mercredi 08 janvier 2020
2021
An MDE Method for Improving Deep Learning Dataset Requirements Engineering using Alloy and UML; ;
in Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (2021, February)
2020
Teaching DevOps in Academia and Industry: Reflections and Vision; ; ; ;
in Bruel, Jean-Michel; Mazzara, Manuel; Meyer, Bertrand (Eds.) Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (2020, January 19)
DevOps and Its Philosophy: Education Matters!; ; ; ; ; ;
in Mazzara, Manuel; Rivera, Victor; Sadovykh, Andrey; Dragoni, Nicola; Dustdar, Schahram; Lago, Patricia (Eds.) Microservices: Science and Engineering (2020)
Analysing the SWECOM Standard for Designing a DevOps Education Programme;
in In: Bruel JM., Capozucca A., Mazzara M., Meyer B., Naumchev A., Sadovykh A. (eds) Frontiers in Software Engineering Education. FISEE 2019. Lecture Notes in Computer Science (2020), 12271
Specifying key-properties to improve the recognition skills of neural networks; ;
in Proceedings of the 2020 European Symposium on Software Engineering (2020, November 06)
2019
Analysing the SWECOM and DDaT standards for designing a DevOps course content;
Presentation (2019, November)
Design of a (yet another?) DevOps course; ;
in Bruel, Jean-Michel; Mazzara, Manuel; Meyer, Bertrand (Eds.) Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (2019, January 19)
Software Engineering for Dataset Augmentation using Generative Adversarial Networks; ;
in Proceedings of 10th IEEE International Conference on Software Engineering and Service Science (2019, October 19)
2018
Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo); ;
in Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering SLE'18 (2018)
2017
2016
TESMA : Towards the Development of a Tool for Specification, Management and Assessment of Teaching Programs; ;
in Pyshkin, Evgeny; Vazhenin, Alexander; Klyuev, Vitaly (Eds.) Proceeding of the 2nd International Conference on Applications in Information Technology (2016, October)
2015
Software Engineering and Modeling Education: Problems and Solutionsin 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)
2014
Slicing High-level Petri nets;
in International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014 (2014, June 23)
An Empirical Investigation of Modularity Metrics for Indicating Architectural Technical Debt; ; ;
in Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures (2014, June)
2013
Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework; ;
in Polgar, Jana; Adamson, Greg (Eds.) Web Portal Design, Implementation, Integration, and Optimization (2013)
Towards Test-Driven and Architecture Model-Based Security and Resilience Engineering;
in Singh, Hardeep; Kaur, Kulwant (Eds.) Designing, Engineering, and Analyzing Reliable and Efficient Software (2013)
2012
Reusing Transaction Models for Dependable Cloud Computing;
in Yang, Hongji; Liu, Xiaodong (Eds.) Software Reuse in the Emerging Cloud Computing Era (2012)
Comparing Six Modeling Approaches; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;
in Kienzle, Joerg (Ed.) Models in Software Engineering (2012)
SETER: Towards Architecture-Model Based Security Engineering;
in International Journal of Secure Software Engineering (2012), 3(3), 23-49
2011
OO-SPL modelling of the focused case study; ; ;
in Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011) (2011)
Reusing Transaction Models for Dependable Cloud Computing;
in Xiaodong, Yang Hongji (Ed.) Software Reuse in the Emerging Cloud Computing Era (2011)
A formal framework for dependability and resilience from a software engineering perspectivein Central European Journal of Computer Science (2011), 1
Adaptive Ontology-based Web Information Retrieval: The TARGET Framework; ;
in International Journal of Web Portals (2011), 3
2010
Modelling Dependable Collaborative Time-constrained Business Process;
in Enterprise Information Systems (2010), 4(2), 153-214
2009
Designing Reliable Real-Time Concurrent Object-Oriented Software Systems;
in Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09 (2009)
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study; ; ; ;
in Journal of Systems and Software (2009), 82(2), 207-228
Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development; ;
in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009)
2008
Analysis and framework-based design of a fault-tolerant web information system for m-health; ;
in Service Oriented Computing and Applications (2008), 2(2-3), 111-144
SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems;
in ERCIM News (2008), 75
Selection, Evaluation and Generation of Test Cases in an Industrial Setting: a Process and a Tool;
in Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference (2008)
Reconciling Automation and Flexibility in Product Derivation; ; ;
in Abstract book of 12th International Software Product Line Conference (SPLC2008) (2008)
2007
On the Integration of Mobility in a Fault-Tolerant e-HealthWeb Information System; ;
in Advanced Information Networking and Applications Workshops, 2007, AINAW '07. 21st International Conference on (Volume:2 ) (2007)
2006
The Fault-Tolerant Insulin Pump Therapy; ;
in Michael, Butler; Cliff, Jones; Alexander, Romanovsky; Elena, Troubitsyna (Eds.) Rigorous Development of Complex Fault-Tolerant Systems, 4157 (2006)
CAA-DRIP: a framework for implementing Coordinated Atomic Actions; ; ; ;
in The 17th International Symposium on Software Reliability (2006)
2005
Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA; ; ;
in Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems (2005, July)
The Fault-Tolerant Insulin Pump Therapy; ;
in Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (2005, July)
SCTL: A StateChart Transformation Language for Test Sets Reduction;
in ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli (2005)
2004
Engineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions; ;
in International Workshop on Modeling Inter-Organizational Systems (MIOS'04) (2004)
A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain; ;
in International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04 (2004)
A Study of Mobile Internet Technologies for Secure e-commerce Applications Development; ;
in Techniques and Applications for Mobile Commerce (TAMOCO) part of Multi-Konferenz Wirtschaftsinformatik 2004 (2004)
2003
MEDAL: A CASE Tool Extension for Model-driven Software Engineering; ;
in SwSTE'03 IEEE International Conference on Software - Science, Technology & Engineering (2003)
2002
Using and Specializing a Pattern-Based E-business Framework: An Auction Case Study;
in The 6th Annual IASTED International Conference on Software Engineering and Applications (2002)
