Items where author is "Zamorano Flores, Juan Rafael"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 26.

Article

Zamorano Flores, Juan Rafael and Garrido Balaguer, Jorge and Cubas Cano, Javier and Alonso Muñoz, Alejandro Antonio and Puente Alfaro, Juan Antonio de la (2017). The design and implementation of the UPMSAT-2 Attitude Control System. "IFAC PapersOnLine", v. 50 (n. 1); pp. 11245-1125. ISSN 2405-8963. https://doi.org/10.1016/j.ifacol.2017.08.1607.

Garrido Balaguer, Jorge and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael and Miguel Cabello, Miguel Angel de and Alonso Muñoz, Alejandro Antonio (2017). Timing analysis tools in a model-driven development environment. "IFAC-PapersOnline", v. 50 (n. 1); pp. 5875-5880. ISSN 2405-8963. https://doi.org/10.1016/j.ifacol.2017.08.1303.

Garrido Balaguer, Jorge and Lacruz Alcaraz, Beatriz and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2016). In support of extending the Ravenscar profile. "Ada Letters", v. 36 (n. 1); pp. 63-67. ISSN 1094-3641. https://doi.org/10.1145/2971571.2971579.

Garrido Balaguer, Jorge and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2015). ARINC-653 Inter-partition communications and the ravenscar profile. "Ada Letters", v. 35 (n. 1); pp. 38-45. ISSN 1094-3641. https://doi.org/10.1145/2870544.2870550.

Puente Alfaro, Juan Antonio de la and Alonso Muñoz, Alejandro Antonio and Zamorano Flores, Juan Rafael and Garrido Balaguer, Jorge and Salazar Marsá, José Emilio and Miguel Cabello, Miguel Angel de (2014). Experience in spacecraft on-board software development. "Ada User Journal", v. 35 (n. 1); pp. 55-60. ISSN 1381-6551.

Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2013). On real-time partitioned multicore systems. "Ada Letters", v. 33 (n. 2); pp. 33-39. ISSN 1094-3641. https://doi.org/10.1145/2552999.2553003..

Zamorano Flores, Juan Rafael and Esquinas Fernández, Ángel and Puente Alfaro, Juan Antonio de la (2013). Ada real-time services and virtualization. "Ada Letters", v. 33 (n. 1); pp. 128-133. ISSN 1094-3641. https://doi.org/10.1145/2492312.2492325.

Bradley Valdenebro, Peter and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael (2011). Ada User Guide for LEGO MINDSTORMS NXT. "Ada User Journal", v. 32 (n. 3); pp. 194-203. ISSN 1381-6551.

Lopez Trescastro, Jorge and Esquinas Fernández, Ángel and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2010). Experience in programming device drivers with the Ravenscar profile.. "Ada User Journal", v. 31 (n. 2); pp. 123-130. ISSN 1381-6551.

Book Section

Urueña Pascual, Santiago and Zamorano Flores, Juan Rafael and Pulido Pavón, José Antonio and Puente Alfaro, Juan Antonio de la (2008). Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements. In: "Distributed Embedded Systems: Design, Middleware and Resources". Computer Science, 271 . Springer, EEUU, pp. 151-160. ISBN 978-0-387-09660-5. https://doi.org/10.1007/978-0-387-09661-2_15.

Presentation at Congress or Conference

Garrido Balaguer, Jorge and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la and Alonso Muñoz, Alejandro Antonio and Salazar Marsá, José Emilio (2015). Ada, the programming language of choice for the UPMSAT-2 satellite. In: "Data Systems In Aerospace (DASIA 2015)", 19/05/2016 - 21/05/2016, Barcelona, Spain. pp. 1-4.

Alonso Muñoz, Alejandro Antonio and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael and Miguel Cabello, Miguel Angel de and Salazar Marsá, José Emilio and Garrido Balaguer, Jorge (2015). Safety concept for a mixed criticality on-board software system. In: "nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics (CESCIT 2015)", 22/06/2015 - 24/06/2015, Maribor, Slovenia. pp. 240-245. https://doi.org/10.1016/j.ifacol.2015.08.138.

Puente Alfaro, Juan Antonio de la and Garrido Balaguer, Jorge and Salazar Marsá, José Emilio and Zamorano Flores, Juan Rafael and Alonso Muñoz, Alejandro Antonio (2015). Using Internet-based technologies in a university satellite project. In: "IFAC Workshop on Internet Based Control Education (IBCE15)", 04/11/2015 - 06/11/2015, Brescia, Italy. pp. 82-86. https://doi.org/10.1016/j.ifacol.2015.11.217.

Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2014). Memory isolation in many-core embedded systems. In: "2nd Workshop on High-performance and Real-time Embedded SystemsProc. HIRES 2014.", 20-22 Jan 2014, Viena, Austria. pp. 1-11.

Zamorano Flores, Juan Rafael and Esquinas Fernández, Ángel and Bradley Valdenebro, Peter and Brosnan Blázquez, Daniel and Garrido Balaguer, Jorge and Salazar Marsá, José Emilio and Alonso Muñoz, Alejandro Antonio and Puente Alfaro, Juan Antonio de la (2013). Arquitectura de tiempo real para el control de actitud en un satélite experimental. In: "XXIV Jornadas de Automática", 4-6 Sep 2013, Tarrasa, Barcelona, España. pp. 780-784.

Garrido Balaguer, Jorge and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael and Alonso Muñoz, Alejandro Antonio (2013). Diseño e implementación del software del UPMSat-2 en el entorno de desarrollo TASTE.. In: "CEDI 2013", 17-20 Sep 2013, Madrid. pp. 17-34.

Garrido Balaguer, Jorge and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2013). Static analysis of WCET in a satellite software subsystem. In: "13th International Workshop on Worst-Case Execution Time Analysis", 09-12 Jul 2013, París, Francia. ISBN 9783939897545. pp. 87-96. https://doi.org/10.4230/OASIcs.WCET.2013.87.

Bos, Victor and Mendham, Peter and Kauppinen, Panu K and Holst, Niklas and Crespo Lorente, Alfons and Masmano, Miguel and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael (2013). Time and space partitioning the EagleEye reference mission. In: "Data Systems In Aerospace (DASIA 2013)", 14/05/2013 - 16/05/2013, Porto, Portugal. pp. 1-7.

Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la and Ferrero, Francisco and Alaña, Elena and Rodríguez, Ana Isabel (2012). Including hardware/software co-design in the ASSERT model driven engineering process.. In: "17th Ada-Europe International Conferenceon Reliable Software Technologies", 11/06/2012 - 15/06/2012, Estocolmo (Suecia). ISBN 1381-6551. pp.. https://doi.org/10.1007/978-3-642-30598-6.

Bradley Valdenebro, Peter and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael and Brosnan Blázquez, Daniel (2012). A platform for real-time control education with LEGO MINDSTORMS.. In: "9th IFAC Symposium on Advances in Control Education IFAC-PapersOnLine", 19/06/2012 - 21/06/2012, Nizhny Novgorod , Russia. pp. 112-117. https://doi.org/10.3182/20120619-3-RU-2024.00062.

Brosnan Blázquez, Daniel and Puente Alfaro, Juan Antonio de la and Alonso Muñoz, Alejandro Antonio and Zamorano Flores, Juan Rafael and Garrido Balaguer, Jorge (2012). Analysis of WCET in an experimental satellite software development.. In: "12th International Workshop on Worst-Case Execution Time Analysis", 02/07/2012 - 04/07/2012, Pisa, Italy. ISBN 978-3-939897-41-5. pp.. https://doi.org/10.4230/OASIcs.WCET.2012.81.

Esquinas Fernández, Ángel and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la and Masmano, Miguel and Crespo Lorente, Alfons (2012). Time and space partition platform for safe and secure flight software.. In: "DASIA 2012", 14/05/2012 - 16/05/2012, Dubrovnik, Croatia. pp..

Ferrero, Francisco and Alaña, Elena and Rodríguez, Ana Isabel and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael and Conquet, Eric (2011). Extending ASSERT for HW/SW Co-design. In: "International Conference concerning Space Engineering Systems, DASIA 2011 Conference", 17/05/2011 - 20/05/2011, Malta. pp..

Asensio, Esteban and Lopez Trescastro, Jorge and Puente Alfaro, Juan Antonio de la and Zamorano Flores, Juan Rafael (2010). Herramientas de análisis temporal para el desarrollo de sistemas de tiempo real críticos.. In: "III Simposio de Sistemas de Tiempo Real, CEDI 2010", 07/09/2010 - 10/09/2010, Valencia, España. ISBN 978-84-92812-64-6.

Urueña Pascual, Santiago and Pulido Pavón, José Antonio and Lopéz, Jorge and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2008). A New Approach to Memory Partitioning in On-board Spacecraft Software. In Fabrice Kordon and Tullio Vardanega (eds.), Reliable Software Technologies. In: "13th Ada-Europe International Conference on Reliable Software Technologies", 16/06/2008-20/06/2008, Venezia, Italia. ISBN 978-3-540-68621-7. https://doi.org/10.1007/978-3-540-68624-8_1.

Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la and Pulido Pavón, José Antonio and Urueña Pascual, Santiago (2008). The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.. In: "Data Systems in Aerospace DASIA 2008", 27/05/2008-30/05/2008, Palma de Mallorca, España. ISBN 978-3-902661-00-5. https://doi.org/10.3182/20080706-5-KR-1001.3469..

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM