Especializatión en el Ámbito del Modelado Conceptual. - Pedro Sánchez 001; Patricio Letelier 001; José A. Troyano; Vicente Pelechano; Jesús Torres 001 (JISBD, 1999)

Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program. - Patricio Letelier 001; Pedro Sánchez 001; Isidro Ramos (PADL, 1999)

Animating Formal Specifications with Inheritance in a DL-Based Framework. - Pedro Sánchez 001; Patricio Letelier 001; Isidro Ramos (Requir. Eng., 1999)

OCA: Un entorno de animación concurrente para la validación de modelos conceptuales. - Pedro Sánchez 001; Patricio Letelier 001; Isidro Ramos (JISBD, 2000)

Animación de Especificaciones OASIS Mediante Redes de Petri Orientadas a Objeto. - Pedro Sánchez-Palma (Computación y Sistemas, 2001)

Animation of OASIS Specifications by Means of Object Oriented Petri Nets. - Pedro Sánchez-Palma (Computación y Sistemas, 2001)

Validation of UML Classes through Animation. - Patricio Letelier 001; Pedro Sánchez 001 (ER (Workshops), 2002)

Evaluación del rendimiento de arquitecturas mediante UML-MAST. - Juan Angel Pastor; Bárbara Álvarez; Pedro Sánchez 001; Pedro Javier Navarro Lorente (JISBD, 2002)

A Framework to Translate UML Class Generalization into Java Code. - Pedro Sánchez 001; Patricio Letelier 001; Juan Angel Pastor; Juan Antonio Ortega 001 (OOIS, 2002)

A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST. - Francisco J. Ortiz; Bárbara Álvarez; Juan Angel Pastor; Pedro Sánchez 001 (Ada-Europe, 2003)

Desarrollo de un Sistema de Teleoperación utilizando el enfoque PRISMA. - Jennifer Pérez; Nour Hussein; Isidro Ramos; Juan Angel Pastor; Pedro Sánchez 001; Bárbara Álvarez (JISBD, 2003)

Web-based activities around a digital model railroad platform. - Pedro Sánchez 001; Bárbara Álvarez; Andrés Iborra; José María Fernández-Meroño; Juan Angel Pastor (IEEE Trans. Educ., 2003)

Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada. - Bárbara Álvarez; Juan Angel Pastor; Francisco J. Ortiz; Pedro Sánchez 001; Pedro Javier Navarro Lorente (Ada-Europe, 2004)

Image Processing Application Development: From Rapid Prototyping to SW/HW Co-simulation and Automated Code Generation. - Cristina Vicente-Chicote; Ana Toledo Moreo; Pedro Sánchez-Palma (IbPRIA (1), 2005)

Sistematizando la Especificación de Requisitos Safety: un Caso de Estudio sobre Aplicaciones Teleoperadas. - Elena Navarro 001; Pedro Sánchez 001; Patricio Letelier 001; Juan Angel Pastor; Isidro Ramos (JISBD, 2005)

Generación Automática de Aplicaciones Mixtas Sw/Hw mediante la Integración de Componentes COTS. - Cristina Vicente-Chicote; Ana Toledo Moreo; Carlos Fernández Andrés; Pedro Sánchez-Palma (JISBD, 2005)

Ship shape in Europe: cooperative robots in the ship repair industry. - Carlos Fernández Andrés; Andrés Iborra; Bárbara Álvarez; Juan Angel Pastor; Pedro Sánchez 001; José María Fernández-Meroño; Noelia Ortega (IEEE Robotics Autom. Mag., 2005)

A Systematic Approach to Developing Safe Tele-operated Robots. - Diego Alonso; Pedro Sánchez 001; Bárbara Álvarez; Juan Angel Pastor (Ada-Europe, 2006)

A Goal-Oriented Approach for Safety Requirements Specification. - Elena Navarro 001; Pedro Sánchez 001; Patricio Letelier 001; Juan Angel Pastor; Isidro Ramos (ECBS, 2006)

An architectural framework for modeling teleoperated service robots. - Bárbara Álvarez; Pedro Sánchez-Palma; Juan Angel Pastor; Francisco J. Ortiz (Robotica, 2006)

Automatic Ada Code Generation Using a Model-Driven Engineering Approach. - Diego Alonso; Cristina Vicente-Chicote; Pedro Sánchez 001; Bárbara Álvarez; Fernando Losilla 001 (Ada-Europe, 2007)

Wireless Sensor Network Application Development: An Architecture-Centric MDE Approach. - Fernando Losilla 001; Cristina Vicente-Chicote; Bárbara Álvarez; Andrés Iborra; Pedro Sánchez 001 (ECSA, 2007)

Experiences Using a Component-Oriented Architectural Framework for Robots and Its Improvement with a MDE Approach. - Francisco J. Ortiz; Juan Angel Pastor; Diego Alonso; Bárbara Álvarez; Pedro Sánchez 001 (ECSA, 2007)

A WSAN Solution for Irrigation Control from a Model Driven Perspective. - Fernando Losilla 001; Pedro Sánchez 001; Cristina Vicente-Chicote; Bárbara Álvarez; Andrés Iborra (WSAN, 2007)

Applying MDE to the Development of Flexible and Reusable Wireless Sensor Networks. - Cristina Vicente-Chicote; Fernando Losilla 001; Bárbara Álvarez; Andrés Iborra; Pedro Sánchez 001 (Int. J. Cooperative Inf. Syst., 2007)

Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems. - Jennifer Pérez; Nour Ali; José A. Carsí; Isidro Ramos; Bárbara Álvarez; Pedro Sánchez 001; Juan Angel Pastor (Inf. Softw. Technol., 2008)

MoteGen: Una herramienta para el desarrollo de aplicaciones para redes de sensores. - Fernando Losilla 001; Pedro Sánchez 001; Bárbara Álvarez; Diego Alonso (JISBD, 2009)

Design and Implementation of a Wireless Sensor Network for Precision Horticulture. - Juan Antonio López 001; Fulgencio Soto; Andrés Iborra; Pedro Sánchez 001; Juan Suardíaz Muro (SENSAPPEAL, 2009)

Design of service robots. - Andrés Iborra; Diego Alonso Cáceres; Francisco J. Ortiz; Juan Pastor Franco; Pedro Sánchez-Palma; Bárbara Álvarez (IEEE Robotics Autom. Mag., 2009)

Development of a Sensor Node for Precision Horticulture. - Juan Antonio López 001; Fulgencio Soto; Pedro Sánchez 001; Andrés Iborra; Juan Suardíaz Muro; Juan A. Vera (Sensors, 2009)

Habitation: A Domain-Specific Language for Home Automation. - Manuel Jiménez Buendía; Francisca Rosique; Pedro Sánchez 001; Bárbara Álvarez; Andrés Iborra (IEEE Softw., 2009)

Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach. - Juan Angel Pastor; Diego Alonso; Pedro Sánchez 001; Bárbara Álvarez (Ada-Europe, 2010)

Un lenguaje específico de dominio para aplicaciones domóticas. - Manuel Jiménez Buendía; Francisca Rosique; Pedro Sánchez 001; Bárbara Álvarez; Andrés Iborra (JISBD, 2010)

Diseño de robots de servicio: experiencias utilizando la Ingeniería del Software. - Andrés Iborra; Diego Alonso; Francisco J. Ortiz; Juan Angel Pastor; Pedro Sánchez 001; Bárbara Álvarez (JISBD, 2010)

Un marco integral para el desarrollo de sistemas domóticos. - Francisca Rosique; Pedro Sánchez 001; Manuel Jiménez Buendía; Bárbara Álvarez (JISBD, 2010)

Wireless Sensor Networks for Oceanographic Monitoring: A Systematic Review. - Cristina Albaladejo; Pedro Sánchez 001; Andrés Iborra; Fulgencio Soto; Juan Antonio López 001; Roque Torres (Sensors, 2010)

A Sensor System for Detection of Hull Surface Defects. - Pedro J. Navarro; Andrés Iborra; Carlos Fernández Andrés; Pedro Sánchez 001; Juan Suardíaz Muro (Sensors, 2010)

Lessons Learned in Applying MDE to the Development of Home Automation Systems. - Francisca Rosique; Pedro Sánchez 001; Manuel Jiménez Buendía; Diego Alonso (ICSOFT (2), 2011)

A framework for developing home automation systems: From requirements to code. - Pedro Sánchez 001; Manuel Jiménez Buendía; Francisca Rosique; Bárbara Álvarez; Andrés Iborra (J. Syst. Softw., 2011)

Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications. - Pedro Sánchez 001; Diego Alonso; Francisca Rosique; Bárbara Álvarez; Juan Angel Pastor (IEEE Trans. Computers, 2011)

Traceability Support for MDE Development of Home Automation Systems. - Francisca Rosique; Pedro Sánchez 001; Diego Alonso; Manuel Jiménez Buendía (ICSOFT, 2012)

An educational tool for wireless sensor networks. - Fernando Losilla 001; Pedro Sánchez 001; Bárbara Álvarez; Andrés Iborra (Comput. Appl. Eng. Educ., 2012)

From Teleo-Reactive specifications to architectural components: A model-driven approach. - Pedro Sánchez-Palma; Diego Alonso; José Miguel Morales; Pedro Javier Navarro Lorente (J. Syst. Softw., 2012)

A Low-Cost Sensor Buoy System for Monitoring Shallow Marine Environments. - Cristina Albaladejo; Fulgencio Soto; Roque Torres; Pedro Sánchez 001; Juan Antonio López 001 (Sensors, 2012)

Transforming and tracing reused requirements models to home automation models. - Begoña Moros; Ambrosio Toval; Francisca Rosique; Pedro Sánchez 001 (Inf. Softw. Technol., 2013)

Industrial-Like Vehicle Platforms for Postgraduate Laboratory Courses on Robotics. - Pedro J. Navarro; Carlos Fernández Andrés; Pedro Sánchez 001 (IEEE Trans. Educ., 2013)

A systematic literature review of the Teleo-Reactive paradigm. - Jose Luis Morales; Pedro Sánchez 001; Diego Alonso (Artif. Intell. Rev., 2014)

A tool for facilitating the teaching of smart home applications. - Manuel Jiménez Buendía; Pedro Sánchez 001; Francisca Rosique; Bárbara Álvarez; Andrés Iborra (Comput. Appl. Eng. Educ., 2014)

An educational tool for implementing reactive systems following a goal-driven approach. - Fulgencio Soto; Pedro Sánchez 001; Antonio Mateo; Diego Alonso; Pedro J. Navarro (Comput. Appl. Eng. Educ., 2014)

Towards a Unified Platform for Agent-based Cloud Robotics. - Francisca Rosique; Pedro Sánchez 001; Diego Alonso; Juan Antonio López 001 (ICSOFT-EA, 2015)

TRiStar: an i* extension for teleo-reactive systems requirements specifications. - José Miguel Morales; Elena Navarro 001; Pedro Sánchez-Palma; Diego Alonso (SAC, 2015)

A controlled experiment to evaluate the understandability of KAOS and i* for modeling Teleo-Reactive systems. - José Miguel Morales; Elena Navarro 001; Pedro Sánchez-Palma; Diego Alonso (J. Syst. Softw., 2015)

A family of experiments to evaluate the understandability of TRiStar and i* for modeling teleo-reactive systems. - José Miguel Morales; Elena Navarro 001; Pedro Sánchez-Palma; Diego Alonso (J. Syst. Softw., 2016)

An approach to modeling and developing teleo-reactive systems considering timing constraints. - Pedro Sánchez-Palma; Bárbara Álvarez; José Miguel Morales; Diego Alonso; Andrés Iborra (J. Syst. Softw., 2016)

European entrepreneurial learning in information and communication technologies: The EU-xCEL experience in Spain. - Diego Alonso; Andrés Iborra; Pedro Sánchez 001; Francisco Requena (EDUCON, 2017)

Beyond traditional entrepreneurship education in engineering promoting IoT start-ups from universities. - Andrés Iborra; Pedro Sánchez 001; Juan Angel Pastor; Diego Alonso; Tanya Suarez (ISIE, 2017)

TRIoT: A Proposal for Deploying Teleo-Reactive Nodes for IoT Systems. - Diego Fernández; Pedro Sánchez-Palma; Bárbara Álvarez; Juan Antonio López 001; Andrés Iborra (PAAMS, 2017)

Embedding statecharts into Teleo-Reactive programs to model interactions between agents. - Pedro Sánchez 001; Bárbara Álvarez; Ramón Martínez; Andrés Iborra (J. Syst. Softw., 2017)

A Teleo-Reactive Node for Implementing Internet of Things Systems. - Pedro Sánchez 001; Bárbara Álvarez; Elías Antolinos; Diego Fernández; Andrés Iborra (Sensors, 2018)

Engineering the development of quantum programs: Application to the Boolean satisfiability problem. - Diego Alonso; Pedro Sánchez 001; Francisco Sánchez-Rubio (Adv. Eng. Softw., 2022)

Climaticpark-py - A python framework for the climatic simulation of vehicular parking lots. - Hyacinthe-Marie Nshuti; Juan Morales-García; Andrés Muñoz 001; Pedro J. Navarro; Diego Alonso; Pedro Sánchez 001; Bárbara Álvarez; Fernando Terroso-Saenz (SoftwareX, 2025)

RIPN: A tool for implementing cyber-physical systems by using interpreted Petri Nets and teleo-reactive programs. - Pedro Sánchez 001; Diego Alonso; Fernando Terroso-Saenz; Bárbara Álvarez (SoftwareX, 2025)

QuantumX: an experience for the consolidation of Quantum Computing and Quantum Software Engineering as an emerging discipline. - Juan Manuel Murillo; Ignacio García Rodríguez de Guzmán; Enrique Moguel; Javier Romero-Álvarez; Jaime Alvarado-Valiente; Álvaro M. Aparicio-Morales; José García-Alonso; Ana Díaz-Muñoz; Eduardo Fernández-Medina; Francisco Chicano; Carlos Canal; José Daniel Viqueira; et al. (CoRR, 2026)