Skip to content

Dominique Blouin

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

23

Venues

7

Active years

2008–2026

Best venue rank

A

Where they publish

Papers

23 indexed papers, newest first.

YearVenueTitleAuthors
2026ICSoftDon't Just Translate: Verify - LLM-Guided Solidity Migration with Semantic Guarantees.Arnab Mukherjee, Soumyadip Bandyopadhyay, Raju Halder, Dominique Blouin
2024MODELSA Survey of Federative Approaches for Model Management in MBSE.Moussa Amrani, Rakshit Mittal, Miguel Goulo, Vasco Amaral, Sylvain Gurin, Salvador Martnez, Dominique Blouin, Anish Bhobe, Yara Hallak
2024MODELSModel Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research Directions.Yara Hallak, Dominique Blouin, Laurent Pautet, Layale Saab, Baptiste Laborie, Rakshit Mittal
2023MODELSTowards a Development Process for Multi-CPU Distributed Synchronous Software Applications.ric Lubat, Eric Jenn, Dominique Blouin, Marc Kaufmann
2023MODELSTowards an Ontological Framework for Validity Frames.Rakshit Mittal, Raheleh Eslampanah, Lucas Lima, Hans Vangheluwe, Dominique Blouin
2023MODELS5th International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS).Randy Paredis, Moussa Amrani, Joeri Exelmans, Dominique Blouin, Moharram Challenger, Robert Heinrich
2022MODELSOSATE-DIM solves the instance model-view update problem in AADL.Rakshit Mittal, Dominique Blouin
2022MODELSSolving the instance model-view update problem in AADL.Rakshit Mittal, Dominique Blouin, Anish Bhobe, Soumyadip Bandyopadhyay
2022MODELSMulti-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models.Eric Senn, Lucie W. J. Bourdon, Dominique Blouin
2021APSECPNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets.Rakshit Mittal, Dominique Blouin, Soumyadip Bandyopadhyay
2021ICSoftTowards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets.Rakshit Mittal, Rochishnu Banerjee, Dominique Blouin, Soumyadip Bandyopadhyay
2021JURIXMulti-paradigm Modelling for Policy-driven Socio-technical Systems.Ada Diaconescu, Dominique Blouin, Alice Ludvig
2021MODELSPreface to the 3rd Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2021).Moussa Amrani, Dominique Blouin, Moharram Challenger, Julien Deantoni, Robert Heinrich, Manuel Wimmer
2019MODELSTowards a Formal Specification of Multi-paradigm Modelling.Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann
2019MODELSPreface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019).Simon Van Mierlo, Eugene Syriani, Dominique Blouin, Moussa Amrani, Julien Deantoni, Manuel Wimmer
2017REA Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models.Dominique Blouin, Matthias Barkowski, Melanie Schneider, Holger Giese, Johannes Dyck, Etienne Borde, Dalila Tamzalit, Joost Noppen
2017SLEA requirements engineering approach for usability-driven DSL development.Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulo
2016MODELSTowards Inconsistency Tolerance by Quantification of Semantic Inconsistencies.Istvn Dvid, Eugene Syriani, Clark Verbrugge, Didier Buchs, Dominique Blouin, Antonio Cicchetti, Ken Vanherpen
2014MODELSExtensible Global Model Management with Meta-model Subsets and Model Synchronization.Dominique Blouin, Yvan Eustache, Jean-Philippe Diguet
2012MODELSQAML: a multi-paradigm DSML for quantitative analysis of embedded system architecture models.Dominique Blouin, Eric Senn, Kevin Roussel, Olivier Zendra
2012MODELSFunctional validation of AADL models via model transformation to SystemC with ATL.Pierre Bomel, Dominique Blouin, Mickael Lanoe, Eric Senn
2011REDefining an annex language to the architecture analysis and design language for requirements engineering activities support.Dominique Blouin, Eric Senn, Skander Turki
2008FDLPower and Energy Estimations in Model-Based Design.Eric Senn, Saadia Dhouib, Dominique Blouin, Johann Laurent, Skander Turki, Jean-Philippe Diguet