Nombre de documents

33

CV de Mickaël Kerboeuf


Rapport3 documents

  • Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau. Formal framework of recontextualization by means of dependency graphs. [Research Report] Lab-STICC_UBO_CACS_MOCS. 2015. <hal-01140107>
  • Mickaël Kerboeuf, Paola Vallejo, Jean-Philippe Babau. A kernel transformation language for metamodel evolution and reversible model co-evolution. 2013. <hal-00842789>
  • Mickaël Kerboeuf, David Nowak, Jean-Pierre Talpin. The Steam Boiler Controller Problem in Signal-Coq. [Research Report] RR-3773, INRIA. 1999. <inria-00072888>

Article dans une revue6 documents

  • Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf, Mohamed Abid. Model-Based Design of Real-Time Embedded Application Reconfiguration. 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>. <hal-01269794>
  • Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf. Design Pattern for self-adaptive RTE systems monitoring. Studies in Computational Intelligence, 2015, Software Engineering Research, Management and Applications, 578, <10.1007/978-3-319-11265-7_3>. <hal-01107507>
  • Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau. A Model-driven Approach for the Generation of Customizable Model Migrations. 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>. <hal-01269806>
  • Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau. Recontextualisation de modèles par graphes de dépendance. Technique et Science Informatiques, Hermès-Lavoisier, 2015. <hal-01220433>
  • Mouna Ben Said, Yessine Hadj Kacem, Mickaël Kerboeuf, Nader Ben Amor, Mohamed Abid. Design Patterns for Self-Adaptive RTE Systems Specification. International Journal of Reconfigurable Computing, Hindawi Publishing Corporation, 2014, 2014, 2014, Article ID 536362, 21 p. <10.1155/2014/536362>. <hal-01107504>
  • Mickael Kerboeuf, Jean-Pierre Talpin. Encapsulation and Behavioral Inheritance in a Synchronous Model of Computation for Embedded System Services Adaptation. The Journal of Logic and Algebraic Programming, 2005, 63 (2), pp.241-269. <10.1016/j.jlap.2004.05.005>. <hal-00546408>

Communication dans un congrès23 documents

  • Paola Vallejo, Jean-Philippe Babau, Mickaël Kerboeuf. ModifRoundtrip: A Model-Based tool to reuse legacy transformations. ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Oct 2016, Saint Malo, France. 2016, Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016). <hal-01418027>
  • Steven Costiou, Mickaël Kerboeuf, Glenn Cavarlé, Alain Plantec. Lub: A DSL for Dynamic Context Oriented Programming. International Workshop on Smalltalk Technologies (IWST'16), Aug 2016, Prague, Czech Republic. ACM, pp.13, 2016, Proceedings of the 11th Edition of the International Workshop on Smalltalk Technologies. <10.1145/2991041.2991054>. <hal-01418007>
  • Paola Vallejo, Mickaël Kerboeuf, Kevin Martin, Jean-Philippe Babau. Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study. 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. 2015. <hal-01220427>
  • Magdich Amina, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf, Mohamed Abid. Real-Time Design Patterns: Architectural Designs for Automatic Semi-Partitioned and Global Scheduling. Enterprise, Business-Process and Information Systems Modeling, Jun 2015, Stockholm, France. Springer International Publishing, pp.447--460, 2015, Enterprise, Business-Process and Information Systems Modeling: 16th International Conference, BPMDS 2015. <10.1007/978-3-319-19237-6_28>. <hal-01269776>
  • Paola Vallejo, Mickael Kerboeuf, Jean-Philippe Babau. Specification of Adaptable Model Migrations. MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, Feb 2015, Angers, France. SciTePress, 2015. <hal-01128973>
  • 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. IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Jun 2014, Parma, Italy. 2014, <10.1109/WETICE.2014.52>. <hal-01107511>
  • Magdich Amina, Yessine Hadj Kacem, Adel Mahfoudhi, Mickaël Kerboeuf. A UML/MARTE-Based Design Pattern for Semi-partitioned Scheduling Analysis. IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2014), Jun 2014, Parma, Italy. 2014, <10.1109/WETICE.2014.52>. <hal-01107515>
  • Ahmed Ahmed, Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau. CdmCL, a Specific Textual Constraint Language for Common Data Model. 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. 2014, Proceedings of the 14th International Workshop on OCL and Textual Modelling. <hal-01107518>
  • Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau. Modif: Automating data migration for the reuse of legacy tools. 2ème Conférence en IngénieriE du Logiciel (CIEL 2013), Mar 2013, Nancy, France. <hal-00904067>
  • Mouna Ben Said, Yessine Hadj Kacem, Nader Ben Amor, Mickaël Kerboeuf. Fine-grain Adaptation for Real Time Embedded Systems using UML/MARTE Profile. ECSI - European Electronic Chips and Systems design Initiative. 2013 Forum on specification and Design Languages, Sep 2013, Paris, France. FDL, pp.102-108, 2013. <hal-00904059>
  • Paola Vallejo, Mickaël Kerboeuf, Jean-Philippe Babau. Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability. 7th MoDELS workshop on Models and Evolution, Sep 2013, Miami, United States. pp.1, 2013. <hal-00903876>
  • Mickael Kerboeuf, Jean-Philippe Babau, V. Gaudel. A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages. Conférence : 6th MoDELS workshop on Models and Evolution., Oct 2012, Innsbruck, Austria. pp.P.P1-6, 2012. <hal-00745477>
  • Mickael Kerboeuf, Alain Plantec, Jean-Philippe Babau. An experiment of a MDE approach for the design of reusable DSL tools. journées sur l'Ingénierie Dirigée par les Modèles (IDM), Jun 2011, Lille, France. pp.25-30, 2011. <hal-00631307>
  • Mickael Kerboeuf, Jean-Philippe Babau. A DSML for reversible transformations. 11th OOPSLA Workshop on Domain-Specific Modeling, Oct 2011, Portland, United States. pp.1-6, 2011. <hal-00631306>
  • Jean-Philippe Babau, Mickael Kerboeuf. Domain Specific Language Modeling Facilities. 5th MoDELS workshop on Models and Evolution, Oct 2011, Wellington, Nouvelle-Zélande. pp.1-6, 2011. <hal-00632336>
  • Mickael Kerboeuf, Alain Plantec, Frank Singhoff, A. Schach, Pierre Dissaux. Comparison of six ways to extend the scope of Cheddar to AADL v2 with Osate. 5th international workshop on AADL and UML, Mar 2010, United Kingdom. pp.367-372, 2010. <hal-00502111>
  • P. Disseaux, Alain Plantec, Mickael Kerboeuf, Frank Singhoff. AADL design patterns and tools for modelling and performance analysis of real-time systems.. 5th european congress ERTSS Embedded Real-Time Software and System., May 2010, France. 2010. <hal-00661001>
  • Mickael Kerboeuf, Alain Plantec, Vincent Ribaud. Motif pour la métamodélisation: Flot de contrôle. Atelier de IDM07 sur les motifs de métamodélisation, Jan 2007, France. pp.x-y, 2007. <hal-00502123>
  • Alain Plantec, Mickael Kerboeuf, Vincent Ribaud. Motif pour la métamodélisation: Commentaire attribué. Deuxième atelier de IDM07 sur les motifs de métamodélisation, Jan 2007, France. pp.x-y, 2007. <hal-00504322>
  • Mickaël Kerboeuf, Vincent Ribaud. Un aperçu de l'ingénierie du logiciel en 12 leçons de L1 Informatique. Colloque LMD en informatique: Europe et emploi. Montpellier-France, May 2005, Montpellier, France. <hal-01448447>
  • Vincent Ribaud, Philippe Saliou, Mickaël Kerboeuf. MODEL DRIVEN ENGINEERING : TWO APPROACHES THROUGH THE SAME CASE STUDY. Trauner Verlag. 13th Interdisciplinary - Information Management Talks, Sep 2005, Budweis, Czech Republic. IDIMT 2005: 13th Interdisciplinary - Information Management Talks, 2005, <https://www.amazon.de/IDIMT-2005-Interdisciplinary-Information-Management/dp/3854878354>. <hal-01447509>
  • Mickael Kerboeuf, David Nowak, Jean-Pierre Talpin. Formal proof of a polychronous protocol for loosely time-triggered architectures. 5th International Conference on Formal Engineering Methods (ICFEM 2003), Nov 2003, Singapore, Singapore. Springer, pp.359-374, 2003, LNCS vol. 2885. <10.1007/978-3-540-39893-6_21>. <hal-00544516>
  • Mickael Kerboeuf, David Nowak, Jean-Pierre Talpin. Specification and Verification of a Steam-Boiler with Signal-Coq. 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2000), Aug 2000, Portland, Oregon, United States. Springer, pp.356-371, 2000, LNCS vol. 1869. <10.1007/3-540-44659-1_22>. <hal-00544631>

Ouvrage (y compris édition critique et traduction)1 document

  • Mickaël Kerboeuf. Fondements de la programmation orientée objet avec Java 8. Ellipses, 2016, Références sciences, 9782340-014824. <hal-01418081>