Manuel Díaz Rodríguez

International Journals

  1. C.Martín, M. Díaz, B. Rubio Run-time deployment and management of CoAP resources for the Internet of Things. International Journal of Distributed Sensor Networks : Vol 13(3) 1-15, March 2017.
  2. M. Díaz, C. Martín, B. Rubio State-of-the-art, challenges, and open issues in the integration of Internet of things and cloud computing. J. Network and Computer Applications 67: 99-117, January 2016.
  3. G. S. Ramachandran, W. Daniels, N. Matthys, Christophe Huygens, Sam Michiels, Wouter Joosen, James Meneghello, Kevin Lee, Eduardo Cañete, Manuel Diaz Rodriguez, and Danny Hughes Measuring and Modeling the Energy Cost of Reconfiguration in Sensor Networks. IEEE Sensors Journal, 15(6), 3381-3389, June 2016.
  4. E. Cañete, J. Chen, M. Díaz, L. Llopis and B. Rubio Sensor4PRI: A Sensor Platform for the Protection of Railway Infrastructures Sensors, 15(3), 4996-5019, February 2015.
  5. E. Cañete, J. Chen, M. Díaz, L. Llopis, A. Reyna and B. Rubio Using Wireless Sensor Networks and Trains as Data Mules to Monitor Slab Track Infrastructures. Sensors, 15(7), 15101-15126, June 2015.
  6. Antonio M. Grilo, Jaime Chen, Manuel Diaz, Daniel Garrido, Augusto Casaca An Integrated WSAN and SCADA System for Monitoring a Critical Infrastructure. IEEE Trans. Industrial Informatics 10(3): 1755-1764, August 2014.
  7. J. Chen, M. Díaz, B. Rubio and J.M. Troya PS-QUASAR: A publish/subscribe QoS Aware Middleware for Wireless Sensor and Actor Networks. Journal of Systems and Software, 86(6), 1650-1662 , February 2013.
  8. M. V. Belmonte, M. Díaz, Ana Reyna COINS: COalitions and INcentiveS for effective Peer-to-Peer downloads Journal of Network and Computer Applications, Vol 36 Issue 1, Pages 484-497, April 2012.
  9. Eduardo Cañete, Manuel Díaz, Bartolomé Rubio A Wireless Sensor Networks Framework based on Light Databases. Software: Practice and Experience, Volume 43, Issue 5, pages 501-523, April 2012.
  10. Eduardo Cañete, Jaime Chen, Manuel Díaz, Luis Llopis, Bartolomé Rubio HERO: a Hierarchical, Efficient and Reliable Routing Protocol for Wireless Sensor and Actor Networks Computer Communications, 35(11), 1392-1409, June 2012.
  11. J. A. Dianes, M. Díaz, and B. Rubio. Using standards to integrate soft real-time components into dynamic distributed architectures. En  Comput. Stand. Interfaces 34, 2 .February 2012, págs. 238-262.
  12. Jaime Chen, Manuel Díaz, Luis Llopis, Bartolomé Rubio y José María Troya. A Survey on quality of service support in wireless sensor and actor networks: requirements and challenges in the context of critical infrastructure protection. Journal of Network and Computer Applications. vol. 34. no. 4. págs. 1225-1239. Elsevier, 2011. ISSN: 1084-8045
  13. Eduardo Cañete, Jaime Chen, Manuel Díaz, Luis Llopis y Bartolomé Rubio. A Service-oriented approach to facilitate WSAN application development. Ad Hoc Networks. vol. 9. no. 3. págs. 430-452. Elsevier: North Holland, 2011. ISSN: 1570-8705.
  14. Manuel Díaz, Daniel Garrido, Luis Llopis y José M. Troya. Designing distributed software with RT-Corba and SDL (Article in Press) Computer Standards & Interfaces. Elsevier, 2008. ISSN: 0920-5489.
  15. Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus y José M. Troya. UM-RTCOM: an analyzable component model for real-time distributed systems. Journal of Systems and Software. págs. 1-18. Elsevier, 2007.ISSN: 0164-1212.
  16. Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler y José M. Troya. A Component-based nuclear power plant simulator Kernel. Concurrency and Computation _ Practice and Experience. vol. 19. no. 5. págs. 593-607. Wiley & Sons, 2007. ISSN: 1532-0634.
  17. Manuel Díaz, Bartolomé Rubio y José M. Troya. A Tuple channel-based coordination model for parallel and distributed programming. Journal of Parallel and Distributed Computing. vol. 67. no. 10. págs. 1092-1107. Elsevier, 2007. ISSN: 0743-7315.
  18. Javier Barbarán, Manuel Díaz, Iñaki Esteve y Bartolomé Rubio. RadMote: a mobile framework for radiation monitoring in nuclear power plants. International Journal of Electronics, Circuits and Systems. vol. 1. no. 2. págs. 104-109. WASET: Wien, Austria, 2007. ISSN: 1307-4156.
  19. Cándido Alcaide, Manuel Díaz, Luis Llopis, Antonio Márquez, Bartolomé Rubio y Enrique Soler. CoSP2P: a component-based service model for peer-to-peer systems. International Journal of Electronics, Circuits and Systems. vol. 1. no. 2. págs. 91-96. WASET: Wien, Austria, 2007. ISSN: 1307-4156.
  20. J.Barbarán, M. Díaz, Iñaki Esteve, D. Garrido, L. Llopis y B. Rubio. RTCoord: a methodology to design WSAN applications. International Journal of Electronics, Circuits and Systems. vol. 1. no. 2. págs. 97-103. WASET: Wien, Austria, 2007. ISSN: 1307-4156.
  21. Manuel Díaz, Daniel Garrido y José M. Troya. Development of distributed real-time simulators based in CORBA . Simulation Modelling: practice and theory. vol. 15. no. 6. págs. 716-733. Elservier: Amsterdam, 2007. ISSN: 1569-190X.
  22. Enrique Alba Torres, Manuel Díaz Rodríguez, Carlos Cotta Porras, F. Almeida, M. Blesa, I. Dorta, Carlos Leon, J. Petit, A. Rojas, Fatos Xhafa, Gabriel Jesús Luque Polo, J. Gabarró y C. Rodriguez. Efficient parallel LAN/WAN algorithms for optimization. Parallel Computing. vol. 32. págs. 415-440. Elsevier, 2006. ISSN: 0167-8191.
  23. Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler y José M. Troya. Experiences with component-oriented technologies in nuclear power plant simulator. Software Practice & Experience. vol. 36. no. 13. págs. 1489-1512. John Wiley, 2006.
    ISSN: 0038-0644.
  24. Manuel Díaz, Daniel Garrido y José M. Troya. Real-time training simulators based on distributed reusable components. International Journal of Simulation Systems, Science & Technology. vol. 5. no. 3-4. págs. 11 pags, 2004. ISSN: 1473-804x.
  25. J. M. Álvarez, M. Díaz, L. Llopis, E.Pimentel y J. M. Troya. An Object-oriented methodology for embedded real-time systems. Computer Journal. vol. 46. págs. 123-145. Oxford University Press, 2003. ISSN: 0010-4620.
  26. Manuel Díaz, Bartolomé Rubio, Enrique Soler y José M. Troya. Domain interaction patterns to coordinate Hpf tasks. Parallel Computing. vol. 29. no. 7. págs. 925-951. Elsevier, 2003. ISSN: 0167-8191.
  27. José M. Älvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel y José M. Troya. Integrating schedulability analysis and design techniques in SDL. Real-Time Systems Journal. vol. 24. no. 3. págs. 267-302. Springer Netherlands, 2003. ISSN: 0922-6443.
  28. Manuel Díaz, Bartolomé Rubio, Enrique Soler y José M. Troya. A Border-based coordination language for integrating task and data parallelism. Journal of Parallel and Distributed Computing. vol. 62. págs. 715-740. Elsevier, 2002. ISSN: 0743-7315.
  29. Manuel Díaz, Bartolomé Rubio y José M. Troya. DRL a distributed real-time logic language. Computer Languages, Systems & Structures. vol. 23. págs. 87-120. Elsevier, 1997. ISSN: 0096-0551.
  30. Manuel Díaz, Bartolomé Rubio y José M. Troya. Distributed programming with a logic channel based coordination model. Computer Journal. vol. 39. págs. 876-889. Oxford University Press, 1996. ISSN: 0010-4620.
  31. Manuel Díaz, Pedro Merino, Bartolomé Rubio y José M. Troya. Desarrollo de protocolos basado en lenguajes lógicos concurrentes. Informatica y Automatica (aeia). vol. 27. no. 2. págs. 32-45, 1995. ISSN: 0214-932x.
  32. Manuel Díaz, Ernesto Pimentel y José M. Troya. DROL - A Distributed and real-time object-oriented logic environment. Computer Journal. vol. 37. págs. 407-421. Oxford University Press, 1994. ISSN: 0010-4620.
  33. Manuel Díaz y José M. Troya. A Parlog based real-time logic environment. Future Generation Computer Systems. vol. 9. págs. 201-218. Elsevier, 1993.ISSN: 0167-739x

Lecture Notes in Computer Science

  1. Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler y José M. Troya. Managing multi-concern application complexity in aspectSBASCO. En Gabrielle Allen, et al. (eds.). Computational Science-ICCS 2009. 9th International Conference. Baton Rouge, LA, USA, May 25-27, 2009. Proceedings, Part 1. Lecture Notes in Computer Science. 5544. págs. 133-142. Springer: Berlin, 2009. ISBN: 3-642-01969-2

  2. Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler y José M. Troya. Dynamic reconfiguration of scientific components using aspect oriented programming: a case study. En Robert Meersman...(Ed.). OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II . Lecture Notes in Computer Science. 4276. págs. 1351-1360. Springer-Verlag: Berlín, Heidelberg, 2006. ISBN: 3-540-48274-1

  3. C. Alcaide, M. Díaz, L. Llopis, A. Márquez y E. Soler. A P2P-Based system to perform coordinated inspections in nuclear power plants. En Robert Meersman...(ed.). OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II . Lecture Notes in Computer Science. 4276. págs. 1181-1190. Springer-Verlag: Berlín, Heidelberg, 2006. ISBN: 3-540-48274-1

  4. Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler y José M. Troya. Using SBASCO to solve reaction-diffusion equations in two-dimensional irregular domains. En Vassil N. Alexandrov (ed.). Computational Science – ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II . Lecture Notes in Computer Science. 3992. págs. 912-919. Springer-Verlag: Berlín, Heidelberg, 2006. ISBN: 3-540-34381-4

  5. M. V. Belmonte, R. Conejo, M. Díaz y J. L. Pérez-de-la-Cruz. Coalition formation in P2P file sharing systems. En R. Marín, et.al (Eds.).Current Topics in Artificial Intelligence: 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers . Lecture Notes in Computer Science. 4177. págs. 153-162. Springer: Berlín, 2006. ISBN: 978-3-540-45914-9

  6. Manuel Díaz, Daniel Garrido, Luis Llopis y José M. Troya. Integrating RT-CORBA in SDL. En Andreas Prinz; Rick Reed and Jeanne Reed (Eds.). SDL 2005: Model driven, 12th International SDL Forum, Grimstad, Norway, June 20-30,2005, Proceedings . Lecture Notes in Computer Science. 3530. págs. 47-67. Springer: Berlin, 2005. ISBN: 3-540-26612-7

  7. Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler y José M. Troya. A CCA-compliant nuclear power plant simulator kernel. En George T. Heineman...(ed.). Component-Based Software Engineering:8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings . Lecture Notes in Computer Science. 3489. págs. 283-297. Springer: Berlin, 2005.

  8. Manuel Díaz y Daniel Garrido. SGI-SAT Trillo: a full scope simulator for nuclear power plants. En Robert Meersman et al. (eds.). On The Move to Meaningful Internet Systems 2003: OTM 2003Workshops: OTM Confederated International Workshops HCI-SWWA, IPW, JTRES, WORKM, WMS and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings. Lecture Notes in Computer Science. 2889. págs. 7-10. Springer: Berlin, 2003. ISBN: 3-540-20494-7

  9. E. Alba, C. Cotta, M. Díaz y F. Luna..., [et. al.]. MALLBA a library of skeletons of combinatorial optimization. En Burkhard Monien; Rainer Feldmann (eds.). Euro-Par 2002 Parallel Proceesing: 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002. Proceedings. Lecture Notes in Computer Science. 2400. págs. 927-932. Springer: Berlín, 2002. ISBN: 3-540- 44049-6

  10. Manuel Díaz, Bartolomé Rubio, Enrique Soler y José M. Troya. Integrating task and data parallelism by means of coordination patterns. En F. Mueller (Ed.). High-Level Parallel Programming Models and Supportive Environments : 6th International Workshop, HIPS 2001 San Francisco, CA, USA, April 23, 2001, Proceedings . Lecture Notes in Computer Science. 2026. págs. 16-27. Springer: Berlin, 2001. ISBN: 3-540-41944-6

  11. Manuel Díaz, Bartolomé Rubio, Enrique Soler y José M. Troya. Integration of task and data parallelism a coordination-based approach. En M. Valero; V.K. Prasanna and S. Vajapeyam (Eds.).High Performance Computing - HiPC 2000: 7th International Conference, Bangalore, India, December 2000. Proceedings . Lecture Notes in Computer Science. 1970. págs. 173-182. Springer: Berlin, 2000.
    ISBN: 3-540-41429-0

Other Journals

  1. M. Díaz, D. Garrido y J.M. Troya, Real-time training simulators based on distributed reusable components Int. Journal of Simulation Vol.5 Nº 3-4 , 1-11 2004
  2. M. Díaz, P. Merino, B. Rubio y J.M. Troya Desarrollo de Protocolos basado en Lenguajes Lógicos Concurrentes Informática y Automática, Vol. 27, No. 2, pp. 20,32 1994 

International Congresses

  1. María-Victoria Belmonte; Manuel Díaz y Ana Reyna. Coalitions and incentives for content distribution over a secure peer-to-peer middleware.En Proc. of the third international conference on advances in P2P systems. AP2PS 2011. November 20-25, 2011. Lisbon, Portugal. págs. 71-78. IARIA, 2011. ISBN: 978-1-61208-173-1
  2. Eduardo Cañete; Manuel Díaz; Luis Llopis y Bartolomé Rubio. A Cluster-Based quantitative reliability model. En Hamid R. Arabnia (Ed.). Proceedings of the 2011 international conference on parallel and distributed processing techniques and applications. PDPTA 2011. July 18-21, 2011. Las Vegas Nevada, USA. vol. Vol. 1. págs. 110-115. CSREA Press, 2011.
  3. M. V. Belmonte; M. Díaz y A. Reyna. A Coalition based incentive mechanism for P2P content distribution systems. En Proceedings of the 3rd. international conference on agents and artificial intelligence. ICAART 2011. Rome, Italy, January 28-30, 2011. págs. 15-24. SciTePress: Portugal, 2011. ISBN: 978-989-8425-41-6
  4. T. Richardson; A. J. Wellings; J. A. Dianes y M. Díaz. Towards memory management for service-oriented real-time systems. En Proceedings of the 8th International Workshop on Java technologies for real-time and embedded systems. JTRES 2010. 19-21 August 2010. Prague, Czech Republic. págs. 128-137. ACM: New York, 2010. ISBN: 978-1-4503-0122-0
  5. Jose Angel Dianes; Manuel Díaz y Bartolomé Rubio. Habitat: a DDS-based service framework for smart spaces. En Ioan Alfred Letia (Ed.). Proceedings of 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing. Cluj-Napoca, Romania. August 26-28, 2010. págs. 289-296. IEEE: Piscataway, N.Y., 2010. ISBN: 978-1-4244-8229-0
  6. J. A. Dianes; M. Díaz y B. Rubio. ServiceDDS: a framework for real-time P2P systems integration. En Proc. of 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing. vol. 1. págs. 233-237. IEEE Computer Society, 2010.
  7. Manuel Díaz; Daniel Garrido y Javier Troya.Developing a communications architecture based on WCF for use in nuclear power plant simulators. En Hans Weghom and Pedro Isaías (eds.). Proceedings of the IADIS International Conference, Applied Computing 2009. Rome, Italy 19-21 November 2009 . págs. 171-175. IADIS Press, 2009.ISBN: 978-972-8924-97-3
  8. T. Richardson; A. J. Wellings; J. A. Dianes y M. Díaz. Providing temporal isolation in the OSGi framework. En Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. JTRES 2009. 23-25 Sep. 2009. Madrid, Spain. págs. 1-10. ACM, 2009. ISBN: 978-1-60558-732-5
  9. Manuel Díaz; Daniel Garrido y Ana Reyna. SMEPP and the internet of things. En Workshop on Future Internet of Things and Services. págs. CD-ROM, 2009.
  10. Eduardo Cañete; Jaime Chen; Manuel Díaz; Luis Llopis y Bartolomé Rubio. A Service-Oriented middleware for wireless sensor and actor networks. En Proceedigns of the 2009 Sixth International Conference on Information Technology: new generations. 27-29 april 2009. Las Vegas, Nevada, USA. págs. 575-580. IEEE Computer Society: Los Alamitos, CA, 2009.
  11. Javier Barbarán; José A. Dianes; Manuel Díaz; Daniel Garrido; Luis Llopis; Ana Reyna y Bartolomé Rubio. Programming wireless sensor networks applications using SMEPP: a case study. En Marc Brogle, et al (eds.). Third ERCIM Workshop on e Mobility. may 27 & 28, 2009, University of Twente, Enschede, The Netherlands. págs. 55-56. University of Twente: Enschede, The Netherlands, 2009. ISBN: 978-90-365-2846-7
  12. Manuel Díaz; Sergio Romero; Bartolomé Rubio; Enrique Soler y José Mª Troya. Adding aspect-oriented concepts to the hight-performance component model of SBASCO. En Parallel , distributed and network-based processings. 18-20 February 2009. Weimar, Germany. Proceedings. págs. 21-27. IEEE Computer Society: Los Alamitos, CA, 2009.ISBN: 978-0-7695-3544-9
  13. Mireya Rodríguez; José A. Cortes; Manuel Díaz; Daniel Garrido y Enrique Soler. A New generation of nuclear power plant simulation applications. En ESM 2008. The European Simulation and Modelling Conference. Le Havre, France, 27-29, October, 2008. págs. 150-160. EUROSIS- ETI Publication, 2008.
  14. Javier Barbarán; Manuel Díaz; Luis Llopis y Bartolomé Rubio. Tuple channel bases programming for wireless sensor and actor networks and application case study. En Jörg Roth and Jairo Gutierrez. Proceedings of wireless applications and computing 2008 and Telecommunications, Networks and Systems 2008. MCCSIS'08. 22-24 July Amsterdam, The Netherlands. págs. 69-73. IADIS Press, 2008.
  15. Eduardo Cañete; Manuel Díaz; Luis Llopis y Bartolomé Rubio. A Service-Oriented programming model for real time WSANs. En Marco Caccamo (ed.). Proceedings work-in-progress Session of the 20th Euromicro Conference on Real-Time Systems. July 2-4, 2008. Prague, Czech Republic. págs. 12-15, 2008.
  16. Eduardo Cañete; Jaime Chen; Manuel Díaz; Luis Llopis y Bartolomé Rubio. USEME: a service-oriented framework for wireless sensor and actor networks. En Klaus David...[et al], (eds.). Eighth International Workshop on Applications and Services in Wireless Networks. ASWN 2008. 9-10 October 2008, Kassel, Germany. págs. 47-53. IEEE Computer Society: Los Alamitos, CA, 2008. ISBN: 978-0-7695-3389-6
  17. Javier Barbarán; Carlos Bonilla; José A. Dianes; Manuel Díaz y Ana Reyna. Simulating SMEPP middleware. En Proceedings of 1st. International Conference on Simulation Tools and Techniques for Communications, Networks and Systems. SIMUTools 2008, Marseille, France, March 3-7. págs. 6. ICST, 2008. ISBN: 978-063-9799-3
  18. Micheele Albano; Antonio Brogi; Razvan Popescu; Manuel Díaz y José A. Dianes. Towards secure middleware for embedded peer-to-peer systems: objectives & requirements. En Second Workshop on Requirements and Solutions for Pervasive Software Infrastructures (RSPSI) of Ubicomp 2007. September 16, 2007. Innsbruck, Austria. págs. 6-6, 2007.
  19. Manuel Díaz; Sergio Romero; Bartolomé Rubio; Enrique Soler y José M. Troya. Desarrollo de aplicaciones científicas basadas en componentes software, esqueletos y aspectos. En Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco. págs. 1-4. SPICUM; Serv. de Publicaciones: Málaga, 2007. ISBN: 978-84-9747-185-5
  20. José Ángel Dianes Santos; Manuel Díaz Rodríguez; Daniel Garrido Márquez; Enrique Soler Castillo y José María Troya Linero. Marco de trabajo basado en componentes para el  desarrollo de simuladores . En Pedro Merino y Mohammed Bakkali, (Eds.). II International Conference on Science and Technology, JICT 2007, 21-22 March 2007, Málaga (Spain) 23 March 2007, Tangier (Morocco). págs. 1-4, 2007.
  21. Javier Barbarán Sánchez; Manuel Díaz Rodríguez; Iñaki Esteve Arrien; Daniel Garrido Márquez y Luis Manuel Llopis Torres. A Coordination model for wireless sensor and actor network. En Pedro Merino y Mohammed Bakkali (Eds.). II International Conference on Science and Technology, JICT 2007, 21-22 March 2007, Málaga (Spain) 23 March 2007, Tangier (Morocco). págs. 1-4, 2007.

  22. Javier Barbarán; Manuel Díaz; Iñaki Esteve; Daniel Garrido; Luis Llopis y Bartolomé Rubio. A Real-Time component-oriented middleware for wireless sensor and actor networks. En Proceedings of the First International Conference on Complex, Intelligent and Software Intensive Systems, CISIS 2007, April 10-12, Vienna, Austria. págs. 3-10. IEEE Computer Society, 2007.ISBN: 0-7695-2823-6
  23. Bartolomé Rubio; Manuel Díaz y José M. Troya. Programming approaches and challenges for wireless sensor networks. En Oana Dini...[et.al] (Eds.). Second International Conference on Systems and Networks Communications. ICSNC 2007, Cap. Esterel, France, 25-31 August, 2007. IEEE Compputer Society, 2007.
  24. Javier Barbarán; Manuel Díaz; Iñaki Esteve; Daniel Garrido; Luis Llopis; Bartolomé Rubio y José M. Troya. TC-WSANs: a tuple channel based coordination model for wireless sensor and actor networks. En IEEE Symposiun on Computers and Communications, ISCC'07, July 1-4, Aveiro, Portugal. págs. 173-178. IEEE Computer Society, 2007.
  25. Javier Barbarán; Manuel Díaz; Iñaki Esteve; Daniel Garrido; Luis Llopis; Bartolomé Rubio y José M. Troya. Programming wireless sensor and actor networks with TC-WSANs. En IEEE International Conference on Pervasive Services, ICPS'07, July 15-20, 2007, Istambul, Turkey. págs. 196-203. IEEE Computer Society, 2007. ISBN: 1-4244-1326-5
  26. José A. Cortés; José A. Dianes; Manuel Díaz; Daniel Garrido y Enrique Soler. A Component framework for the Development of complex simulators. En Jaap Ottjes and Hans Veeke (Eds.). 5th Industrial Simulation Conference 2007, Delft, The Netherlands, June 11-13, 2007. págs. 77-81. EUROSIS: Belgium, 2007. ISBN: 978-9077381342
  27. José A. Cortés; Manuel Díaz; Daniel Garrido; Isabel Parrado y Enrique Soler. Using web services in nuclear power plant simulators. En Jaap Ottjes and Hans Veeke (Eds.). 5th Idustrial Simulation Conference 2007, Delft, The Netherlands, June 11-13, 2007. págs. 363-367. EUROSIS: Belgium, 2007.

  28. Manuel Díaz; Sergio Romero; Bartolomé Rubio; Enrique Soler y José M. Troya. Experiences with aspect-based parallelization of scientific code. En Waleed W. Smari (ed.). Proceedings of the 2007 High Performance Computing & Simulation Conference (HICS 2007) , June 4th-6th, 2007 Prague, Czech Republic. págs. 697-703. ECMS, IEEE Germany Section, etc.: Dudweiler, Germany, 2007.

  29. Cándido Alcaide; Manuel Díaz; Luis Llopis; Antonio Márquez; Bartolomé Rubio y Enrique Soler. CoSP2P: a component-based service model for peer-to peer systems. En Proceedings of the XXI International Conference on Computer, Electrical, and Systems Science, and Engineering CESSE 2007, May 25-27, 2007, Vienna, Austria. págs. 77-82. WASET: Wien, Austria, 2007.
  30. Javier Barbarán; Manuel Díaz; Iñaki Esteve y Bartolomé Rubio. RadMote: a mobile framework for radiation monitoring in nuclear power plants. En Proceedings of the XXI International Conference on Computer, Electrical, and Systems Science, and Engineering CESSE 2007, Vienna, Austria May 25-27, 2007. págs. 160-165. WASET: Wien, Austria, 2007.
  31. J. Barbarán; M. Díaz; I. Esteve; D. Garrido; L. Llopis y B. Rubio. RTCoord: a methodology to design WSAN applications. En Proceedings of the XXI International Conference on Computer, Electrical, and Systems Science, and Engineering CESSE 2007, May 25-27, 2007 Vienna, Austria. págs. 144-150. WASET: Wien, Austria, 2007.
  32. M. V. Belmonte; M. Díaz; J. L. Pérez-de-la-Cruz y A. Reyna. File sharing service over a generic P2P simulator. En Proceedings of Third International Conference on Semantics, Knowledge and Grid. SKG 2007. Xi´an, Shan Xi, China, 29-31 october 2007. págs. 370-373. IEEE Computer Society: USA, 2007. ISBN: 0-7695-3007-9
  33. Manuel Díaz; Daniel Garrido; Luis Llopis; Bartolomé Rubio y José M. Troya. A Component framework for wireless sensor and actor networks. En Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic. págs. 300-307. IEEE Computer Society: Piscataway., 2006. ISBN: 1-4244-0681-1
  34. Manuel Díaz; Bartolomé Rubio y José M. Troya. TCMote: a tuple channel coordination model for wireless sensor networks. En Proceedings of the International Conference on Pervasive Services 2005. ICPS'05, Santorini, Greece, July 11-14, 2005. págs. 437-440. IEEE Computer Society, 2005. ISBN: 0-7803-9032-6
  35. Manuel Díaz; Bartolomé Rubio y José M. Troya. A Coordination middleware for wireless sensor networks. En Petre Dini,...(et. al) (eds.). Proceedings of the 2005 Systems communications ( ICW'05, ICHSN`05, ICMCS'05, SENET'05), Montreal, August 14-15, 2005. págs. 377-382. IEEE Computer Society: Los Alamitos, CA, USA, 2005. ISBN: 0-7695-2422-2
  36. Manuel Díaz; Daniel Garrido; Enrique Soler y José M. Troya. A Distributed simulation tool on PDA. En M. H. Hamza, (Ed.). Proceedings of the 14th IASTED International Conference on Applied Simulation and Modelling: June 15-17, 2005, Benalmádena, Spain. págs. 376-381. Acta Press: Canadá, 2005. ISBN: 0-88986-467-5
  37. Manuel Díaz; Daniel Garrido; Sergio Romero; Bartolomé Rubio; Enrique Soler y José M. Troya. Nuclear power plant simulators: a component-based approach. En M. H. Hamza, (Ed.). Proceedings of the 14th IASTED International Conference on Applied Simulation and Modelling: June 15-17, 2005, Benalmádena, Spain. págs. 209-214. Acta Press: Canadá, 2005. ISBN: 0-88986-4675
  38. Manuel Díaz; Sergio Romero; Bartolomé Rubio; Enrique Soler y José M. Troya. An Aspect oriented framework for scientific component development. En Proceedings of 13th Euromicro Conference on Parallel, Distributed and Network Based Processing. PDP 2005. Lugano, Switzerland, February 9-12. págs. 290-296. IEEE, Computer Society: Los Alamitos, California, 2005. ISBN: 0-7695-2280-7
  39. Manuel Díaz; Daniel Garrido; Luis Llopis; Francisco Rus y José M. Troya.
    Integrating real-time analysis in a component model for embedded systems. En Ralf Steinmetz and Andreas Mauthe (Eds.). Proceedings of the 30th EUROMICRO Conference (EUROMICRO'04) August 31 - September 03, 2004, Rennes, France. págs. 14-21. IEEE Computer Society: Los Alamitos, CA, 2004. ISBN: 7692191950
  40. Manuel Díaz y Daniel Garrido. A Simulation environment for nuclear power plants. En Stephen J. Turner et al (eds.). Eighth IEEE International Symposium on Distributed Simulation and Real-Time Applications. Budapest, Hungary, October 21-23, 2004. Proceedings. págs. 98-105. IEEE Computer Society: Los Alamitos, CA, 2004.ISBN: 0-7695-2232-7
  41. Manuel Diaz y Daniel Garrido. A Reusable distributed environment for nuclear power plant simulators. En Proc. of 7th United Kidgdom Simulation Society Conference. UKSim 2004. St Catherine`s College, Oxford, England, 29th-31st March. págs. 40-46, 2004. ISBN: 1-84233-099-3
  42. Manuel Díaz y Daniel Garrido. An experience report RT-CORBA in nuclear power plant simulators. En Proceedings of the 2nd International Industrial Simulation Conference 2004, Málaga, España. págs. 243-247. EUROSIS-ETI, 2004. ISBN: 90-77381-12-0
  43. Manuel Díaz y Daniel Garrido.  Applying RT-CORBA in nuclear power plant simulators. En Jan Gustafsson, et al (Eds.). Seventh IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. 12-14 May 2004, Vienna, Austria. págs. 7-14. IEEE Computer Society, 2004. ISBN: 0-7695-2124-X
  44. Manuel Díaz; Bartolomé Rubio; Enrique Soler y José M. Troya. SBASCO: skeleton-based scientific components. En Proceedings of the 12th Euromicro Conference on Parallel, Distributed and Network Based Processing. A Coruna, Spain, February 11-13, 2004. págs. 318-324. IEEE Computer Society: Los Alamitos, CA, 2004. ISBN: 0-7695-2083-9
  45. Manuel Díaz; Daniel Garrido; Luis Llopis; Francisco Rus y José M. Troya. Predictable software components for embedded systems.En Proceedings of the Work-in-Progress Session of the 15th Euromicro Conference on Real-Time Systems (ECRTS), Porto, Portugal, 2003. págs. 25-28. Ediçoes POLITEMA, 2003. ISBN: 972-8688-11-3
  46. Manuel Díaz; Daniel Garrido; Francisco Rus y José M. Troya. A Component-based model for predictable embedded systems. En Hamid R. Arabnia, Laurence Tianruo Yang (Eds.): Proceedings of the International Conference on Embedded Systems and Applications, ESA '03, June 23 - 26, 2003, Las Vegas, Nevada, USA . págs. 183-189. CSREA Press, 2003. ISBN: 1-932415-05-X
  47. J. M. Álvarez; M. Díaz; L. Llopis; E. Pimentel y J. M. Troya. Deriving hard real-time embedded systems implementations directly from SDL specifications. En Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu (Eds.): Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark. págs. 128-133. ACM: New York, USA, 2001. ISBN: 1-58113-364-2
  48. Manuel Díaz; Bartolomé Rubio; Enrique Soler y José M. Troya. DIP: a pattern-based approach for task and data parallelism integration. En Proceedings of the 2001 ACM Symposium on Applied Computing, Las Vegas, Nevada, United States . págs. 148-150. ACM Press: New York, USA, 2001. ISBN: 1-58113-287-5
  49. José María Álvarez; Manuel Díaz; Luis Llopis; Ernesto Pimentel y José M. Troya.Schedulability analysis in real-time embedded systems specified in SDL. En A. Crespo and J. Vila (eds.). Real-Time programming 2000 (WRTP'2000): a proceedings volume from the 25th IFAC Workshop, Palma, Spain, 17-19 May. págs. 117-122. International Federation of Automatic Control; Pergamon, 2000.
  50. M. Díaz; B. Rubio; E. Soler y J. M. Troya. BCL: a border-based coordination language.
    En International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA ' 00), June, 2000. págs. 753-760. CSREA Press, 2000.
  51. José M. Álvarez; Manuel Díaz; Luis Llopis; Ernesto Pimentel y José M. Troya. SDL and hard real-time systems new design and analysis techniques. En Edel Sherratt (Ed.). SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000. págs. 92-107. VERIMAG, IRISA, SDL Forum , 2000.
  52. José M. Álvarez; Manuel Díaz; Luis Llopis; Ernesto Pimentel y José M. Troya. Embedded real-time systems development using SDL. En Proceedings of the 20th IEEE Real-Time Systems Symposium, Phoenix, AZ, USA, 1-3 December, 1999. págs. 85-90. IEEE Computer Society Press, 1999.
  53. José María Álvarez; Manuel Díaz; Luis Llopis; Ernesto Pimentel y José M. Troya. An Analyzable SDL execution model for embebed real-time systems. En A. H. Frigeri, W. A. Halang and S. H. Son (eds.). Real time programming 1999 (WRTP'99): a proceedings volume from the 24th IFAC/IFIP Workshop, Schloss Dagtuhl, Wadern, Saarland, Germany, 30 May-3 June. págs. 117-123. International Federation of Automatic Control; Pergamon, 1999.
  54. J. M. Álvarez; M. Díaz; L. M. Llopis; E. Pimentel y J. M. Troya.Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.En Rachida Dssouli; Gregor von Bochmann and Yair Lahav (Eds.). SDL'99 The Next Millenium: proceedings of the ninth SDL Forum, Montreal Quebec, Canada, 21-25 June, 1999. págs. 241-258. Elservier: Amsterdam, 1999.
  55. Manuel Díaz; Bartolomé Rubio y José M. Troya.Multilingual and multiparadigm integration of a Tuple channel-based coordination model.En K. M. George, Gary B. and Lamong (Eds.). Proceedings of the 1998 ACM symposium on Applied Computing, Atlanta, Georgia, United States, February 27 - March 01, 1998. págs. 194 -196 . ACM Press: New York, NY, USA , 1998.ISBN: 0-89791-969-6
  56. Manuel Díaz; Bartolomé Rubio y José M. Troya.Logic channels acoordination approach to distributed programming.En Proc. of International Parallel Processing Symposium' 97, 1997.
  57. Manuel Díaz; Bartolomé Rubio y José M. Troya.The Tuple channel coordination model.En Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.PDSE 1997, May 17 - 18, 1997. págs. 95 . IEEE Computer Society : Washington, DC, USA , 1997.ISBN: 0-8186-8043-1
  58. M. Díaz; B. Rubio y J. M. Troya.A Logic-based coordination model.En ICLP’97 Post-Conference Workshop on Logic-Based Composition of Software (LOCOS’97), Leuven (Brussels), July 1997. págs. 73-83, 1997.
  59. J. M. Álvarez; M. Díaz; L. Llopis; F. Rus y E. Soler. Practical parallelization strategies of a thermohydraulic code. En Proceedings of Euroconference in Supercomputation in Non-Linear and Disordered Systems. págs. 254-258. Madrid, Spain, 1996.
  60. Manuel Díaz Rodríguez; Enrique Soler Castillo; Luis Manuel Llopis Torres; Francisco Rus Mansilla y José Luis Pastrana Brincones. Thermohydraulic code parallelization. En Proc. of the International Conference on Systems Engineering, 1996.
  61. Manuel Díaz; Bartolomé Rubio y José M. Troya. Implementation issues of a real-time distributed logic language. En Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro (Eds.): Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. págs. 106-119. Max-Planck-Institut für Informatik: Saarbrücken, Germany, 1994.
  62. Manuel Díaz y José M. Troya.  Real-time distributed logic programming. En Proc. of the International Workshop on Integration in Real-Time Intelligent Control Systems, 1993.
  63. M. Díaz y J. M. Troya. Extending concurrent logic languages for realtime and distributed systems.En Wouter Joosen and Elie Milgrom (Eds.). Parallel Computing: from theory to sound practice. págs. 570-574. IOS Press: Netherlands, 1992.ISBN: 9-051-9080-4
  64. Manuel Díaz y José M. Troya.RDLE a real-time distributed logic environment.En Proceedings of 11th IEEE International Phoenix Conference on Computing and Communications. Scottsdale, Arizona, 1-3 April. págs. 555-562. IEEE Society Press, 1992.
  65. M. Díaz; E. Pimentel y J. M. Troya. A Declarative environment for distributed programming. En J. van Leeuwen (ed), Algorithms, Software, Architecture Information processing 92: proceedings of the IFIP World Computer Congress, Madrid, Spain, 7-11 September. págs. 163-169. North-Holland, Amsterdam, 1992. ISBN: 0-444-89747-X

National Congresses

  1. Agustín Ortíz y Manuel Díaz. Entorno operativo ligero para el desarrollo de aplicaciones distribuidas sobfe el Bus Can. En Actas del XVII seminario anual de automática, electrónica industrial e instrumentación. SAAEI 2010. Bilbao 7,8 y 9 de Julio, 2010.
  2.  José A. Dianes; Manuel Díaz y Daniel Garrido. SMEPP architecture and runtime framework. En Marisol García Valls; Iria Estévez Ayres y Pablo Basanta Val, (eds.). XII Jornadas de Tiempo Real. Leganés, 5 y 6 de Febrero de 2009. JTR 2009. págs. 62-69. Universidad Carlos III: Madrid, 2009.
    ISBN: 84-89315-55-8
  3.  Luis Llopis; Manuel Díaz; Daniel Garrido y Raúl Luque. Integración de RT-CORBA en robots Eyebot. En Albert Llemosí y Julián Proenza, (eds.). XI Jornadas de Tiempo Real. JTR 2008. Palma de Mallorca, 7 y 8 de Febrero de 2008. págs. 101-107, 2008.
  4. C. Alcaide; M. Díaz; D. Garrido; L. Llopis; A. Márquez y B. Rubio. Un Middleware para aplicaciones con características de tiempo real en redes de sensores y actuadores. En Alejandro Alonso y Jose Luis Villarroel (Eds.). Actas del II Simposio sobre Sistemas de Tiempo Real (STR'2007). Zaragoza, Spain, del 11 al 14 de Septiembre. págs. 29-38. Thomson: Madrid, 2007. ISBN: 978-84-9732-608-7
  5. Manuel Díaz. SMEPP: secure middleware for embedded peer-to-peer systems. En María del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio. págs. 1-15, 2007. ISBN: 978-84-690-6109-1
  6.  Javier Barbarán; Manuel Díaz; Iñaki Esteve; Daniel Garrido; Luis M. Llopis y Bartolomé Rubio. Coordination and components: a framework for wireless sensor and actor networks. En Pau Martí y Manel Velasco (Eds.). X Jornadas de Tiempo Real. JTR2007. Barcelona, 1 y 2 de febrero . págs. 66-72. Centro Internacional de Métodos Numéricos en Ingeniería: Barcelona, Spain, 2007. ISBN: 978-84-96736S
  7.  J. Barbarán; M. Díaz; B. Rubio; I. Esteve; L. Llopis y D. Garrido. MWSAN: middleware for wireless sensor and actor networks. En Pau Martí y Manel Velasco (Eds.). X Jornadas de Tiempo Real. JTR 2007. Barcelona, 1 y 2 de Febrero. págs. 41-46. Centro Internacional de Mëtodos numéricos en ingeniería (CIMNE): Barcelona, Spain, 2007. ISBN: 978-84-96736S
  8. C. Alcaide; J. Barbarán; M. Díaz; D. Garrido; L. Llopis; A. Márquez y B. Rubio. Especificación de un Middleware para aplicaciones basadas en Redes de Sensores y Actuadores. En María del Mar Gallardo Melgarejo y Pedro Merino Gómez (Eds.). Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2007, Torremolinos, Málaga, del 6 al 8 de Junio de 2007. págs. 33-46. Universidad de Málaga: Málaga, España, 2007.
  9. Manuel Díaz; Daniel Garrido; Luis Llopis y José M. Troya. Integration of RT-Corba and SDL heterogeneus distributed Real-time systems. En [Actas] del Simposio sobre Sistemas de Tiempo Real, Granada, Spain. págs. 3-10, 2005.
  10.  Manuel Díaz; Daniel Garrido y Luis Llopis. An SDL model for RT-Corba. En [Actas] de las VIII Jornadas de Tiempo Real. JRT 2005. 3-4 de Febrero, Bilbao. págs. 53-70, 2005.
  11. Manuel Díaz; Daniel Garrido y Enrique Soler. Implementacion sobre PDA de una herramienta de simulacion. En [Actas] de las VIII Jornadas de Tiempo Real. JTR 2005. 3-4 de Febrero, Bilbao. págs. 43-52, 2005.
  12.  María Victoria Belmonte; Manuel Díaz; Ricardo Conejo y José Luis Pérez de la Cruz. Coalition formation in P2P file sharing systems. En Actas de la XI Conferencia de la Asociación Española para la Inteligencia Artificia. CAEPIA 2005. Santiago de Compostela. págs. 245-254, 2005.
    ISBN: 84-96474-13-5
  13. Manuel Díaz y Daniel Garrido. RT-CORBA in distributed simulators with real-time constraints. En Actas de las VII Jornadas de Tiempo-Real, Málaga, 2004. Universidad de Málaga, 2004.
  14.  Manuel Díaz; Daniel Garrido y Enrique Soler. Un lenguaje para la definición en tiempo de ejecución de variables físicas asociadas a un simulador. En Juan José Moreno y Manuel Palomar (Eds.). Actas de las III Jornadas de Programación y Lenguajes (PROLE'03), Alicante del 12 al 14 de Noviembre de 2003. págs. 1-15. Universidad de Alicante, 2003.
  15.  Manuel Díaz; Daniel Garrido; Francisco Rus y José M. Troya. A component-based development environment for embedded systems. En Actas de las VI Jornadas de Tiempo Real. JTR2003, Gijón. págs. 69-83. Universidad de Oviedo, 2003.
  16.  M. Díaz; B. Rubio; E. Soler y J. M. Troya. A Pattern-based language to coordinate HPF tasks. En Fernando Orejas; Fernando Cuartero y Diego Cazorla (Eds.). Primeras Jornadas sobre Programación y Lenguajes (PROLE 2001), Almagro, 23 y 24 de Noviembre. págs. 309-324. Universidad de Castilla-La Mancha: Almagro, 2001.
  17. E. Alba; M. Díaz; C. Cotta; F. Almeida; M. Blesa y I. Dorta. Mallba toward a combinatorial optimization library for geographically distributed systems. En Actas de las XII Jornadas de Paralelismo. Septiembre, Valencia, España. págs. 105-110. Universidad Politécnica de Valencia, 2001. ISBN: 84-9705-043-6
  18.  J. M. Älvarez; M. Díaz; L. Llopis; E. Pimentel y J. M. Troya. Una Metodología de desarrollo orientada a objetos para sistemas empotrados de tiempo real. En Carlos Delgado, Esperanza Marcos, José Manuel Marqués Corral (Eds.): V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid. págs. 229-241. Universidad de Valladolid, Departamento de Informática , 2000.
    ISBN: 84-8448-065-8
  19.  José Fco. Cachairo González; Manuel Díaz Rodríguez y Antonio Vallecillo Moreno. Animación y simulación de algoritmos paralelos de exploración de grafos. En Actas de las Jornadas de Proyectos de Innovación Educativa en la Universidad de Málaga, 2000.
  20.  José M. Álvarez; Manuel Díaz; Luis Llopis y José M. Troya. Metodologías de desarrollo de sistemas de tiempo real. En Actas de las III Jornadas de Tiempo Real, 2000.
  21.  José M. Álvarez; Manuel Díaz; Luis Llopis y José M. Troya. UMA/ATM: un Protocolo fiable sobre ATM para aplicaciones distribuidas.
    En IV Jornadas de Informática, 1998.
  22.  Manuel Díaz Rodríguez y J. Serrano. Implementación distribuida de Pascal-FC. En Actas de las Jornadas de Informática, 1997.
  23.  M. Díaz; L. Llopis; J. L. Pastrana; F. Rus; E. Soler y J. M. Troya. PACOTE: paralelización de un código termohidráulico para la simulación de plantas nucleares. En J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas. págs. 567-576, 1995.
  24.  E. Alba; J. Aldana; V. Benjumea; C. Canal; M. Díaz; L. Fuentes; M. M. Gallardo; P. Merino; A. Nebro; M. Roldán;B. Rubio; E. Pimentel y J. M. Troya.
    EVP: un Entorno para la integración de técnicas de descripción formal. En J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas. págs. 607-616, 1995.
  25.  Manuel Díaz; Luis Llopis; J. L. Pastrana; F. Rus; Enrique Soler y J. M. Troya. Paralelización de un código termohidráulico. En Proc. of Jornadas de Informática, 1995.
  26. F. Rus; P. Merino y M. Díaz. Paralelización de un algoritmo de validación de protocolos. En J. M. Troya Linero y C. Rodríguez León (Eds.). I Jornadas de Informática, Puerto de la Cruz, 17-21 de Julio de 1995. Actas. págs. 405-414, 1995.
  27. José F. Aldana; Enrique Alba; Vicente Benjumea; Carlos Canal; Manuel Díaz; Lidia Fuentes; María del Mar Gallardo; Pedro Merino; Antonio J. Nebro; Ernesto Pimentel; Manuel Roldán; Bartolomé Rubio y José M. Troya.
    Un Entorno declarativo distribuido para especificación y validación de protocolos. En Actas de las Jornadas Técnicas Proyecto TEMA/PLANBA, 1994.
  28.  M. Díaz; P. Merino; B. Rubio y J. M. Troya. Desarrollo de protocolos basado en lenguajes lógicos concurrentes. En Actas de XV Escuela de Verano de Informática. págs. 32-45, 1993.
  29.  Manuel Díaz; Pedro Merino; Bartolomé Rubio y José M. Troya. Un Lenguage lógico concurrente como nucleo de ejecución de un entorno de simulación y validación de protocolos. En Actas de la Escuela de Verano de Informática, 1993.
  30.  M. Díaz; J. A. Rodero y J. M. Troya. Validación de especificaciones en LOTOS mediante su traducción a un lenguaje lógico recurrente. En M. Hermenegildo y J. J. Moreno (Eds.). Programación Declarativa. Primer Congreso Nacional, ProDe'92, 28-30 Septiembre, Madrid, España. págs. 139-153. Facultad de Informática; Universidad Politécnica de Madrid, 1992.
  31.  M. Díaz; M. Roldán y J. M. Troya. A Logic environment for distributed programming and real-time systems.
    En Actas de las I Jornadas sobre Programación Declarativa PRODE'91. Torremolinos, (Málaga), 2-4 Octubre. págs. 372-387, 1991.
  32. J. M. Troya; J. F. Aldana y M. Díaz. Un entorno basado en Parlog para programación en tiempo real. En Actas de la Acción Especial sobre Paralelismo, 1990.



Last update 24th July 2017