Publications HAL

2022

Conference papers

titre
FaST: An Efficient Framework For Visualizing Large-Scale Time Series
auteur
Manele Ait Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau
article
2022 IEEE International Conference on Big Data (Big Data), Dec 2022, Osaka, Japan. pp.3745-3754, ⟨10.1109/BigData55660.2022.10020317⟩
Accès au bibtex
BibTex

2020

Journal articles

titre
Object Miners: Acquire, Capture and Replay Objects to Track Elusive Bugs.
auteur
Steven Costiou, Mickaël Kerboeuf, Clotilde Toullec, Alain Plantec, Sté́phane Ducasse
article
The Journal of Object Technology, 2020, 19 (1), pp.1:1. ⟨10.5381/jot.2020.19.1.a1⟩
Accès au bibtex
BibTex

Books

titre
Algorithmique et programmation objet
auteur
Mickaël Kerboeuf
article
Ellipses, 2020, Références sciences, 9782340037984
Accès au bibtex
BibTex

2019

Journal articles

titre
An MDE-based approach for self-adaptive RTES model generation
auteur
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Mohamed Abid
article
Cluster Computing, 2019, ⟨10.1007/s10586-019-02968-4⟩
Accès au bibtex
BibTex

2018

Journal articles

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

Conference papers

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

2017

Journal articles

titre
Lub: A Pattern for Fine Grained Behavior Adaptation at Runtime
auteur
Steven Costiou, Mickael Kerboeuf, Glenn Cavarlé, Alain Plantec
article
Science of Computer Programming, 2017, ⟨10.1016/j.scico.2017.09.006⟩
Accès au bibtex
BibTex

Conference papers

titre
Debugging Cyber-Physical Systems with Pharo
auteur
Matteo Marra, Elisa Gonzalez Boix, Steven Costiou, Mickaël Kerboeuf, Alain Plantec, Guillermo Polito, Stéphane Ducasse
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01585349/file/Mar17a-IWST-DebuggingIoT.pdf BibTex

2016

Conference papers

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

Books

titre
Fondements de la programmation orientée objet avec Java 8
auteur
Mickaël Kerboeuf
article
Ellipses, 2016, Références sciences, 9782340-014824
Accès au bibtex
BibTex

2015

Journal articles

titre
Recontextualisation de modèles par graphes de dépendance
auteur
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015
Accès au bibtex
BibTex
titre
Design Pattern for self-adaptive RTE systems monitoring
auteur
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf
article
Studies in Computational Intelligence, 2015, Software Engineering Research, Management and Applications, 578, ⟨10.1007/978-3-319-11265-7_3⟩
Accès au bibtex
BibTex
titre
Model-Based Design of Real-Time Embedded Application Reconfiguration
auteur
Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid
article
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⟩
Accès au bibtex
BibTex
titre
A Model-driven Approach for the Generation of Customizable Model Migrations
auteur
Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
article
Communications in Computer and Information Science, 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⟩
Accès au bibtex
BibTex

Conference papers

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

Reports

titre
Formal framework of recontextualization by means of dependency graphs
auteur
Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau
article
[Research Report] Lab-STICC_UBO_CACS_MOCS. 2015
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-01140107/file/ModifKeysGraph.pdf BibTex

2014

Journal articles

titre
Design Patterns for Self-Adaptive RTE Systems Specification
auteur
Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Nader Ben Amor, Mohamed Abid
article
International Journal of Reconfigurable Computing, 2014, 2014, 2014, Article ID 536362, 21 p. ⟨10.1155/2014/536362⟩
Accès au bibtex
BibTex

Conference papers

titre
CdmCL, a Specific Textual Constraint Language for Common Data Model
auteur
Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau
article
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
Accès au bibtex
BibTex
titre
A Model Driven Approach for the Development of Fine-Grain Self-Adaptive Multitask and Networked RTE Systems
auteur
Mouna Ben Said, Nader Ben Amor, Yessine Hadj Kacem, Mickaël Kerboeuf, Mohamed Abid
article
IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Jun 2014, Parma, Italy. ⟨10.1109/WETICE.2014.52⟩
Accès au bibtex
BibTex
titre
A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis
auteur
Magdich Amina, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf
article
IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Jun 2014, Parma, Italy. ⟨10.1109/WETICE.2014.52⟩
Accès au bibtex
BibTex

2013

Conference papers

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

Reports

titre
A kernel transformation language for metamodel evolution and reversible model co-evolution
auteur
Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau
article
2013
Accès au texte intégral et bibtex
https://hal.univ-brest.fr/hal-00842789/file/microdif.pdf BibTex

2012

Conference papers

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

2011

Conference papers

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

2010

Conference papers

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

2009

Journal articles

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

2007

Conference papers

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

2005

Journal articles

titre
Encapsulation and Behavioral Inheritance in a Synchronous Model of Computation for Embedded System Services Adaptation
auteur
Mickael Kerboeuf, Jean-Pierre Talpin
article
Journal of Logic and Algebraic Programming, 2005, 63 (2), pp.241-269. ⟨10.1016/j.jlap.2004.05.005⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00546408/file/jlap04.pdf BibTex

Conference papers

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

2003

Conference papers

titre
Formal proof of a polychronous protocol for loosely time-triggered architectures
auteur
Mickael Kerboeuf, David Nowak, Jean-Pierre Talpin
article
5th International Conference on Formal Engineering Methods (ICFEM 2003), Nov 2003, Singapore, Singapore. pp.359-374, ⟨10.1007/978-3-540-39893-6_21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00544516/file/ICFEM-03.pdf BibTex

2000

Conference papers

titre
Specification and Verification of a Steam-Boiler with Signal-Coq
auteur
Mickael Kerboeuf, David Nowak, Jean-Pierre Talpin
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00544631/file/paper_TPHOLs.pdf BibTex

1999

Reports

titre
The Steam Boiler Controller Problem in Signal-Coq
auteur
Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin
article
[Research Report] RR-3773, INRIA. 1999
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00072888/file/RR-3773.pdf BibTex