Mickaël Kerboeuf

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