Pedro Sánchez

Fernando Terroso-Saenz

SoftwareX, 2025

Climaticpark-py - A python framework for the climatic simulation of vehicular parking lots.

[BibT_eX]

[DOI]

Hyacinthe-Marie Nshuti

Fernando Terroso-Saenz

SoftwareX, 2025

2022

Engineering the development of quantum programs: Application to the Boolean satisfiability problem.

[BibT_eX]

[DOI]

Francisco Sánchez-Rubio

Adv. Eng. Softw., 2022

2018

A Teleo-Reactive Node for Implementing Internet of Things Systems.

[BibT_eX]

[DOI]

Sensors, 2018

2017

Embedding statecharts into Teleo-Reactive programs to model interactions between agents.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

TRIoT: A Proposal for Deploying Teleo-Reactive Nodes for IoT Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection, 2017

Beyond traditional entrepreneurship education in engineering promoting IoT start-ups from universities.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017

European entrepreneurial learning in information and communication technologies: The EU-xCEL experience in Spain.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Global Engineering Education Conference, 2017

2016

An approach to modeling and developing teleo-reactive systems considering timing constraints.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

A family of experiments to evaluate the understandability of TRiStar and i<sup>*</sup> for modeling teleo-reactive systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

2015

A controlled experiment to evaluate the understandability of KAOS and i* for modeling Teleo-Reactive systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

TRiStar: an <i>i</i>* extension for teleo-reactive systems requirements specifications.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards a Unified Platform for Agent-based Cloud Robotics.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2015, 2015

2014

An educational tool for implementing reactive systems following a goal-driven approach.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2014

A tool for facilitating the teaching of smart home applications.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2014

A systematic literature review of the Teleo-Reactive paradigm.

[BibT_eX]

[DOI]

Jose Luis Morales

Artif. Intell. Rev., 2014

2013

Industrial-Like Vehicle Platforms for Postgraduate Laboratory Courses on Robotics.

[BibT_eX]

[DOI]

Pedro J. Navarro

IEEE Trans. Educ., 2013

Transforming and tracing reused requirements models to home automation models.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

2012

A Low-Cost Sensor Buoy System for Monitoring Shallow Marine Environments.

[BibT_eX]

[DOI]

Sensors, 2012

From Teleo-Reactive specifications to architectural components: A model-driven approach.

[BibT_eX]

[DOI]

Pedro Javier Navarro Lorente

José Miguel Morales

J. Syst. Softw., 2012

An educational tool for wireless sensor networks.

[BibT_eX]

[DOI]

Comput. Appl. Eng. Educ., 2012

Traceability Support for MDE Development of Home Automation Systems.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Introducing Safety Requirements Traceability Support in Model-Driven Development of Robotic Applications.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2011

A framework for developing home automation systems: From requirements to code.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

Lessons Learned in Applying MDE to the Development of Home Automation Systems.

[BibT_eX]

Proceedings of the ICSOFT 2011, 2011

2010

A Sensor System for Detection of Hull Surface Defects.

[BibT_eX]

[DOI]

Pedro J. Navarro

Juan Suardíaz Muro

Sensors, 2010

Wireless Sensor Networks for Oceanographic Monitoring: A Systematic Review.

[BibT_eX]

[DOI]

Sensors, 2010

Un marco integral para el desarrollo de sistemas domóticos.

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Diseño de robots de servicio: experiencias utilizando la Ingeniería del Software.

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Un lenguaje específico de dominio para aplicaciones domóticas.

[BibT_eX]

Proceedings of the XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), 2010

Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologiey, 2010

2009

Habitation: A Domain-Specific Language for Home Automation.

[BibT_eX]

[DOI]

IEEE Softw., 2009

Development of a Sensor Node for Precision Horticulture.

[BibT_eX]

[DOI]

Sensors, 2009

Design of service robots.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Mag., 2009

Design and Implementation of a Wireless Sensor Network for Precision Horticulture.

[BibT_eX]

[DOI]

Proceedings of the Sensor Applications, Experimentation, and Logistics, 2009

MoteGen: Una herramienta para el desarrollo de aplicaciones para redes de sensores.

[BibT_eX]

Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

2008

Integrating aspects in software architectures: PRISMA applied to robotic tele-operated systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2008

2007

Applying MDE to the Development of Flexible and Reusable Wireless Sensor Networks.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2007

A WSAN Solution for Irrigation Control from a Model Driven Perspective.

[BibT_eX]

[DOI]

Fernando Losilla

Proceedings of the Wireless Sensor and Actor Networks, 2007

Experiences Using a Component-Oriented Architectural Framework for Robots and Its Improvement with a MDE Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, First European Conference, 2007

Wireless Sensor Network Application Development: An Architecture-Centric MDE Approach.

[BibT_eX]

[DOI]

Fernando Losilla

Proceedings of the Software Architecture, First European Conference, 2007

Automatic Ada Code Generation Using a Model-Driven Engineering Approach.

[BibT_eX]

[DOI]

Fernando Losilla

Proceedings of the Reliable Software Technologies, 2007

2006

An architectural framework for modeling teleoperated service robots.

[BibT_eX]

[DOI]

Robotica, 2006

A Goal-Oriented Approach for Safety Requirements Specification.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

A Systematic Approach to Developing Safe Tele-operated Robots.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2006

2005

Ship shape in Europe: cooperative robots in the ship repair industry.

[BibT_eX]

[DOI]

José María Fernández-Meroño

Noelia Ortega

IEEE Robotics Autom. Mag., 2005

Generación Automática de Aplicaciones Mixtas Sw/Hw mediante la Integración de Componentes COTS.

[BibT_eX]

Ana Toledo Moreo

Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Sistematizando la Especificación de Requisitos Safety: un Caso de Estudio sobre Aplicaciones Teleoperadas.

[BibT_eX]

Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Image Processing Application Development: From Rapid Prototyping to SW/HW Co-simulation and Automated Code Generation.

[BibT_eX]

[DOI]

Ana Toledo Moreo

Pedro Javier Navarro Lorente

Proceedings of the Pattern Recognition and Image Analysis, Second Iberian Conference, 2005

2004

Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2004

2003

Web-based activities around a digital model railroad platform.

[BibT_eX]

[DOI]

José María Fernández-Meroño

Juan Angel Pastor

IEEE Trans. Educ., 2003

Desarrollo de un Sistema de Teleoperación utilizando el enfoque PRISMA.

[BibT_eX]

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

2002

A Framework to Translate UML Class Generalization into Java Code.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented. Information Systems, 8th International Conference, 2002

Evaluación del rendimiento de arquitecturas mediante UML-MAST.

[BibT_eX]

Juan Angel Pastor

Pedro Javier Navarro Lorente

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Validation of UML Classes through Animation.

[BibT_eX]

[DOI]

Proceedings of the Advanced Conceptual Modeling Techniques, 2002

2001

Animation of OASIS Specifications by Means of Object Oriented Petri Nets.

[BibT_eX]

[DOI]

Computación y Sistemas, 2001

Animación de Especificaciones OASIS Mediante Redes de Petri Orientadas a Objeto.

[BibT_eX]

[DOI]

Computación y Sistemas, 2001

2000

OCA: Un entorno de animación concurrente para la validación de modelos conceptuales.

[BibT_eX]

Isidro Ramos

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999

Animating Formal Specifications with Inheritance in a DL-Based Framework.

[BibT_eX]

[DOI]

Isidro Ramos

Requir. Eng., 1999

Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program.

[BibT_eX]

[DOI]