Profil

GUELFI Nicolas

University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Main Referenced Co-authors
CAPOZUCCA, Alfredo  (24)
RIES, Benoit  (23)
JAHIC, Benjamin  (7)
Pelliccione, Patrizio (7)
Bobrov, Evgeny (4)
Main Referenced Keywords
DevOps (6); Software Engineering (6); software engineering (5); Curricula (4); Education (4);
Main Referenced Unit & Research Centers
CSC (Nicolas Guelfi's group) (3)
RC (1)
Main Referenced Disciplines
Computer science (58)
Education & instruction (1)

Publications (total 58)

The most downloaded
454 downloads
Khan, Y. I., & Guelfi, N. (2013). Survey of Petri nets Slicing. lassy. https://hdl.handle.net/10993/13606

The most cited

61 citations (Scopus®)

Perrouin, G., Klein, J., Guelfi, N., & Jezequel, J. M. (2008). Reconciling Automation and Flexibility in Product Derivation. Abstract book of 12th International Software Product Line Conference (SPLC2008). doi:10.1109/SPLC.2008.38 https://hdl.handle.net/10993/4863

Jahic, B., Guelfi, N., & Ries, B. (01 April 2023). SEMKIS-DSL: A Domain-Specific Language to Support Requirements Engineering of Datasets and Neural Network Recognition. Information, 14 (4). doi:10.3390/info14040213
Peer Reviewed verified by ORBi

Sousa, T., Ries, B., & Guelfi, N. (2023). Formal Verification of Ecosystem Restoration Requirements using UML and Alloy. (TR-LASSY-23-02).

Sousa, T., Ries, B., & Guelfi, N. (2023). Formal Verification of Ecosystem Restoration Requirements Using UML and Alloy. In T. A. de Jesus Sousa, B. Ries, ... N. Guelfi, Formal Verification of Ecosystem Restoration Requirements Using UML and Alloy.
Peer reviewed

Guelfi, N. (07 March 2022). The MESSIR Flexible Scientific Approach to Requirements Engineering. Software, 1 (1), 80-106.
Peer reviewed

Jahic, B., Guelfi, N., & Ries, B. (2021). SEMKIS-DSL: a Domain-Specific Language for Specifying Neural Networks’ Key-Properties. Belval, Luxembourg: Lassy.

Ries, B., Guelfi, N., & Jahic, B. (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 (pp. 41-52). SCITEPRESS. doi:10.5220/0010216600410052
Peer reviewed

Jahic, B., Guelfi, N., & Ries, B. (2020). Specifying key-properties to improve the recognition skills of neural networks. In Proceedings of the 2020 European Symposium on Software Engineering. New York, United States: Association for Computing Machinery. doi:10.1145/3393822.3432332
Peer reviewed

Capozucca, A., & Guelfi, N. (2020). Analysing the SWECOM Standard for Designing a DevOps Education Programme. In Jean-Michel Bruel, A. CAPOZUCCA, Manuel Mazzara, Alexandr Naumchev, Andrey Sadovykh, ... Bertrand Meyer, Frontiers in Software Engineering Education First International Workshop (pp. 133--150). Switzerland: Springer Cham. doi:10.1007/978-3-030-57663-9_10
Peer reviewed

Bobrov, E., Bucchiarone, A., Capozucca, A., Guelfi, N., & Masyagin, S. (2020). Teaching DevOps in Academia and Industry: Reflections and Vision. In J.-M. Bruel, M. Mazzara, ... B. Meyer (Eds.), Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (pp. 1-14). Springer International Publishing.
Peer reviewed

Bobrov, E., Bucchiarone, A., Capozucca, A., Guelfi, N., Mazzara, M., Naumchev, A., & Safina, L. (2020). DevOps and Its Philosophy: Education Matters! In M. Mazzara, V. Rivera, A. Sadovykh, N. Dragoni (Ed.), S. Dustdar (Ed.), ... P. Lago (Ed.), Microservices: Science and Engineering (pp. 349-361). Springer International Publishing. doi:10.1007/978-3-030-31646-4_14
Peer reviewed

Capozucca, A., & Guelfi, N. (November 2019). Analysing the SWECOM and DDaT standards for designing a DevOps course content [Paper presentation]. First international workshop on frontiers in software engineering education, Chateau de Villebrumier, France.

Jahic, B., Guelfi, N., & Ries, B. (2019). Software Engineering for Dataset Augmentation using Generative Adversarial Networks. In Proceedings of 10th IEEE International Conference on Software Engineering and Service Science. doi:10.1109/ICSESS47205.2019.9040806
Peer reviewed

Bobrov, E., Antonio, B., Capozucca, A., Guelfi, N., Mazzara, M., Naumchev, A., & Safina, L. (2019). DevOps and its Philosophy : Education Matters! (TR_LASSY_19_02). Esch-sur-Alzette, Luxembourg: University of Luxembourg.

Bobrov, E., Bucchiarone, A., Capozucca, A., Guelfi, N., Mazzara, M., & Masyagin, S. (2019). Teaching DevOps in academia and industry: reflections and vision. (TR_LASSY_19_01). Esch-sur-Alzette, Luxembourg: University of Luxembourg.

Capozucca, A., Guelfi, N., & Ries, B. (2019). Design of a (yet another?) DevOps course. In J.-M. Bruel, M. Mazzara, ... B. Meyer (Eds.), Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (Revised Selected Papers, pp. 1-18). Cham, Switzerland: Springer. doi:10.1007/978-3-030-06019-0
Peer reviewed

Ries, B., Capozucca, A., & Guelfi, N. (2018). Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Artifact Evaluation) accepted at the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE). doi:10.5281/zenodo.1458158

Khan, Y. I., Konios, A., & Guelfi, N. (2018). A Survey of Petri Nets Slicing. ACM Computing Surveys, 51 (5), 109. doi:10.1145/3241736
Peer reviewed

Ries, B., Capozucca, A., & Guelfi, N. (2018). Messir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo), in ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) [Poster presentation]. ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Boston, United States - Massachusetts.

Ries, B., Capozucca, A., & Guelfi, N. (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. doi:10.1145/3276604.3276614
Peer reviewed

Guelfi, N., Capozucca, A., & Ries, B. (08 November 2017). A Product Line of Software Engineering Project Courses [Poster presentation]. 30th IEEE Conference on Software Engineering Education and Training, Savannah, Georgia, United States.

Guelfi, N., Jahic, B., & Ries, B. (2017). TESMA: Requirements and Design of a Tool for Educational Programs. Information. doi:10.3390/info8010037
Peer Reviewed verified by ORBi

Guelfi, N., Jahic, B., & Ries, B. (2016). TESMA : Towards the Development of a Tool for Specification, Management and Assessment of Teaching Programs. In E. Pyshkin, A. Vazhenin, ... V. Klyuev (Eds.), Proceeding of the 2nd International Conference on Applications in Information Technology (pp. 5-8). Aizuwakamazsu, Japan: The University of Aizu Press.
Peer reviewed

Guelfi, N., Capozucca, A., & Ries, B. (25 August 2016). Measuring the SWEBOK Coverage: An Approach and a Tool [Paper presentation]. SWEBoK Evolution Town Hall.

Guelfi, N. (2015). Software Engineering and Modeling Education: Problems and Solutions. 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.
Peer reviewed

Khan, Y. I., & Guelfi, N. (2014). Slicing High-level Petri nets. In International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014 (pp. 20).
Peer reviewed

Li, Z., Liang, P., Avgeriou, P., & Guelfi, N. (2014). 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. doi:10.1145/2602576.2602581
Peer reviewed

Khan, Y. I., & Guelfi, N. (2014). SLAPn: A Tool for slicing Algebraic Petri nets [Poster presentation]. International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014.

Saidane, A., & Guelfi, N. (2013). Towards Test-Driven and Architecture Model-Based Security and Resilience Engineering. In H. Singh & K. Kaur (Eds.), Designing, Engineering, and Analyzing Reliable and Efficient Software (pp. 163-188). IGI Global. doi:10.4018/978-1-4666-2958-5.ch010
Peer reviewed

Pruski, C., Guelfi, N., & Raynaud, C. (2013). Adaptive Ontology-Based Web Information Retrieval: The TARGET Framework. In J. Polgar & G. Adamson (Eds.), Web Portal Design, Implementation, Integration, and Optimization (pp. 152-170). IGI Global. doi:10.4018/978-1-4666-2779-6.ch013
Peer reviewed

Khan, Y. I., & Guelfi, N. (2013). Survey of Petri nets Slicing. lassy.

Mussbacher, G., Al Abed, W., Alam, O., Ali, S., Beugnard, A., Bonnet, V., Bræk, R., Capozucca, A., Cheng, B., Fatima, U., France, R., Georg, G., Guelfi, N., Istoan, P., Jézéquel, J.-M., Kienzle, J., Klein, J., Lézoray, J.-B., Malakuti, S., ... Troup, L. (2012). Comparing Six Modeling Approaches. In J. Kienzle (Ed.), Models in Software Engineering (pp. 217-243). Springer Berlin. doi:10.1007/978-3-642-29645-1_22
Peer reviewed

Gallina, B., & Guelfi, N. (2012). Reusing Transaction Models for Dependable Cloud Computing. In H. Yang & X. Liu (Eds.), Software Reuse in the Emerging Cloud Computing Era (pp. 248--277). IGI Global. doi:10.4018/978-1-4666-0897-9.ch011
Peer reviewed

Saïdane, A., & Guelfi, N. (2012). SETER: Towards Architecture-Model Based Security Engineering. International Journal of Secure Software Engineering, 3 (3), 23-49.
Peer reviewed

Capozucca, A., Cheng, B., Guelfi, N., & Istoan, P. (2011). OO-SPL modelling of the focused case study. Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011).
Peer reviewed

Pruski, C., Guelfi, N., & Reynaud, C. (2011). Adaptive Ontology-based Web Information Retrieval: The TARGET Framework. International Journal of Web Portals, 3, 41–58. doi:10.4018/IJWP.2011070104
Peer reviewed

Gallina, B., & Guelfi, N. (2011). Reusing Transaction Models for Dependable Cloud Computing. In Y. H. Xiaodong (Ed.), Software Reuse in the Emerging Cloud Computing Era. IGI Global.
Peer reviewed

Guelfi, N. (2011). A formal framework for dependability and resilience from a software engineering perspective. Central European Journal of Computer Science, 1, 294–328.
Peer Reviewed verified by ORBi

Capozucca, A., & Guelfi, N. (21 April 2010). Modelling Dependable Collaborative Time-constrained Business Process. Enterprise Information Systems, 4 (2), 153-214. doi:10.1080/17517571003753266
Peer reviewed

Capozucca, A., Guelfi, N., Pelliccione, P., Romanovsky, A., & Zorzo, A. F. (February 2009). Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software, 82 (2), 207-228. doi:10.1016/j.jss.2008.05.038
Peer Reviewed verified by ORBi

Capozucca, A., & Guelfi, N. (2009). Designing Reliable Real-Time Concurrent Object-Oriented Software Systems. Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09, 1996-1997. doi:10.1145/1529282.1529726
Peer reviewed

Gallina, B., Guelfi, N., & Kelsen, P. (2009). Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33).
Peer reviewed

Guelfi, N., & Ries, B. (October 2008). SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems. ERCIM News, 75.
Peer reviewed

Balbastro, F., Capozucca, A., & Guelfi, N. (July 2008). Analysis and framework-based design of a fault-tolerant web information system for m-health. Service Oriented Computing and Applications, 2 (2-3), 111-144. doi:10.1007/s11761-008-0026-3
Peer reviewed

Guelfi, N., & Ries, B. (2008). 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 (pp. 47-51). IEEE. doi:10.1109/TAIC-PART.2008.12
Peer reviewed

Perrouin, G., Klein, J., Guelfi, N., & Jezequel, J. M. (2008). Reconciling Automation and Flexibility in Product Derivation. Abstract book of 12th International Software Product Line Conference (SPLC2008). doi:10.1109/SPLC.2008.38
Peer reviewed

Balbastro, F., Capozucca, A., & Guelfi, N. (2007). On the Integration of Mobility in a Fault-Tolerant e-HealthWeb Information System. Advanced Information Networking and Applications Workshops, 2007, AINAW '07. 21st International Conference on (Volume:2 ), 629 - 634. doi:10.1109/AINAW.2007.270
Peer reviewed

Capozucca, A., Guelfi, N., Pelliccione, P., Romanovsky, A., & Zorzo, A. (2006). CAA-DRIP: a framework for implementing Coordinated Atomic Actions. The 17th International Symposium on Software Reliability, 385-394. doi:10.1109/ISSRE.2006.18
Peer reviewed

Capozucca, A., Guelfi, N., & Pelliccione, P. (2006). The Fault-Tolerant Insulin Pump Therapy. In B. Michael, J. Cliff, R. Alexander, ... T. Elena (Eds.), Rigorous Development of Complex Fault-Tolerant Systems, 4157 (pp. 59-79). Springer-Verlag. doi:10.1007/11916246_3
Peer reviewed

Capozucca, A., Gallina, B., Guelfi, N., Pelliccione, P., & Romanovsky, A. (2006). CORRECT Developing Fault-Tolerant Distributed Systems. ERCIM News.

Capozucca, A., Gallina, B., Guelfi, N., & Pelliccione, P. (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. Montpellier, France: Department of Computer Science. LIRMM - Montpellier-II University.
Peer reviewed

Capozucca, A., Guelfi, N., & Pelliccione, P. (2005). The Fault-Tolerant Insulin Pump Therapy. Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems, 33-42.
Peer reviewed

Guelfi, N., & Ries, B. (2005). 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. ERCIM.
Peer reviewed

Guelfi, N., Le Cousin, G., & Ries, B. (2004). Engineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions. In International Workshop on Modeling Inter-Organizational Systems (MIOS'04). Springer.
Peer reviewed

Guelfi, N., Mammar, A., & Ries, B. (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.
Peer reviewed

Guelfi, N., Pruski, C., & Ries, B. (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. infix.
Peer reviewed

Guelfi, N., Ries, B., & Sterges, P. (2003). MEDAL: A CASE Tool Extension for Model-driven Software Engineering. In SwSTE'03 IEEE International Conference on Software - Science, Technology & Engineering. IEEE Computer Society. doi:10.1109/SWSTE.2003.1245422
Peer reviewed

Guelfi, N., & Ries, B. (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. ACTA Press.
Peer reviewed

Guelfi, N., Pelliccione, P., Muccini, H., & Romanovsky, A. (n.d.). Software Engineering of Fault Tolerant Systems. Springer.

Contact ORBilu