| 2021 | FDL | CARES, a framework for CPS simulation : application to autonomous underwater vehicle navigation function. | Loc Salmon, Pierre Yves Pillain, Goulven Guillou, Jean-Philippe Babau |
| 2020 | EUC | An Iterative Approach to Automate the Tuning of Continuous Controller Parameters. | Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau |
| 2020 | MODELSWARD | Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. | Christophe Duhil, Jean-Philippe Babau, Eric Lpicier, Jean-Luc Voirin, Juan F. Navas |
| 2020 | SAC | Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models. | Christophe Duhil, Jean-Philippe Babau, Eric Lpicier, Jean-Luc Voirin, Juan F. Navas |
| 2019 | MODELS | A Model-Driven Approach to Automate Tuning of Continuous Controller Parameters. | Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau |
| 2018 | ISORC | QuaRTOS-DSE: A Tool for Design Space Exploration of Embedded Real-Time System. | Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau |
| 2018 | MODELS | Robotic system testing with AMSA framework. | Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau |
| 2016 | FDL | Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. | Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi |
| 2016 | MODELS | ModifRoundtrip: A Model-Based tool to reuse legacy transformations. | Paola Vallejo, Jean-Philippe Babau, Mickal Kerboeuf |
| 2016 | MODELSWARD | ImocaGen: A Model-based Code Generator for Embedded Systems Tuning. | Goulven Guillou, Jean-Philippe Babau |
| 2015 | MODELS | Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study. | Paola Vallejo, Mickal Kerboeuf, Kevin J. M. Martin, Jean-Philippe Babau |
| 2015 | MODELSWARD | Specification of Adaptable Model Migrations. | Paola Vallejo, Mickal Kerboeuf, Jean-Philippe Babau |
| 2015 | MODELSWARD | A Model-driven Approach for the Generation of Customizable Model Migrations. | Paola Vallejo, Mickal Kerboeuf, Jean-Philippe Babau |
| 2014 | EUC | Dynamic Server Configuration for Multiple Streaming in a Home Network. | Laurent Lemarchand, Isaac Armah Mensah, Jean-Philippe Babau |
| 2014 | MODELS | CdmCL, a Specific Textual Constraint Language for Common Data Model. | Ahmed Ahmed, Paola Vallejo, Mickal Kerboeuf, Jean-Philippe Babau |
| 2013 | FDL | Platform based design. | Jean-Philippe Babau, Martin Radetzki |
| 2013 | MODELS | Specification of a Legacy Tool by Means of a Dependency Graph to Improve its Reusability. | Paola Vallejo, Mickal Kerboeuf, Jean-Philippe Babau |
| 2012 | MODELS | A two-steps model transformation to extend the scope of an analysis framework to standard modeling languages. | Mickal Kerboeuf, Jean-Philippe Babau, Vincent Gaudel |
| 2012 | MODELS | Real-time design models to RTOS-specific models refinement verification. | Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid |
| 2012 | RTCSA | Optimizing the Deployment of Distributed Real-Time Embedded Applications. | Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Laurent Lemarchand |
| 2011 | AINA | A Network Resource Management Framework for Multimedia Applications Distributed in Heterogeneous Home Networks. | Maxime Louvel, Pierre Bonhomme, Jean-Philippe Babau, Alain Plantec |
| 2011 | EUC | Ensuring QoS of Multimedia Applications in Heterogeneous Home Networks: The CPU Use Case. | Maxime Louvel, Julien Tous, Jean-Philippe Babau, Alain Plantec |
| 2011 | OOPSLA | A DSML for reversible transformations. | Mickal Kerboeuf, Jean-Philippe Babau |
| 2010 | ETFA | Quantity of Resource aggregation for heterogeneous resource reservation for multimedia applications. | Maxime Louvel, Jacques Pulou, Alain Plantec, Jean-Philippe Babau |
| 2010 | GPCE | A component-based run-time evolution infrastructure for resource-constrained embedded systems. | Juan F. Navas, Jean-Philippe Babau, Jacques Pulou |
| 2009 | AICCSA | Quantity of resource properties expression and runtime assurance for embedded systems. | Laure Gonnord, Jean-Philippe Babau |
| 2009 | COMPSAC | Optimizing Component-Based Embedded Software. | Olivier Lobry, Juan F. Navas, Jean-Philippe Babau |
| 2008 | PIMRC | Detecting wormhole attacks in wireless networks using local neighborhood information. | Wassim Znaidi, Marine Minier, Jean-Philippe Babau |
| 2005 | FDL | Formal Evaluation of Quality of Service for Data Acquisition. | Hedia B. Ben, Fabrice Jumel, Jean-Philippe Babau |
| 2005 | SAC | An evaluation of Qinna, a component-based QoS architecture for embedded systems. | Jean-Charles Tournier, Jean-Philippe Babau, Vincent Olive |
| 2005 | RTCSA | A MDA Approach for Systems Dedicated to Process Control. | Julien DeAntoni, Jean-Philippe Babau |
| 2004 | FDL | Temporal validation of Real Time multitasking applications based on communicating timed automata. | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz |
| 1996 | ECRTS | Extension of Scheduling Algorithms in Case of Conditional or Parametric Synchronisation Relationships. | Jean-Philippe Babau, Francis Cottet |
| 1996 | ICECCS | An Iterative Method of Task Temporal Parameter Adjustment in Hard Real-Time Systems. | Francis Cottet, Jean-Philippe Babau |