Listado de Publicaciones

Capítulos en libros

Artículos en actas de congresos

  • Antonio Muñoz, Antonio Muñoz and Daniel Serrano. «Model cheking ambient intelligence with avispa«. Selected Papers from the first International Ambient Intelligence Forum 2008, Hradec Králové Czech Republic, Oct 2008. Ambient Intelligence and Smart Environments Series. IOS Press Publisher. (ISBN: 978-1-58603-946-2).
  • Daniel Serrano, Antonio Maña, Pedro Soria-Rodriguez, Ana Piñuela, and Athanasios-Dimitrios Sotirious. «An architecture for secure ambient intelligence environments«. Proceedings of the 3rd Symposium of Ubiquituos Computing and Ambient Intelligence (UCAMI 2008), number 51 in Advances in Soft Computing. Salamanca, Spain, Octubre 2008. (Springer. ISBN: 978-3-540-85866-9).
  • Daniel Serrano, Antonio Maña, Athanasios-Dimitrios Sotirious. «Towards Precise and Certified Security Patterns». In proceedings of 2nd International Workshop on Secure systems methodologies using patterns (Spattern 2008). Turin, Italy, September 2008 (IEEE Computer Society, ISBN: 978-0-7695-3299-8).
  • Antonio Muñoz, Daniel Serrano, Antonio Maña. «Secure Profiling as a Cornerstone in Emerging Ambient Intelligence Scenarios». Ambient Intelligence Developments Conference and Demos 2007 (AmID 2007). Sophia-Antipolis (Riviera Francesa). Septiembre 2007. (Springer-Verlag, ISBN: 978-2-287-78543-6).
  • Antonio Maña, Antonio Muñoz, Daniel Serrano. «Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence». The 4th International Conference on Ubiquitous Intelligence and Computing (UIC’07), Hong Kong, China, July 11-13, 2007. (LNCS vol. 4611. Springer-Verlag, ISBN: 978-3-540-73548-9).
  • Antonio Maña, Francisco Sánchez, Daniel Serrano, Antonio Muñoz. «Building Secure Ambient Intelligence Scenarios». Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE’06), San Francisco (USA), 2006. (KSI, ISBN: 1-891706-16-0).
  • Francisco Sanchez-Cid, Antonio Muñoz, Daniel Serrano, M.C. Gago. «Software Engineering Techniques Applied to AmI: Security Patterns». Ambient Intelligence Developments Conference, 20-22 Septiembre, 2006. Sophia Antipolis – Riviera Francesa (Francia). (Springer-Verlag, ISBN: 2-287-47469-2).
  • Daniel Serrano, Antonio Maña «IMPRESS, Desarrollo de Aplicaciones Seguras Basado en MDA.». X Reunión Española sobre Criptología y Seguridad de la Información, Salamanca, September 2008. (ISBN: 978-84-691-5158-7).
  • Antonio Muñoz, Antonio Maña, Daniel Serrano«Computación Segura de Sistemas Multiagentes Aplicada a Ambientes Inteligentes.». X Reunión Española sobre Criptología y Seguridad de la Información, Salamanca, September 2008. (ISBN: 978-84-691-5158-7).
  • Daniel Serrano, Beatriz Gallego-Nicasio Crespo, Antonio Muñoz, Antonio Maña «Componentes Ejecutables, un Paso más allá en los Patrones de Seguridad». X Reunión Española sobre Criptología y Seguridad de la Información, Salamanca, September 2008. (ISBN: 978-84-691-5158-7).
  • Antonio Maña, Antonio Muñoz, Daniel Serrano. «Computación Confiable frente a Computación Protegida». IX Reunión Española sobre Criptología y Seguridad de la Información, Barcelona, Septiembre 2006. (UOC Press, ISBN: 84-9788-502-3).
  • Antonio Maña, Antonio Muñoz, Daniel Serrano, Francisco Sánchez. «Seguridad Dinámica en Ambientes Inteligentes». IX Reunión Española sobre Criptología y Seguridad de la Información, Barcelona, September 2006. (UOC Press, ISBN: 84-9788-502-3).

Informes Técnicos:

  • Daniel Serrano, Antonio Maña «Towards Secure System Development Based on MDA». Universidad de Málaga. ITI-07-03.