| 2016 | MODELS | ModifRoundtrip: A Model-Based tool to reuse legacy transformations. | Paola Vallejo, Jean-Philippe Babau, Mickal Kerboeuf |
| 2015 | CaiSE | Real-Time Design Patterns: Architectural Designs for Automatic Semi-Partitioned and Global Scheduling. | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickal Kerboeuf, Mohamed Abid |
| 2015 | MODELS | Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study. | Paola Vallejo, Mickal Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau |
| 2015 | MODELSWARD | Specification of Adaptable Model Migrations. | Paola Vallejo, Mickal Kerboeuf, Jean-Philippe Babau |
| 2015 | MODELSWARD | A Model-driven Approach for the Generation of Customizable Model Migrations. | Paola Vallejo, Mickal Kerboeuf, Jean-Philippe Babau |
| 2014 | MODELS | CdmCL, a Specific Textual Constraint Language for Common Data Model. | Ahmed Ahmed, Paola Vallejo, Mickal Kerboeuf, Jean-Philippe Babau |
| 2014 | WETICE | A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. | Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickal Kerboeuf |
| 2014 | WETICE | A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE Systems. | Mouna Ben Said, Nader Ben Amor, Yessine Hadj Kacem, Mickal Kerboeuf, Mohamed Abid |
| 2013 | FDL | Fine-grain adaptation for real time embedded systems using UML/MARTE profile. | Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickal Kerboeuf, Mohamed Abid |
| 2013 | MODELS | Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability. | Paola Vallejo, Mickal Kerboeuf, Jean-Philippe Babau |
| 2012 | MODELS | A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages. | Mickal Kerboeuf, Jean-Philippe Babau, Vincent Gaudel |
| 2011 | OOPSLA | A DSML for reversible transformations. | Mickal Kerboeuf, Jean-Philippe Babau |
| 2010 | ICECCS | Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. | Mickal Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux |
| 2003 | ICFEM | Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. | Mickal Kerboeuf, David Nowak, Jean-Pierre Talpin |