Publications

 

2020

Books

Algorithmique et programmation objet
Mickaël Kerboeuf
Ellipses, 2020, Références sciences, 9782340037984
BibTex

2019

Journal articles

An MDE-based approach for self-adaptive RTES model generation
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Mohamed Abid
Cluster Computing, Springer Verlag, 2019, ⟨10.1007/s10586-019-02968-4⟩
BibTex

2018

Journal articles

A design pattern-based approach for automatic choice of semi-partitioned and global scheduling algorithms
Magdich Amina, Yessine Hadj Kacem, Mickaël Kerboeuf, Adel Mahfoudhi, Mohamed Abid
Information and Software Technology, Elsevier, 2018, Volume 97, pp.83-98
BibTex

Conference papers

Back-in-time inspectors: an implementation with Collectors
Steven Costiou, Clotilde Toullec, Mickael Kerboeuf, Alain Plantec
International Workshop on Smalltalk Technologies, Sep 2018, Cagliari, Italy
https://hal.univ-brest.fr/hal-02320434/file/collectors-bit-replay.pdf BibTex
Collectors
Steven Costiou, Mickael Kerboeuf, Alain Plantec, Marcus Denker
Programming Experience 2018 (PX'18), Apr 2018, Nice, France. pp.9, ⟨10.1145/3191697.3214335⟩
https://hal.univ-brest.fr/hal-01829183/file/collectors.pdf BibTex

2017

Journal articles

Lub: A Pattern for Fine Grained Behavior Adaptation at Runtime
Steven Costiou, Mickael Kerboeuf, Glenn Cavarlé, Alain Plantec
Science of Computer Programming, Elsevier, 2017, ⟨10.1016/j.scico.2017.09.006⟩
BibTex

Conference papers

Debugging Cyber-Physical Systems with Pharo
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, ESUG, Sep 2017, Maribor, Slovenia. pp.8:1--8:10, ⟨10.1145/3139903.3139913⟩
https://hal.archives-ouvertes.fr/hal-01585349/file/Mar17a-IWST-DebuggingIoT.pdf BibTex
Unanticipated Debugging with Dynamic Layers
Steven Costiou, Mickaël Kerboeuf, Marcus Denker, Alain Plantec
LASSY 2017 Live Adaptation of Software SYstems, Apr 2017, Brussels, Belgium. pp.6, ⟨10.1145/3079368.3079391⟩
https://hal.univ-brest.fr/hal-01591077/file/dynamic-layers-final.pdf BibTex

2016

Conference papers

ModifRoundtrip: A Model-Based tool to reuse legacy transformations
Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint Malo, France
BibTex
Lub: A DSL for Dynamic Context Oriented Programming
Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec
International Workshop on Smalltalk Technologies (IWST'16), Aug 2016, Prague, Czech Republic. pp.13, ⟨10.1145/2991041.2991054⟩
BibTex

Books

Fondements de la programmation orientée objet avec Java 8
Mickaël Kerboeuf
Ellipses, 2016, Références sciences, 9782340-014824
BibTex

2015

Journal articles

Recontextualisation de modèles par graphes de dépendance
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
Technique et Science Informatiques, Hermès-Lavoisier, 2015
BibTex
Model-Based Design of Real-Time Embedded Application Reconfiguration
Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid
Lecture Notes in Electrical Engineering, Springer, 2015, Languages, Design Methods, and Tools for Electronic System Design, 311, ⟨10.1007/978-3-319-06317-1_13⟩
BibTex
Design Pattern for self-adaptive RTE systems monitoring
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf
Studies in Computational Intelligence, 2015, Software Engineering Research, Management and Applications, 578, ⟨10.1007/978-3-319-11265-7_3⟩
BibTex
A Model-driven Approach for the Generation of Customizable Model Migrations
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
Communications in Computer and Information Science, Springer Verlag, 2015, Model-Driven Engineering and Software Development: Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers, 580, pp.67--81. ⟨10.1007/978-3-319-27869-8_4⟩
BibTex

Conference papers

Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study
Paola Vallejo, Mickaël Kerboeuf, Kevin Martin, Jean-Philippe Babau
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada
BibTex
Real-Time Design Patterns: Architectural Designs for Automatic Semi-Partitioned and Global Scheduling
Magdich Amina, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf, Mohamed Abid
Enterprise, Business-Process and Information Systems Modeling, Jun 2015, Stockholm, France. pp.447--460, ⟨10.1007/978-3-319-19237-6_28⟩
BibTex
Specification of Adaptable Model Migrations
Paola Vallejo, Mickael Kerboeuf, Jean-Philippe Babau
MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, Feb 2015, Angers, France
BibTex

Reports

Formal framework of recontextualization by means of dependency graphs
Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau
[Research Report] Lab-STICC_UBO_CACS_MOCS. 2015
https://hal.univ-brest.fr/hal-01140107/file/ModifKeysGraph.pdf BibTex

2014

Journal articles

Design Patterns for Self-Adaptive RTE Systems Specification
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Nader Ben Amor, Mohamed Abid
International Journal of Reconfigurable Computing, Hindawi Publishing Corporation, 2014, 2014, 2014, Article ID 536362, 21 p. ⟨10.1155/2014/536362⟩
BibTex

Conference papers

CdmCL, a Specific Textual Constraint Language for Common Data Model
Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
International Workshop on OCL and Textual Modelling, co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain
BibTex
A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis
Magdich Amina, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf
IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Jun 2014, Parma, Italy. ⟨10.1109/WETICE.2014.52⟩
BibTex
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
IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Jun 2014, Parma, Italy. ⟨10.1109/WETICE.2014.52⟩
BibTex

2013

Conference papers

Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
7th MoDELS workshop on Models and Evolution, Sep 2013, Miami, United States. pp.1
BibTex
Fine-grain Adaptation for Real Time Embedded Systems using UML/MARTE Profile
Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf
2013 Forum on specification and Design Languages, Sep 2013, Paris, France. pp.102-108
BibTex
Modif: Automating data migration for the reuse of legacy tools
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
2ème Conférence en IngénieriE du Logiciel (CIEL 2013), Mar 2013, Nancy, France
BibTex

Reports

A kernel transformation language for metamodel evolution and reversible model co-evolution
Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau
2013
https://hal.univ-brest.fr/hal-00842789/file/microdif.pdf BibTex

2012

Conference papers

A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages
Mickael Kerboeuf, Jean-Philippe Babau, V. Gaudel
Conférence : 6th MoDELS workshop on Models and Evolution., Oct 2012, Innsbruck, Austria. pp.P.P1-6
BibTex

2011

Conference papers

A DSML for reversible transformations
Mickael Kerboeuf, Jean-Philippe Babau
11th OOPSLA Workshop on Domain-Specific Modeling, Oct 2011, Portland, United States. pp.1-6
BibTex
Domain Specific Language Modeling Facilities
Jean-Philippe Babau, Mickael Kerboeuf
5th MoDELS workshop on Models and Evolution, Oct 2011, Wellington, Nouvelle-Zélande. pp.1-6
BibTex
An experiment of a MDE approach for the design of reusable DSL tools
Mickael Kerboeuf, Alain Plantec, Jean-Philippe Babau
journées sur l'Ingénierie Dirigée par les Modèles (IDM), Jun 2011, Lille, France. pp.25-30
BibTex

2010

Conference papers

AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systems
Pierre Dissaux, Jérôme Legrand, Alain Plantec, Mickael Kerboeuf, Frank Singhoff
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France
https://hal.archives-ouvertes.fr/hal-02264385/file/2C-1.pdf BibTex
AADL design patterns and tools for modelling and performance analysis of real-time systems.
P. Disseaux, Alain Plantec, Mickael Kerboeuf, Frank Singhoff
5th european congress ERTSS Embedded Real-Time Software and System., May 2010, France
BibTex
Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate
Mickael Kerboeuf, Alain Plantec, Frank Singhoff, A. Schach, Pierre Dissaux
5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372
BibTex

2009

Journal articles

Validate, Simulate and Implement ARINC653 Systems using the AADL
Julien Delange, Laurent Pautet, Alain Plantec, Mickael Kerboeuf, Frank Singhoff, Fabrice Kordon
ACM SIGAda Ada Letters, 2009, 29 (3), pp.31-44. ⟨10.1145/1653616.1647435⟩
BibTex

2007

Conference papers

Motif pour la métamodélisation: Flot de contrôle
Mickael Kerboeuf, Alain Plantec, Vincent Ribaud
Atelier de IDM07 sur les motifs de métamodélisation, Jan 2007, France. pp.x-y
https://hal.univ-brest.fr/hal-00502123/file/Motif_pour_la_metamodelisation_Flot_de_controle.pdf BibTex
Motif pour la métamodélisation: Commentaire attribué
Alain Plantec, Mickael Kerboeuf, Vincent Ribaud
Deuxième atelier de IDM07 sur les motifs de métamodélisation, Jan 2007, France. pp.x-y
https://hal.univ-brest.fr/hal-00504322/file/MP07-CommentaireAttribue.pdf BibTex

2005

Journal articles

Encapsulation and Behavioral Inheritance in a Synchronous Model of Computation for Embedded System Services Adaptation
Mickael Kerboeuf, Jean-Pierre Talpin
Journal of Logic and Algebraic Programming, Elsevier, 2005, 63 (2), pp.241-269. ⟨10.1016/j.jlap.2004.05.005⟩
https://hal.archives-ouvertes.fr/hal-00546408/file/jlap04.pdf BibTex

Conference papers

MODEL DRIVEN ENGINEERING : TWO APPROACHES THROUGH THE SAME CASE STUDY
Vincent Ribaud, Philippe Saliou, Mickaël Kerboeuf
13th Interdisciplinary - Information Management Talks, Sep 2005, Budweis, Czech Republic
https://hal.univ-brest.fr/hal-01447509/file/ModelDrivenEngineering2ApproachesThroughTheSameCaseStudy.d%E2%80%A6.pdf BibTex
Un aperçu de l'ingénierie du logiciel en 12 leçons de L1 Informatique
Mickaël Kerboeuf, Vincent Ribaud
Colloque LMD en informatique: Europe et emploi. Montpellier-France, May 2005, Montpellier, France
https://hal.univ-brest.fr/hal-01448447/file/UnApercuDeLIngenierieDuLogicielEn12Lecons.pdf BibTex

2003

Conference papers

Formal proof of a polychronous protocol for loosely time-triggered architectures
Mickael Kerboeuf, David Nowak, Jean-Pierre Talpin
5th International Conference on Formal Engineering Methods (ICFEM 2003), Nov 2003, Singapore, Singapore. pp.359-374, ⟨10.1007/978-3-540-39893-6_21⟩
https://hal.archives-ouvertes.fr/hal-00544516/file/ICFEM-03.pdf BibTex

2000

Conference papers

Specification and Verification of a Steam-Boiler with Signal-Coq
Mickael Kerboeuf, David Nowak, Jean-Pierre Talpin
13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2000), Aug 2000, Portland, Oregon, United States. pp.356-371, ⟨10.1007/3-540-44659-1_22⟩
https://hal.archives-ouvertes.fr/hal-00544631/file/paper_TPHOLs.pdf BibTex

1999

Reports

The Steam Boiler Controller Problem in Signal-Coq
Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
[Research Report] RR-3773, INRIA. 1999
https://hal.inria.fr/inria-00072888/file/RR-3773.pdf BibTex