Juan F. Navas

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models.
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.
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.
Sci. Comput. Program., 2013

2012
Flex-eWare: a flexible model driven solution for designing and implementing embedded distributed systems.
Softw. Pract. Exp., 2012

2010
A component-based run-time evolution infrastructure for resource-constrained embedded systems.
Proceedings of the Generative Programming And Component Engineering, 2010

2009
Think: View-Based Support of Non-functional Properties in Embedded Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Efficient and Adapted Component-Based Strategies for Embedded Software Device Drivers Development.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Optimizing Component-Based Embedded Software.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Component-Based Real-Time Operating System for Embedded Applications.
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009


  Loading...