Search
Startseite // Forschung // FSTM // DCS // Mitglieder // Benoît Ries
Imprimer

Benoît Ries

Benoît Ries

Research scientist

Fakultät oder Zentrum Fakultät für Naturwissenschaften, Technologie und Medizin
Department Fachbereich Informatik
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E03 0315-150
E-Mail
Telefon (+352) 46 66 44 5267

My current research interests focus in software engineering education and cyber-physical systems applied to the domain of resilient ecosystems, and in particular the permaculture approach, an approach based on a systemic modelling of natural ecosystems. Recently, I launched the Greenware R&D axis in the BiCS students laboratory (headed by Prof. Nicolas Guelfi) to develop these projects at University of Luxembourg and possibly also involving industrial partners.

Since 2009, I am a permanent research scientist on projects of the LASSY laboratory in the team of Professor Nicolas Guelfi. In 2009, I obtained my PhD from the University of Luxembourg in collaboration with the IEE company (automotive industry). Previously I obtained a Master of Science at the LORIA laboratory located in the University of Nancy and a Master's degree in Computer Science and Engineering specialized in "Software Engineering and Information Technology" SIGL at EPITA in Paris, France.

Last updated on: Montag, den 28. Januar 2019

powered by
orbilu.uni.lu

2023

de Jesus Sousa, T. A., Ries, B., & Guelfi, N. (2023). Formal Verification of Ecosystem Restoration Requirements using UML and Alloy (TR-LASSY-23-02).
Jahic, B., Guelfi, N., & Ries, B. (2023). SEMKIS-DSL: A Domain-Specific Language to Support Requirements Engineering of Datasets and Neural Network Recognition. Information, 14(4).
Top of Page

2021

Jahic, B., Guelfi, N., & Ries, B. (2021). SEMKIS-DSL: a Domain-Specific Language for Specifying Neural Networks’ Key-Properties. Belval, Luxemburg: Lassy.
Ries, B., Guelfi, N., & Jahic, B. (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 (pp. 41-52). SCITEPRESS.
Top of Page

2020

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

2019

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.
Jahic, B., Guelfi, N., & Ries, B. (2019). Software Engineering for Dataset Augmentation using Generative Adversarial Networks. Proceedings of 10th IEEE International Conference on Software Engineering and Service Science.
Tenbergen, B., & Ries, B. (2019, January). Methodological Aspects of Software Engineering, Assurance, Quality, and Reliability Engineering (MAS/AQR) 2019 Welcome from the Minitrack Co-Chairs. Proceedings of the 52nd Hawaii International Conference on System Sciences (HICSS).
Top of Page

2018

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).
Ries, B., Capozucca, A., & Guelfi, N. (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 SLE'18.
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 session presented at ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH), Boston, MA, USA.
Top of Page

2017

Guelfi, N., Capozucca, A., & Ries, B. (2017, November 08). A Product Line of Software Engineering Project Courses. Poster session presented at 30th IEEE Conference on Software Engineering Education and Training, Savannah, Georgia, USA.
Guelfi, N., Jahic, B., & Ries, B. (2017, March 22). TESMA: Requirements and Design of a Tool for Educational Programs. Information.
Top of Page

2016

Guelfi, N., Capozucca, A., & Ries, B. (2016, August 25). Measuring the SWEBOK Coverage: An Approach and a Tool. Paper presented at SWEBoK Evolution Town Hall.
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.
Top of Page

2012

Ledyayev, R., Ries, B., & Gorbenko, A. (2012). REACT: an Architectural Framework for the Development of a Software Product Line for Dependable Crisis Management Systems. Radioelectronic and Computer Systems, 59(7), 284-288.
Top of Page

2009

Ries, B. (2009). SESAME: a Model-Driven Process for the Test Selection of Small-size Safety-related Embedded Software. Unpublished doctoral thesis, University of Luxembourg, ​Luxembourg, ​​Luxembourg.
Top of Page

2008

Guelfi, N., & Ries, B. (2008). SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems. ERCIM News, 75.
Guelfi, N., & Ries, B. (2008). Selection, Evaluation and Generation of Test Cases in an Industrial Setting: a Process and a Tool. Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference (pp. 47-51). IEEE.
Top of Page

2005

Guelfi, N., & Ries, B. (2005). SCTL: A StateChart Transformation Language for Test Sets Reduction. ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli. ERCIM.
Top of Page

2004

Guelfi, N., Le Cousin, G., & Ries, B. (2004). Engineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions. International Workshop on Modeling Inter-Organizational Systems (MIOS'04). Springer.
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. International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04.
Guelfi, N., Pruski, C., & Ries, B. (2004). A Study of Mobile Internet Technologies for Secure e-commerce Applications Development. Techniques and Applications for Mobile Commerce (TAMOCO) part of Multi-Konferenz Wirtschaftsinformatik 2004. infix.
Top of Page

2003

Guelfi, N., Ries, B., & Sterges, P. (2003). MEDAL: A CASE Tool Extension for Model-driven Software Engineering. SwSTE'03 IEEE International Conference on Software - Science, Technology & Engineering. IEEE Computer Society.
Top of Page

2002

Guelfi, N., & Ries, B. (2002). Using and Specializing a Pattern-Based E-business Framework: An Auction Case Study. The 6th Annual IASTED International Conference on Software Engineering and Applications. ACTA Press.
Top of Page