Mickaël Kerboeuf

According to our database, Mickaël Kerboeuf authored at least 29 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

FaST: An Efficient Framework For Visualizing Large-Scale Time Series.

Manele Ait Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau

Proceedings of the IEEE International Conference on Big Data, 2022

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

An MDE-based approach for self-adaptive RTES model generation.

Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Mohamed Abid

Clust. Comput., 2020

2018

Lub: A pattern for fine grained behavior adaptation at runtime.

Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec

Sci. Comput. Program., 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

Collectors.

Steven Costiou, Mickaël Kerboeuf, Alain Plantec, Marcus Denker

Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018

2017

Unanticipated Debugging with Dynamic Layers.

Steven Costiou, Mickaël Kerboeuf, Marcus Denker, Alain Plantec

Proceedings of the Companion to the first International Conference on the Art, 2017

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

Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies, 2017

2016

ModifRoundtrip: A Model-Based tool to reuse legacy transformations.

Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf

Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

Lub: a DSL for Dynamic Context Oriented Programming.

Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec

Proceedings of the 11th edition of the International Workshop on Smalltalk Technologies, 2016

2015

Formalisation de la recontextualisation de modèles par graphe de dépendance.

Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau

Tech. Sci. Informatiques, 2015

A Model-driven Approach for the Generation of Customizable Model Migrations.

Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau

Proceedings of the Model-Driven Engineering and Software Development, 2015

Specification of Adaptable Model Migrations.

Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau

Proceedings of the MODELSWARD 2015, 2015

Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study.

Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

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

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2015

2014

Design Pattern for Self-adaptive RTE Systems Monitoring.

Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Nader Ben Amor, Mohamed Abid

Proceedings of the Software Engineering Research, 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

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

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis.

Amina Magdich, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf

Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

CdmCL, a Specific Textual Constraint Language for Common Data Model.

Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

2013

Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability.

Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau

Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

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

Proceedings of the 2013 Forum on specification and Design Languages, 2013

2012

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

Proceedings of the 6th International Workshop on Models and Evolution, 2012

2011

A DSML for reversible transformations.

Mickaël Kerboeuf, Jean-Philippe Babau

Proceedings of the SPLASH'11 Workshops, 2011

2010

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

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009

Validate, simulate, and implement ARINC653 systems using the AADL.

Julien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon

Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009

2005

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

2003

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures.

Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin

Proceedings of the Formal Methods and Software Engineering, 2003

2000

Specification and Verification of a Steam-Boiler with Signal-Coq.

Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000