BibTeX records: Juan F. Navas

• > Home > Persons > Juan F. Navas

@inproceedings{DBLP:conf/modelsward/DuhilBLVN20,
  author       = {Christophe Duhil and
                  Jean{-}Philippe Babau and
                  Eric L{\'{e}}picier and
                  Jean{-}Luc Voirin and
                  Juan F. Navas},
  editor       = {Slimane Hammoudi and
                  Lu{\'{\i}}s Ferreira Pires and
                  Bran Selic},
  title        = {Chaining Model Transformations for System Model Verification: Application
                  to Verify Capella Model with Simulink},
  booktitle    = {Proceedings of the 8th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
                  25-27, 2020},
  pages        = {279--286},
  publisher    = {{SCITEPRESS}},
  year         = {2020},
  url          = {https://doi.org/10.5220/0008902302790286},
  doi          = {10.5220/0008902302790286},
  timestamp    = {Tue, 06 Jun 2023 14:58:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/DuhilBLVN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/DuhilBLVN20,
  author       = {Christophe Duhil and
                  Jean{-}Philippe Babau and
                  Eric L{\'{e}}picier and
                  Jean{-}Luc Voirin and
                  Juan F. Navas},
  editor       = {Chih{-}Cheng Hung and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Dongwan Shin and
                  Alessio Bechini},
  title        = {Chaining model transformations to develop a system model verification
                  tool: application to capella state machines and data flows models},
  booktitle    = {{SAC} '20: The 35th {ACM/SIGAPP} Symposium on Applied Computing, online
                  event, [Brno, Czech Republic], March 30 - April 3, 2020},
  pages        = {1654--1657},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3341105.3374093},
  doi          = {10.1145/3341105.3374093},
  timestamp    = {Thu, 02 Apr 2020 17:08:04 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/DuhilBLVN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NavasBP13,
  author       = {Juan F. Navas and
                  Jean{-}Philippe Babau and
                  Jacques Pulou},
  title        = {Reconciling run-time evolution and resource-constrained embedded systems
                  through a component-based development framework},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {8},
  pages        = {1073--1098},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.scico.2012.08.004},
  doi          = {10.1016/J.SCICO.2012.08.004},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/NavasBP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/spe/JanJKKLLNPPRS12,
  author       = {Mathieu Jan and
                  Christophe Jouvray and
                  Fabrice Kordon and
                  Antonio Kung and
                  Jimmy Lalande and
                  Fr{\'{e}}d{\'{e}}ric Loiret and
                  Juan F. Navas and
                  Laurent Pautet and
                  Jacques Pulou and
                  Ansgar Radermacher and
                  Lionel Seinturier},
  title        = {Flex-eWare: a flexible model driven solution for designing and implementing
                  embedded distributed systems},
  journal      = {Softw. Pract. Exp.},
  volume       = {42},
  number       = {12},
  pages        = {1467--1494},
  year         = {2012},
  url          = {https://doi.org/10.1002/spe.1143},
  doi          = {10.1002/SPE.1143},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/JanJKKLLNPPRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gpce/NavasBP10,
  author       = {Juan F. Navas and
                  Jean{-}Philippe Babau and
                  Jacques Pulou},
  editor       = {Eelco Visser and
                  Jaakko J{\"{a}}rvi},
  title        = {A component-based run-time evolution infrastructure for resource-constrained
                  embedded systems},
  booktitle    = {Generative Programming And Component Engineering, Proceedings of the
                  Ninth International Conference on Generative Programming and Component
                  Engineering, {GPCE} 2010, Eindhoven, The Netherlands, October 10-13,
                  2010},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1868294.1868306},
  doi          = {10.1145/1868294.1868306},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/gpce/NavasBP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cbse/LoiretNBL09,
  author       = {Fr{\'{e}}d{\'{e}}ric Loiret and
                  Juan F. Navas and
                  Jean{-}Philippe Babau and
                  Olivier Lobry},
  editor       = {Grace A. Lewis and
                  Iman Poernomo and
                  Christine Hofmeister},
  title        = {Component-Based Real-Time Operating System for Embedded Applications},
  booktitle    = {Component-Based Software Engineering, 12th International Symposium,
                  {CBSE} 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5582},
  pages        = {209--226},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02414-6\_13},
  doi          = {10.1007/978-3-642-02414-6\_13},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cbse/LoiretNBL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/compsac/LobryNB09,
  author       = {Olivier Lobry and
                  Juan F. Navas and
                  Jean{-}Philippe Babau},
  editor       = {Sheikh Iqbal Ahamed and
                  Elisa Bertino and
                  Carl K. Chang and
                  Vladimir Getov and
                  Lin Liu and
                  Ming Hua and
                  Rajesh Subramanyan},
  title        = {Optimizing Component-Based Embedded Software},
  booktitle    = {Proceedings of the 33rd Annual {IEEE} International Computer Software
                  and Applications Conference, {COMPSAC} 2009, Seattle, Washington,
                  USA, July 20-24, 2009. Volume 2},
  pages        = {491--496},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/COMPSAC.2009.181},
  doi          = {10.1109/COMPSAC.2009.181},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LobryNB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cse/NavasB09,
  author       = {Juan F. Navas and
                  Jean{-}Philippe Babau},
  title        = {Efficient and Adapted Component-Based Strategies for Embedded Software
                  Device Drivers Development},
  booktitle    = {Proceedings of the 12th {IEEE} International Conference on Computational
                  Science and Engineering, {CSE} 2009, Vancouver, BC, Canada, August
                  29-31, 2009},
  pages        = {514--519},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CSE.2009.274},
  doi          = {10.1109/CSE.2009.274},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cse/NavasB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icess/AnneHJLLLLNOPPPSTW09,
  author       = {Matthieu Anne and
                  Ruan He and
                  Tahar Jarboui and
                  Marc Lacoste and
                  Olivier Lobry and
                  Guirec Lorant and
                  Maxime Louvel and
                  Juan F. Navas and
                  Vincent Olive and
                  Juraj Polakovic and
                  Marc Poulhi{\`{e}}s and
                  Jacques Pulou and
                  St{\'{e}}phane Seyvoz and
                  Julien Tous and
                  Thomas Watteyne},
  editor       = {Tianzhou Chen and
                  Dimitrios N. Serpanos and
                  Walid Taha},
  title        = {Think: View-Based Support of Non-functional Properties in Embedded
                  Systems},
  booktitle    = {International Conference on Embedded Software and Systems, {ICESS}
                  '09, Hangzhou, Zhejiang, P. R. China, May 25-27, 2009},
  pages        = {147--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICESS.2009.30},
  doi          = {10.1109/ICESS.2009.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icess/AnneHJLLLLNOPPPSTW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}