Specification and Verification of a Steam-Boiler with Signal-Coq. - Mickaël Kerboeuf; David Nowak; Jean-Pierre Talpin (TPHOLs, 2000)

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. - Mickaël Kerboeuf; David Nowak; Jean-Pierre Talpin (ICFEM, 2003)

Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. - Mickaël Kerboeuf; Jean-Pierre Talpin (J. Log. Algebraic Methods Program., 2005)

Validate, simulate, and implement ARINC653 systems using the AADL. - Julien Delange; Laurent Pautet; Alain Plantec; Mickaël Kerboeuf; Frank Singhoff; Fabrice Kordon (SIGAda, 2009)

Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. - Mickaël Kerboeuf; Alain Plantec; Frank Singhoff; Arnaud Schach; Pierre Dissaux (ICECCS, 2010)

A DSML for reversible transformations. - Mickaël Kerboeuf; Jean-Philippe Babau (SPLASH Workshops, 2011)

A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages. - Mickaël Kerboeuf; Jean-Philippe Babau; Vincent Gaudel (ME@MoDELS, 2012)

Fine-grain adaptation for real time embedded systems using UML/MARTE profile. - Mouna Ben Said; Yessine Hadj Kacem; Nader Ben Amor; Mickaël Kerboeuf; Mohamed Abid (FDL, 2013)

Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability. - Paola Vallejo 001; Mickaël Kerboeuf; Jean-Philippe Babau (ME@MoDELS, 2013)

CdmCL, a Specific Textual Constraint Language for Common Data Model. - Ahmed Ahmed 005; Paola Vallejo 001; Mickaël Kerboeuf; Jean-Philippe Babau (OCL@MoDELS, 2014)

A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. - Amina Magdich; Yessine Hadj Kacem; Adel Mahfoudhi; Mickaël Kerboeuf (WETICE, 2014)

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; Mickaël Kerboeuf; Mohamed Abid (WETICE, 2014)

Design Patterns for Self-Adaptive RTE Systems Specification. - Mouna Ben Said; Yessine Hadj Kacem; Mickaël Kerboeuf; Nader Ben Amor; Mohamed Abid (Int. J. Reconfigurable Comput., 2014)

Design Pattern for Self-adaptive RTE Systems Monitoring. - Mouna Ben Said; Yessine Hadj Kacem; Mickaël Kerboeuf; Nader Ben Amor; Mohamed Abid (Software Engineering Research, Management and Applications, 2014)

Real-Time Design Patterns: Architectural Designs for Automatic Semi-Partitioned and Global Scheduling. - Amina Magdich; Yessine Hadj Kacem; Adel Mahfoudhi; Mickaël Kerboeuf; Mohamed Abid (BMMDS/EMMSAD, 2015)

Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study. - Paola Vallejo 001; Mickaël Kerboeuf; Kevin J. M. Martin; Jean-Philippe Babau (MoDELS, 2015)

Specification of Adaptable Model Migrations. - Paola Vallejo 001; Mickaël Kerboeuf; Jean-Philippe Babau (MODELSWARD, 2015)

A Model-driven Approach for the Generation of Customizable Model Migrations. - Paola Vallejo 001; Mickaël Kerboeuf; Jean-Philippe Babau (MODELSWARD (Revised Selected Papers), 2015)

Formalisation de la recontextualisation de modèles par graphe de dépendance. - Paola Vallejo 001; Mickaël Kerboeuf; Jean-Philippe Babau (Tech. Sci. Informatiques, 2015)

Lub: a DSL for Dynamic Context Oriented Programming. - Steven Costiou; Mickaël Kerboeuf; Glenn Cavarlé; Alain Plantec (IWST, 2016)

ModifRoundtrip: A Model-Based tool to reuse legacy transformations. - Paola Vallejo 001; Jean-Philippe Babau; Mickaël Kerboeuf (D&P@MoDELS, 2016)

Debugging Cyber-Physical Systems with Pharo: An Experience Report. - Matteo Marra; Elisa Gonzalez Boix; Steven Costiou; Mickaël Kerboeuf; Alain Plantec; Guillermo Polito; Stéphane Ducasse (IWST, 2017)

Unanticipated Debugging with Dynamic Layers. - Steven Costiou; Mickaël Kerboeuf; Marcus Denker; Alain Plantec (Programming, 2017)

Collectors. - Steven Costiou; Mickaël Kerboeuf; Alain Plantec; Marcus Denker (Programming, 2018)

A design pattern-based approach for automatic choice of semi-partitioned and global scheduling algorithms. - Amina Magdich; Yessine Hadj Kacem; Mickaël Kerboeuf; Adel Mahfoudhi; Mohamed Abid (Inf. Softw. Technol., 2018)

Lub: A pattern for fine grained behavior adaptation at runtime. - Steven Costiou; Mickaël Kerboeuf; Glenn Cavarlé; Alain Plantec (Sci. Comput. Program., 2018)

An MDE-based approach for self-adaptive RTES model generation. - Mouna Ben Said; Yessine Hadj Kacem; Mickaël Kerboeuf; Mohamed Abid (Clust. Comput., 2020)

Object Miners: Acquire, Capture and Replay Objects to Track Elusive Bugs. - Steven Costiou; Mickaël Kerboeuf; Clotilde Toullec; Alain Plantec; Stéphane Ducasse (J. Object Technol., 2020)

FaST: An Efficient Framework For Visualizing Large-Scale Time Series. - Manele Aït Habouche; Mickaël Kerboeuf; Goulven Guillou; Jean-Philippe Babau (IEEE Big Data, 2022)

MoDD: A Model-Driven Framework for Data Collection in Drone-Based Systems. - Manele Aït Habouche; Mickaël Kerboeuf; Goulven Guillou; Jean-Philippe Babau (SEAA, 2024)

Machine Learning-Based Estimation Of Wave Direction For Unmanned Surface Vehicles. - Manele Aït Habouche; Mickaël Kerboeuf; Goulven Guillou; Jean-Philippe Babau (CoRR, 2024)