Publications

Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap
This paper reports on the first Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (also called …
PDF
Emergence of Composite Services in Smart Environments
In this poster we summarize our innovative approach called opportunistic composition: using a bottom-up approach, composite services …
PDF
How to handle environmental uncertainty in goal-based requirements engineering
The objective of this poster paper is to investigate on how to deal with environmental uncertainty in goal based requirements …
PDF
Towards a Requirements Engineering Approach for capturing Uncertainty in Cyber-Physical Systems Environment
By nature, Cyber-physical systems are very often submitted to uncertainty events that can occur in their environment. This paper …
Requirements Specific Modeling Language : un langage formel d'expression d'exigences
La traçabilité et l’intégration des exigences au court du cycle de vie d’un système informatique est un enjeu majeur de …
PDF
SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation
This paper presents a solution for SysML model verification and validation, with a return of experience from its implementation in an …
PDF
Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach
Ambient and mobile systems consist of networked devices and software components surrounding human users and providing services. From …
PDF
Modeling Co-simulation: A First Experiment
Model-Based Systems Engineering plays a key role in managing the complexity in the development of modern cyber-physical systems. Model …
PDF
Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016)
PDF