![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Mickaël Kerboeuf
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c22]Manele Ait Habouche
, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau:
FaST: An Efficient Framework For Visualizing Large-Scale Time Series. IEEE Big Data 2022: 3745-3754 - 2020
- [j7]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): 925-951 (2020) - [j6]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): 1:1-32 (2020)
2010 – 2019
- 2018
- [j5]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: 83-98 (2018) - [j4]Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec:
Lub: A pattern for fine grained behavior adaptation at runtime. Sci. Comput. Program. 161: 149-171 (2018) - [c21]Steven Costiou, Mickaël Kerboeuf, Alain Plantec, Marcus Denker:
Collectors. Programming 2018: 144-152 - 2017
- [c20]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: 8:1-8:10 - [c19]Steven Costiou, Mickaël Kerboeuf, Marcus Denker, Alain Plantec:
Unanticipated Debugging with Dynamic Layers. Programming 2017: 14:1-14:6 - 2016
- [c18]Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec:
Lub: a DSL for Dynamic Context Oriented Programming. IWST 2016: 13 - [c17]Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf:
ModifRoundtrip: A Model-Based tool to reuse legacy transformations. D&P@MoDELS 2016: 72-79 - 2015
- [j3]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): 637-666 (2015) - [c16]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: 447-460 - [c15]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: 358-367 - [c14]Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau:
Specification of Adaptable Model Migrations. MODELSWARD 2015: 32-39 - [c13]Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau:
A Model-driven Approach for the Generation of Customizable Model Migrations. MODELSWARD (Revised Selected Papers) 2015: 67-81 - 2014
- [j2]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: 536362:1-536362:21 (2014) - [c12]Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau:
CdmCL, a Specific Textual Constraint Language for Common Data Model. OCL@MoDELS 2014: 63-72 - [c11]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: 27-32 - [c10]Amina Magdich
, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf:
A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. WETICE 2014: 300-305 - [c9]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: 27-41 - 2013
- [c8]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: 1-8 - [c7]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: 80-87 - 2012
- [c6]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: 9-14 - 2011
- [c5]Mickaël Kerboeuf, Jean-Philippe Babau:
A DSML for reversible transformations. SPLASH Workshops 2011: 33-38 - 2010
- [c4]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: 367-372
2000 – 2009
- 2009
- [c3]Julien Delange
, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon:
Validate, simulate, and implement ARINC653 systems using the AADL. SIGAda 2009: 31-44 - 2005
- [j1]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): 241-269 (2005) - 2003
- [c2]Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin:
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures. ICFEM 2003: 359-374 - 2000
- [c1]Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin:
Specification and Verification of a Steam-Boiler with Signal-Coq. TPHOLs 2000: 356-371
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint