José Antonio Esparza Isasa

According to our database, José Antonio Esparza Isasa authored at least 6 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

A holistic approach to energy-aware design of cyber-physical systems.

José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen

Int. J. Embed. Syst., 2017

2014

Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems.

José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Energy-Aware Model-Driven Development of a Wearable Healthcare Device.

José Antonio Esparza Isasa, Peter Gorm Larsen, Finn Overgaard Hansen

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

ICT-enabled Medical Compression Stocking for Treatment of Leg Venous Insufficiency.

Troels Fedder Jensen, Finn Overgaard Hansen, José Antonio Esparza Isasa, Peter Høgh Mikkelsen, Tomi Hakala, Timo Vuorela

Proceedings of the BIODEVICES 2014, 2014

Distributed ICT Architecture for Developing, Configuring and Monitoring Mobile Embedded Healthcare Systems.

Finn Overgaard Hansen, Troels Fedder Jensen, José Antonio Esparza Isasa

Proceedings of the HEALTHINF 2014, 2014

Modelling Energy Consumption in Embedded Systems with VDM-RT.

José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014