2024
Conference papers
- titre
- MoDD: A Model-Driven Framework For Data Collection In Drone-Based Systems
- auteur
- Manele Ait Habouche, Mickaël Kerboeuf, Goulven Guillou, Jean-Philippe Babau
- article
- 50th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2024), Aug 2024, Paris, France. ⟨10.1109/SEAA64295.2024.00013⟩
- Accès au texte intégral et bibtex
-
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
-
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
-
Books
- titre
- Algorithmique et programmation objet
- auteur
- Mickaël Kerboeuf
- article
- Ellipses, 2020, Références sciences, 9782340037984
- Accès au 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
-
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
-
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
-
- 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
-
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
-
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
-
- titre
- Unanticipated Debugging with Dynamic Layers
- auteur
- Steven Costiou, Mickaël Kerboeuf, Marcus Denker, Alain Plantec
- article
- LASSY 2017 Live Adaptation of Software SYstems, Apr 2017, Brussels, Belgium. pp.6, ⟨10.1145/3079368.3079391⟩
- Accès au texte intégral et 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
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
-
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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
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
-
2011
Conference papers
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
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
-
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
-
- 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
-
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
-
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
-
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
-