Juan F. Navas

According to our database, Juan F. Navas authored at least 9 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

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

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2013

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

2012

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

2010

A component-based run-time evolution infrastructure for resource-constrained embedded systems.

Juan F. Navas, Jean-Philippe Babau, Jacques Pulou

Proceedings of the Generative Programming And Component Engineering, 2010

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, Stéphane Seyvoz, Julien Tous, Thomas Watteyne

Proceedings of the International Conference on Embedded Software and Systems, 2009

Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development.

Juan F. Navas, Jean-Philippe Babau

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Optimizing Component-Based Embedded Software.

Olivier Lobry, Juan F. Navas, Jean-Philippe Babau

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Component-Based Real-Time Operating System for Embedded Applications.

Frédéric Loiret, Juan F. Navas, Jean-Philippe Babau, Olivier Lobry

Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009