Publications

(2022). RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022.

(2022). Artificial Intelligence Capabilities for Effective Model‐Based Systems Engineering: A Vision Paper. INCOSE International Symposium.

Cite DOI URL

(2021). The Role of Formalism in System Requirements. ACM Computing Surveys.

(2021). Modélisation des systèmes complexes et Points de vue : l'Ingénierie des Modèles centrée utilisateur pour l'Ingénierie Système.

(2021). Model-Driven Engineering for End-Users in the Loop in Smart Ambient Systems. JUCS - Journal of Universal Computer Science.

(2021). Examining Requirements Documentation through the Focused Conversation Method. Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.

(2020). Modélisation centrée utilisateur pour la configuration logicielle en environnement ambiant.

(2020). Using Comp-O to Build and Describe Component-Based Services. Demos and Industry Tracks: From Novel Ideas to Industrial Practice (ISWC-Posters 2020 ) co-located with 19th International Semantic Web Conference.

(2020). Towards an Assessment Grid for Intelligent Modeling Assistance. MDE Intelligence 2020 - 2nd Workshop on Artificial Intelligence and Model-driven Engineering.

(2020). Modélisation et exécution flexible de processus collaboratifs.

(2020). Méthodologie de conception de systèmes de simulations en entreprise étendue, basée sur l'ingénierie système dirigée par les modèles.

(2020). Comp-O: an OWL-S Extension for Composite Service Description. 22nd International Conference, EKAW 2020.

(2020). Une approche IDM pour l'alignement collaboratif de modèles hétérogènes.

(2020). Putting the End-User in the Loop in Smart Ambient Systems: an Approach based on Model-Driven Engineering.

(2020). Modeling and verification method for an early evaluation of Systems of Systems interactions. 35th Annual ACM Symposium on Applied Computing (SAC 2020).

(2020). Toward model-driven sustainability evaluation. Commun. ACM.

(2020). The Software Language Extension Problem. Software and Systems Modeling.

(2020). Runtime Monitoring for Executable DSLs. The Journal of Object Technology.

(2020). Papyrus for Gamers, Let's Play Modeling. Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.

(2020). Opportunities in Intelligent Modeling Assistance. Software and Systems Modeling.

(2020). Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study. Software and Systems Modeling.

(2020). Modeling and verification method for an early evaluation of systems of systems interactions. SAC ‘20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020.

(2020). Live Modeling in the Context of State Machine Models and Code Generation. Software and Systems Modeling.

(2020). Comparing and classifying model transformation reuse approaches across metamodels. Softw. Syst. Model..

(2020). Automatic generation of Truffle-based interpreters for Domain-Specific Languages. The Journal of Object Technology.

(2020). A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems. IEEE Software.

(2020). A Formalization of Group Decision Making in Multi-Viewpoints Design. Communications in Computer and Information Science.

(2019). From DSL Specification to Interactive Computer Programming Environment. SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering.

(2019). Live-UMLRT: A Tool for Live Modeling of UML-RT Models. MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems.

(2019). Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges. MDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things.

(2019). An integrated model-based early validation approach for railway systems.

(2019). Seamless Object-Oriented Requirements.

(2019). Automated user-oriented description of emerging composite ambient applications. International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Lisbonne, 10/07/2019-12/07/2019.

(2019). Using Patterns to parameterize the execution of Collaborative Tasks. 28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019).

(2019). A collaborative decision approach for alignment of heterogeneous models. 28th IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019).

(2019). A Pattern-based Process Management System to flexibly execute Collaborative Tasks. 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019).

(2019). AutoReq: expressing and verifying requirements for control systems. Journal of Visual Languages and Computing.

(2019). AutoReq: expressing and verifying requirements for control systems. Journal of Visual Languages and Computing.

(2019). Approximate Loop Unrolling. CF 2019 - ACM International Conference on Computing Frontiers.

(2019). Towards an Anatomy of Software Requirements. Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings.

(2019). Towards a Model-Based DevOps for Cyber-Physical Systems. Software Engineering Aspects of Continuous Development.

(2019). The JOT Journal: Towards a Rising Generation. The Journal of Object Technology.

(2019). Reflections on Teaching Formal Methods for Software Development in Higher Education. Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers.

(2019). MidSemI: A Middleware for Semantic Integration of Business Data with Large-scale Social and Linked Data. International Journal of Information System Modeling and Design.

(2019). Formal Semantics of Requirements Relationships for Traceability.

(2019). Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges. Journal of Computer Languages.

(2019). A Unifying Framework for Homogeneous Model Composition. Software and Systems Modeling.

(2018). Shape-Diverse DSLs: Languages without Borders (Vision Paper). SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering.

(2018). Modular Language Composition for the Masses. SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering.

(2018). Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo). SLE 2018 - International Conference on Software Language Engineering.

(2018). A Survey on MBSE Adoption Challenges. INCOSE EMEA Sector Systems Engineering Conference (INCOSE EMEASEC 2018).

(2018). Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. MDE@DeRun 2018 Workshop.

(2018). Model-Based Systems Engineering for Systems Simulation. Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018).

(2018). Using semantic perimeters with ontologies to evaluate the semantic similarity of scientific papers. Informatica.

(2018). Reverse engineering language product lines from existing DSL variants. 22nd International Systems and Software Product Line Conference - SPLC 2018.

(2018). Reconciling Requirements and Continuous Integration in an Agile Context. 2018 IEEE 26th International Requirements Engineering Conference (RE).

(2018). On the use of models for high-performance scientific computing applications: an experience report. SoSyM Journal.

(2018). How to handle environmental uncertainty in goal-based requirements engineering. ICSE Poster.

(2018). Emergence of Composite Services in Smart Environments. ESOF'2018.

(2018). Towards a Requirements Engineering Approach for capturing Uncertainty in Cyber-Physical Systems Environment. Springer CCIS.

(2018). Towards Solving MBSE Adoption Challenges: The D3 MBSE Adoption Toolbox. Annual International Council on Systems Engineering Symposium (INCOSE 2018).

(2018). Towards a collaborative matching approach to relate sustainable cities design models (poster). EuroScience Open Forum - ESOF 2018.

(2018). Seamless development of complex systems: a multirequirements approach.

(2018). Emergence of Composite Services in Smart Environments.

(2018). Requirements Specific Modeling Language : un langage formel d'expression d'exigences. CIEL'18.

(2018). SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. ECMFA'18.

(2018). Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach. MSE@STAF 2018.

(2018). Trace Comprehension Operators for Executable DSLs. ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications.

(2018). SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation. European Conference on Modelling Foundations and Applications.

(2018). Requirements Specific Modeling Language : un langage formel d'expression d'exigences. Conférence en IngénieriE du Logiciel.

(2018). Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap. MDE@DeRun 2018 workshop, co-located with the Software Technologies: Applications and Foundations (STAF 2018) federation of conferences.

(2018). Model Transformation Reuse across Metamodels - A classification and comparison of approaches. ICMT 2018 - International Conference on Theory and Practice of Model Transformations.

(2018). Formalisation des relations entre exigences (Journées nationales du GDR GPL 2018, Grenoble, France). 10èmes Journées nationales du GDR : Groupement de Recherche Génie de la Programmation et du Logiciel (GDR GPL 2018).

(2018). Definition of states and modes as general concepts for system design and validation. 12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018).

(2018). Ambient Intelligence Users in the Loop: Towards a Model-Driven Approach. MSE (``Microservices: Science and Engineering’’) Workshop (MSE@STAF 2018).

(2018). Collaborative Processes Management: from Modeling to Enacting. 22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018).

(2018). Collaborative model-based matching of heterogeneous models. 22nd International Conference on Computer Supported Cooperative Work in Design (CSCWD 2018).

(2018). Heterogeneous design models alignment: from matching to consistency management. 33rd ACM/SIGAPP Symposium On Applied Computing (SAC 2018).

(2018). Translation of Heterogenous Requirements Meta-Models Through a Pivot Meta-Model. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018).

(2018). Omniscient Debugging for Executable DSLs. Journal of Systems and Software.

(2018). Model driven consistency for heterogeneous models. 13th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE 2018.

(2018). AHM: Handling heterogeneous models matching and consistency via MDE. 13th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE 2018.

(2018). On the Use of Models for High-Performance Scientific Computing Applications: an Experience Report. International Journal on Software and Systems Modeling.

(2018). Ontology-based approach to enhance medical web information extraction. International Journal of Web Information Systems.

(2018). Measurement and Generation of Diversity and Meaningfulness in Model Driven Engineering. International Journal On Advances in Software.

(2018). Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering. Computer Languages, Systems and Structures.

(2018). A new multi-criteria decision process to prioritise requirements. International Journal of Information and Communication Technology.

(2017). Modeling Co-simulation: A First Experiment. GEMOC 2017.

(2017). A contract-based method to specify stimulus-response requirements. In CoRR Journal.

(2017). Intégration des (multi-)exigences tout au long du développement des systèmes complexes. 16emes Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2017).

(2017). A contract-based method to specify stimulus-response requirements.

(2016). Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016). In OSS4MDE.

(2014). Spem4mde : Un métamodèle et un environnement pour la modélisation et la mise en øeuvre assistée de processus IDM. Presses Académiques Francophones.

(2012). Dedal-CDL: Modeling First-class Architectural Changes in Dedal. Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture (WICSA / ECSA 2012).