Mickaël Kerboeuf

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 15

Top Topics

Oriented Programming

Design Patterns

Real Time Embedded Systems

Top Venues

Publications

Manele Ait Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau
FaST: An Efficient Framework For Visualizing Large-Scale Time Series. Big Data (2022)
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Mohamed Abid
An MDE-based approach for self-adaptive RTES model generation. Clust. Comput. 23 (2) (2020)
Steven Costiou, Mickaël Kerboeuf, Clotilde Toullec, Alain Plantec, Stéphane Ducasse
Object Miners: Acquire, Capture and Replay Objects to Track Elusive Bugs. J. Object Technol. 19 (1) (2020)
Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec
Lub: A pattern for fine grained behavior adaptation at runtime. Sci. Comput. Program. 161 (2018)
Steven Costiou, Mickaël Kerboeuf, Alain Plantec, Marcus Denker
Collectors. Programming (2018)
Amina Magdich, Yessine Hadj Kacem, Mickaël Kerboeuf, Adel Mahfoudhi, Mohamed Abid
A design pattern-based approach for automatic choice of semi-partitioned and global scheduling algorithms. Inf. Softw. Technol. 97 (2018)
Matteo Marra, Elisa Gonzalez Boix, Steven Costiou, Mickaël Kerboeuf, Alain Plantec, Guillermo Polito, Stéphane Ducasse
Debugging Cyber-Physical Systems with Pharo: An Experience Report. IWST (2017)
Steven Costiou, Mickaël Kerboeuf, Marcus Denker, Alain Plantec
Unanticipated Debugging with Dynamic Layers. Programming (2017)
Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf
ModifRoundtrip: A Model-Based tool to reuse legacy transformations. D&P@MoDELS (2016)
Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec
Lub: a DSL for Dynamic Context Oriented Programming. IWST (2016)
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
A Model-driven Approach for the Generation of Customizable Model Migrations. MODELSWARD (Revised Selected Papers) (2015)
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
Formalisation de la recontextualisation de modèles par graphe de dépendance. Tech. Sci. Informatiques 34 (6) (2015)
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
Specification of Adaptable Model Migrations. MODELSWARD (2015)
Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau
Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study. MoDELS (2015)
Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf, Mohamed Abid
Real-Time Design Patterns: Architectural Designs for Automatic Semi-Partitioned and Global Scheduling. BMMDS/EMMSAD (2015)
Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
CdmCL, a Specific Textual Constraint Language for Common Data Model. OCL@MoDELS (2014)
Mouna Ben Said, Nader Ben Amor, Yessine Hadj Kacem, Mickaël Kerboeuf, Mohamed Abid
A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE Systems. WETICE (2014)
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Nader Ben Amor, Mohamed Abid
Design Pattern for Self-adaptive RTE Systems Monitoring. Software Engineering Research, Management and Applications (2014)
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Nader Ben Amor, Mohamed Abid
Design Patterns for Self-Adaptive RTE Systems Specification. Int. J. Reconfigurable Comput. 2014 (2014)
Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf
A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. WETICE (2014)
Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid
Fine-grain adaptation for real time embedded systems using UML/MARTE profile. FDL (2013)
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability. ME@MoDELS (2013)
Mickaël Kerboeuf, Jean-Philippe Babau, Vincent Gaudel
A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages. ME@MoDELS (2012)
Mickaël Kerboeuf, Jean-Philippe Babau
A DSML for reversible transformations. SPLASH Workshops (2011)
Mickaël Kerboeuf, Alain Plantec, Frank Singhoff, Arnaud Schach, Pierre Dissaux
Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate. ICECCS (2010)
Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon
Validate, simulate, and implement ARINC653 systems using the AADL. SIGAda (2009)
Mickaël Kerboeuf, Jean-Pierre Talpin
Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation. J. Log. Algebraic Methods Program. 63 (2) (2005)
Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM (2003)
Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs (2000)