Items where author is "Alonso Muñoz, Alejandro Antonio"

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

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.

Alonso Muñoz, Alejandro Antonio and Salazar Marsá, José Emilio (2014). Tools for mixed-criticality partitioned systems: partitioning algorithm and extensibility support. "Ada User Journal", v. 35 (n. 2); pp. 123-127. ISSN 1381-6551.

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.

Silva Gallino, Juan Pedro and Miguel Cabello, Miguel Angel de and Fernández Briones, Javier and Alonso Muñoz, Alejandro Antonio (2014). Estrategia guiada por modelos para incluir aspectos de seguridad en sistemas empotrados basados en servicios web. "Revista Iberoamericana de Automática e Informática Industrial RIAI", v. 11 (n. 1); pp. 86-97. ISSN 1697-7912. https://doi.org/10.1016/j.riai.2013.11.006.

Tejera Carballa, Pablo Daniel and Alonso Muñoz, Alejandro Antonio and Miguel Cabello, Miguel Angel de (2013). Diseño de un software de intermediación de comunicación para sistemas distribuidos de tiempo real críticos en Java. "Revista Iberoamericana de Automática e Informática Industrial RIAI", v. 10 (n. 2); pp. 228-239. ISSN 1697-7912. https://doi.org/10.1016/j.riai.2013.03.016.

García Valls, Marisol and Alonso Muñoz, Alejandro Antonio and Puente Alfaro, Juan Antonio de la (2012). A dual-band priority assignment algorithm for dynamic QoS resource management. "Future Generation Computer Systems", v. 28 (n. 6); pp. 902-912. ISSN 0167-739X. https://doi.org/10.1016/j.future.2011.10.005.

Miguel Cabello, Miguel Angel de and Fernández Briones, Javier and Silva Gallino, Juan Pedro and Alonso Muñoz, Alejandro Antonio (2008). Integration of Safety Analysis in Model-Driven Software Development. "IET Software", v. 2 (n. 3); pp. 260-280. ISSN 1751-8806. https://doi.org/10.1049/iet-sen:20070050.

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.

Sanz Pineda, Concepción and Salas Martín, Alejandro and Miguel Cabello, Miguel Ángel de and Alonso Muñoz, Alejandro Antonio and Puente Alfaro, Juan Antonio de la and Benac Earle, Clara (2015). Automated model-based testing based on an agnostic-platform modeling language. In: "3rd International Conference on Model-Driven Engineering and Software Development", 09-11 Feb 2015, Angers, Loire Valley, Francia. ISBN 978-989-758-136-6. pp. 1-8.

Salazar Marsá, José Emilio and Alonso Muñoz, Alejandro Antonio (2015). Partitioning algorithm for mixed criticality systems. In: "3rd Workshop on High-performance and Real-time Embedded Systems (HiRES 2015)", 19/01/2015 - 21/01/2015, Amsterdam, Netherlands. pp. 1-13.

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.

Alonso Muñoz, Alejandro Antonio and Salazar Marsá, José Emilio and Miguel Cabello, Miguel Angel de (2014). A toolset for the development of mixed-criticality partitioned systems. In: "2nd Workshop on High-performance and Real-time Embedded Systems (HiRES 2014)", 20/01/2014 - 22/01/2014, Vienna, Austria. pp. 1-12.

Salazar Marsá, José Emilio and Alonso Muñoz, Alejandro Antonio and Garrido Balaguer, Jorge (2014). Mixed-criticality design of a satellite software system. In: "19th World Congress of the International Federation of Automatic Control (IFAC 2014)", 24/08/2014 - 29/08/2014, Cape Town, South Africa. pp. 12278-12283.

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.

Trujillo González, Salvador and Crespo Lorente, Alfons and Alonso Muñoz, Alejandro Antonio (2013). MultiPARTES: Multicore Virtualization for Mixed-Criticality Systems. In: "16th Euromicro Conference on Digital System Design (DSD 2013)", 04/09/2013 - 06/09/2013, Santander, Spain. pp. 260-265. https://doi.org/10.1109/DSD.2013.

Alonso Muñoz, Alejandro Antonio and Jouvray, Christophe and Trujillo González, Salvador and Miguel Cabello, Miguel Angel de and Grepet, Cyril and Simó, José (2013). Towards model-driven engineering for mixed-criticality systems: multiPARTES approach. In: "Design Automation and Test in Europe (DATE 2013)", 18/03/2013 - 22/03/2013, Grenoble, France. pp. 1-7.

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.

Silva Gallino, Juan Pedro and Miguel Cabello, Miguel Angel de and Fernández Briones, Javier and Alonso Muñoz, Alejandro Antonio (2011). Domain-Specific Multi-Modeling of Security Concerns in Service-Oriented Architectures. In: "8th International Workshop on Web Services and Formal Methods, WS-FM'11", 01/09/2011 - 02/09/2011, Clermont-Ferrand, Francia. ISBN 978-3-642-29834-9_10. pp. 1-15.

Silva Gallino, Juan Pedro and Miguel Cabello, Miguel Angel de and Fernández Briones, Javier and Alonso Muñoz, Alejandro Antonio (2011). Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures. In: "International Conference on Services Computing IEEE 2011", 04/07/2011 - 09/07/2011, Washington D.C., USA. ISBN 978-0-7695-4462-5. pp. 761-762.

Fernández Briones, Javier and Miguel Cabello, Miguel Angel de and Silva Gallino, Juan Pedro and Alonso Muñoz, Alejandro Antonio (2010). Analysis of Quality Dependencies in the Composition of Software Architectures. In: "13th Jornadas de Tiempo Real", 05/02/2010 - 06/05/2010, Granada, España. ISBN 978-84-92757-51-0.

Fernández Briones, Javier and Miguel Cabello, Miguel Angel de and Alonso Muñoz, Alejandro Antonio and Silva Gallino, Juan Pedro (2010). Evaluating non-functional properties globally. 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.

Silva Gallino, Juan Pedro and Miguel Cabello, Miguel Angel de and Fernández Briones, Javier and Alonso Muñoz, Alejandro Antonio (2010). Model-Driven Development of a Web Service-Oriented Architecture and Security Policies.. In: "13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2010", 05/05/2010 - 06/05/2010, Carmona, España. ISBN 978-1-4244-7083-9.

Fernández Briones, Javier and Miguel Cabello, Miguel Angel de and Silva Gallino, Juan Pedro and Alonso Muñoz, Alejandro Antonio (2010). On the Requirements for Quality Composability Modeling and Analysis. In: "13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW '10", 05/05/2010 - 06/05/2010, Carmona, España. ISBN 978-1-4244-7218-5.

Alonso Muñoz, Alejandro Antonio and Salazar Marsá, José Emilio and Lopez Trescastro, Jorge (2010). Resource Management for Enhancing Predictability in Systems with Limited Processing Capabilities.. In: "IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2010", 14/09/2010 - 16/09/2010, Bilbao, España. ISBN 978-1-4244-6848-5. https://doi.org/10.1109/ETFA.2010.5641339.

Thesis

Alonso Muñoz, Alejandro Antonio (1994). Extensiones a los métodos de planificación de sistemas de tiempo real críticos basados en prioridades. Thesis (Doctoral), Facultad de Informática (UPM).

  • 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