  | DE JESUS SOUSA, T. A., RIES, B., & GUELFI, N. (2024). Data Augmentation in Earth Observation: A Diffusion Model Approach. |
 | 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 |
 | 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 |
 | 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. |
 | 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 |
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 |
 | 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 |
 | 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 |
 | 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 |
 | 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 |
 | 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 |
 | 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 |
 | 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 |
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., 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., 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., 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. |