Juan F. Navas

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 2

Top Topics

Embedded Real Time Systems

Accurate Models

Replicated Data

Top Venues

Sci. Comput. Program.

Softw. Pract. Exp.

Publications

Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas
Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink. MODELSWARD (2020)
Christophe Duhil, Jean-Philippe Babau, Eric Lépicier, Jean-Luc Voirin, Juan F. Navas
Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models. SAC (2020)
Juan F. Navas, Jean-Philippe Babau, Jacques Pulou
Reconciling run-time evolution and resource-constrained embedded systems through a component-based development framework. Sci. Comput. Program. 78 (8) (2013)
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
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems. Softw. Pract. Exp. 42 (12) (2012)
Juan F. Navas, Jean-Philippe Babau, Jacques Pulou
A component-based run-time evolution infrastructure for resource-constrained embedded systems. GPCE (2010)
Olivier Lobry, Juan F. Navas, Jean-Philippe Babau
Optimizing Component-Based Embedded Software. COMPSAC (2) (2009)
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, Stéphane Seyvoz, Julien Tous, Thomas Watteyne
Think: View-Based Support of Non-functional Properties in Embedded Systems. ICESS (2009)
Frédéric Loiret, Juan F. Navas, Jean-Philippe Babau, Olivier Lobry
Component-Based Real-Time Operating System for Embedded Applications. CBSE (2009)
Juan F. Navas, Jean-Philippe Babau
Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development. CSE (2) (2009)