Component-Based Real-Time Operating System for Embedded Applications. - Frédéric Loiret; Juan F. Navas; Jean-Philippe Babau; Olivier Lobry (CBSE, 2009)

Optimizing Component-Based Embedded Software. - Olivier Lobry; Juan F. Navas; Jean-Philippe Babau (COMPSAC (2), 2009)

Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development. - Juan F. Navas; Jean-Philippe Babau (CSE (2), 2009)

Think: View-Based Support of Non-functional Properties in Embedded Systems. - Matthieu Anne; Ruan He; Tahar Jarboui; Marc Lacoste; Olivier Lobry; Guirec Lorant; Maxime Louvel; Juan F. Navas; Vincent Olive; Juraj Polakovic; Marc Poulhiès; Jacques Pulou; et al. (ICESS, 2009)

A component-based run-time evolution infrastructure for resource-constrained embedded systems. - Juan F. Navas; Jean-Philippe Babau; Jacques Pulou (GPCE, 2010)

Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. - Mathieu Jan; Christophe Jouvray; Fabrice Kordon; Antonio Kung; Jimmy Lalande; Frédéric Loiret; Juan F. Navas; Laurent Pautet; Jacques Pulou; Ansgar Radermacher; Lionel Seinturier (Softw. Pract. Exp., 2012)

Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework. - Juan F. Navas; Jean-Philippe Babau; Jacques Pulou (Sci. Comput. Program., 2013)

Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. - Christophe Duhil; Jean-Philippe Babau; Eric Lépicier; Jean-Luc Voirin; Juan F. Navas (MODELSWARD, 2020)

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 Lépicier; Jean-Luc Voirin; Juan F. Navas (SAC, 2020)