Benoît Ries

Orcid: 0000-0002-8680-2797

According to our database1, Benoît Ries authored at least 14 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Data Augmentation in Earth Observation: A Diffusion Model Approach.
CoRR, 2024

Formal Verification of Ecosystem Restoration Requirements using UML and Alloy.
CoRR, 2024

Model-Driven Software Product Line Engineering of AI-Based Applications for Achieving Sustainable Development Goals: Vision Paper.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
SEMKIS-DSL: A Domain-Specific Language to Support Requirements Engineering of Datasets and Neural Network Recognition.
Inf., April, 2023

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, 2021

2020
Specifying Key-properties to Improve the Recognition Skills of Neural Networks.
Proceedings of the ESSE 2020: 2020 European Symposium on Software Engineering, 2020

2019
Introduction to the Minitrack on Measurement and Assessment.
Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

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, 2018

Design of a (Yet Another?) DevOps Course.
Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

2017
TESMA: Requirements and Design of a Tool for Educational Programs.
Inf., 2017

2009
SESAME: a Model-Driven Process for the Test Selection of Small-size Safety-related Embedded Software.
PhD thesis, 2009

2008
SESAME: A Model-Driven Test Selection Process for Safety-Critical Embedded Systems.
ERCIM News, 2008

2004
Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

2003
MEDAL: A CASE Tool Extension for Model-Driven Software Engineering.
Proceedings of the 2003 IEEE International Conference on Software, 2003


  Loading...