A Model-based Approach for Assessing the Security of Cyber-Physical Systems. - Castro, Hugo Teixeira De; Hussain, Ahmed; Blanc, Gregory; Hachem, Jamal El; Blouin, Dominique; Leneutre, Jean; Papadimitratos, Panos (2024)

A Survey of Federative Approaches for Model Management in MBSE. - Amrani, Moussa; Mittal, Rakshit; Goulão, Miguel; Amaral, Vasco; Guérin, Sylvain; Martínez, Salvador; Blouin, Dominique; Bhobe, Anish; Hallak, Yara (2024)

Model Management at Renault Virtual Simulation Team: State of Practice, Challenges and Research Directions. - Hallak, Yara; Blouin, Dominique; Pautet, Laurent; Saab, Layale; Laborie, Baptiste; Mittal, Rakshit (2024)

A benchmark of incremental model transformation tools based on an industrial case study with AADL. - Mkaouar, Hana; Blouin, Dominique; Borde, Etienne (Softw. Syst. Model., 2023)

5th International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS). - Paredis, Randy; Amrani, Moussa; Exelmans, Joeri; Blouin, Dominique; Challenger, Moharram; Heinrich, Robert (2023)

Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications. - Lubat, Éric; Jenn, Eric; Blouin, Dominique; Kaufmann, Marc (2023)

Towards an Ontological Framework for Validity Frames. - Mittal, Rakshit; Eslampanah, Raheleh; Lima, Lucas; Vangheluwe, Hans; Blouin, Dominique (2023)

Multi-paradigm modeling for cyber-physical systems: A systematic mapping review. - Barisic, Ankica; Ruchkin, Ivan; Savic, Dusan; Mohamed, Mustafa Abshir; Ali, Rima Al; Li, Letitia W.; Mkaouar, Hana; Eslampanah, Raheleh; Challenger, Moharram; Blouin, Dominique; Nikiforova, Oksana; Cicchetti, Antonio (J. Syst. Softw., 2022)

OSATE-DIM solves the instance model-view update problem in AADL. - Mittal, Rakshit; Blouin, Dominique (2022)

Solving the instance model-view update problem in AADL. - Mittal, Rakshit; Blouin, Dominique; Bhobe, Anish; Bandyopadhyay, Soumyadip (2022)

Multi-paradigm modeling for early analysis of ROS-based robotic applications using a library of AADL models. - Senn, Eric; Bourdon, Lucie W. J.; Blouin, Dominique (2022)

Multi-paradigm modelling for cyber-physical systems: a descriptive framework. - Amrani, Moussa; Blouin, Dominique; Heinrich, Robert; Rensink, Arend; Vangheluwe, Hans; Wortmann, Andreas (Softw. Syst. Model., 2021)

Validating Extended Feature Model Configurations using Petri Nets. - Mittal, Rakshit; Blouin, Dominique; Bandyopadhyay, Soumyadip (2021)

PNPEq: Verification of Scheduled Conditional Behavior in Embedded Software using Petri Nets. - Mittal, Rakshit; Blouin, Dominique; Bandyopadhyay, Soumyadip (2021)

Towards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets. - Mittal, Rakshit; Banerjee, Rochishnu; Blouin, Dominique; Bandyopadhyay, Soumyadip (2021)

Multi-paradigm Modelling for Policy-driven Socio-technical Systems. - Diaconescu, Ada; Blouin, Dominique; Ludvig, Alice (2021)

Preface to the 3rd Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2021). - Amrani, Moussa; Blouin, Dominique; Challenger, Moharram; Deantoni, Julien; Heinrich, Robert; Wimmer, Manuel (2021)

Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach. - Caron, Françoise; Blouin, Dominique; Crisafulli, Paolo; Maxim, Cristian (2020)

Preface to the 1st Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS 2019). - Mierlo, Simon Van; Syriani, Eugene; Blouin, Dominique; Amrani, Moussa; Deantoni, Julien; Wimmer, Manuel (2019)

Towards a Formal Specification of Multi-paradigm Modelling. - Amrani, Moussa; Blouin, Dominique; Heinrich, Robert; Rensink, Arend; Vangheluwe, Hans; Wortmann, Andreas (2019)

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. - Blouin, Dominique; Barkowski, Matthias; Schneider, Melanie; Giese, Holger; Dyck, Johannes; Borde, Etienne; Tamzalit, Dalila; Noppen, Joost (2017)

A requirements engineering approach for usability-driven DSL development. - Barisic, Ankica; Blouin, Dominique; Amaral, Vasco; Goulão, Miguel (2017)

TBES: Template-Based Exploration and Synthesis of Heterogeneous Multiprocessor Architectures on FPGA. - Corre, Youenn; Diguet, Jean-Philippe; Heller, Dominique; Blouin, Dominique; Lagadec, Loïc (ACM Trans. Embed. Comput. Syst., 2016)

Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design. - Blouin, Dominique; Giese, Holger (2016)

On the Operationalization of Graph Queries with Generalized Discrimination Networks. - Beyhl, Thomas; Blouin, Dominique; Giese, Holger; Lambers, Leen (2016)

Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies. - Dávid, István; Syriani, Eugene; Verbrugge, Clark; Buchs, Didier; Blouin, Dominique; Cicchetti, Antonio; Vanherpen, Ken (2016)

Kaolin: A system-level AADL tool for FPGA design reuse, upgrade and migration. - Blouin, Dominique; Ochoa-Ruiz, Gilberto; Eustache, Yvan; Diguet, Jean-Philippe (2015)

Synchronization of Models of Rich Languages with Triple Graph Grammars: An Experience Report. - Blouin, Dominique; Plantec, Alain; Dissaux, Pierre; Singhoff, Frank; Diguet, Jean-Philippe (2014)

Extensible Global Model Management with Meta-model Subsets and Model Synchronization. - Blouin, Dominique; Eustache, Yvan; Diguet, Jean-Philippe (2014)

An Efficient Framework for Power-Aware Design of Heterogeneous MPSoC. - Atitallah, Rabie Ben; Senn, Eric; Chillet, Daniel; Lanoe, Mickael; Blouin, Dominique (IEEE Trans. Ind. Informatics, 2013)

Fast Template-Based Heterogeneous MPSoC Synthesis on FPGA. - Corre, Youenn; Diguet, Jean-Philippe; Lagadec, Loïc; Heller, Dominique; Blouin, Dominique (2013)

Model-Driven Requirements Engineering for Embedded Systems Development. - Loniewski, Grzegorz; Borde, Etienne; Blouin, Dominique; Insfrán, Emilio (2013)

An Automated Approach for Architectural Model Transformations. - Loniewski, Grzegorz; Borde, Etienne; Blouin, Dominique; Insfrán, Emilio (2013)

Functional validation of AADL models via model transformation to SystemC with ATL. - Bomel, Pierre; Blouin, Dominique; Lanoe, Mickael; Senn, Eric (2012)

QAML: a multi-paradigm DSML for quantitative analysis of embedded system architecture models. - Blouin, Dominique; Senn, Eric; Roussel, Kevin; Zendra, Olivier (2012)

AADL Extension to Model Classical FPGA and FPGA Embedded within a SoC. - Blouin, Dominique; Chillet, Daniel; Senn, Eric; Bilavarn, Sébastien; Bonamy, Robin; Samoyeau, Christian (Int. J. Reconfigurable Comput., 2011)

Defining an annex language to the architecture analysis and design language for requirements engineering activities support. - Blouin, Dominique; Senn, Eric; Turki, Skander (2011)

Energy and Power Consumption Estimation for Embedded Applications and Operating Systems. - Dhouib, Saadia; Senn, Eric; Diguet, Jean-Philippe; Blouin, Dominique; Laurent, Johann (J. Low Power Electron., 2009)

Model Driven High-Level Power Estimation of Embedded Operating Systems Communication Services. - Dhouib, Saadia; Senn, Eric; Diguet, Jean-Philippe; Laurent, Johann; Blouin, Dominique (2009)

Power and Energy Estimations in Model-Based Design. - Senn, Eric; Dhouib, Saadia; Blouin, Dominique; Laurent, Johann; Turki, Skander; Diguet, Jean-Philippe (2008)