Models and concepts for socio‐technical complex systems: towards fractal social organizations V De Florio, M Bakhouya, A Coronato, G Di Marzo Systems Research and Behavioral Science 30 (6), 750-772, 2013 | 47 | 2013 |
MiPeG: A middleware infrastructure for pervasive grids A Coronato, G De Pietro Future Generation Computer Systems 24 (1), 17-29, 2008 | 47 | 2008 |
Formal specification of wireless and pervasive healthcare applications A Coronato, GDE Pietro ACM Transactions on Embedded Computing Systems (TECS) 10 (1), 1-18, 2010 | 44 | 2010 |
Formal design of ambient intelligence applications A Coronato, G De Pietro Computer 43 (12), 60-68, 2010 | 43 | 2010 |
A multimodal semantic location service for intelligent environments: an application for Smart Hospitals A Coronato, M Esposito, G De Pietro Personal and Ubiquitous Computing 13 (7), 527-538, 2009 | 43 | 2009 |
Formal specification and verification of ubiquitous and pervasive systems A Coronato, G De Pietro ACM Transactions on Autonomous and Adaptive Systems (TAAS) 6 (1), 1-6, 2011 | 40 | 2011 |
A situation-aware system for the detection of motion disorders of patients with autism spectrum disorders A Coronato, G De Pietro, G Paragliola Expert Systems with Applications 41 (17), 7868-7877, 2014 | 32 | 2014 |
Uranus: A middleware architecture for dependable AAL and vital signs monitoring applications A Coronato Sensors 12 (3), 3145-3161, 2012 | 32 | 2012 |
Toward a natural interface to virtual medical imaging environments L Gallo, G De Pietro, A Coronato, I Marra Proceedings of the working conference on Advanced visual interfaces, 429-432, 2008 | 31 | 2008 |
Situation awareness in applications of ambient assisted living for cognitive impaired people A Coronato, G De Pietro Mobile Networks and Applications 18 (3), 444-453, 2013 | 30 | 2013 |
Tools for the rapid prototyping of provably correct ambient intelligence applications A Coronato, G De Pietro IEEE Transactions on Software Engineering 38 (4), 975-991, 2011 | 29 | 2011 |
Towards an implementation of smart hospital: A localization system for mobile users and devices A Coronato, M Esposito 2008 Sixth Annual IEEE International Conference on Pervasive Computing and …, 2008 | 29 | 2008 |
A semantic context service for smart offices A Coronato, G De Pietro, M Esposito 2006 International Conference on Hybrid Information Technology 2, 391-399, 2006 | 24 | 2006 |
An infrastructure for smart hospitals G Della Vecchia, L Gallo, M Esposito, A Coronato Multimedia Tools and Applications 59 (1), 341-362, 2012 | 21 | 2012 |
An iot-aware architecture for smart healthcare coaching systems A Amato, A Coronato 2017 IEEE 31st International Conference on Advanced Information Networking …, 2017 | 20 | 2017 |
Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach A Testa, M Cinque, A Coronato, G De Pietro, JC Augusto Journal of Heuristics 21 (2), 145-175, 2015 | 20 | 2015 |
Service-oriented communities: Models and concepts towards fractal social organizations V De Florio, A Coronato, M Bakhouya, GDM Serugendo 2012 Eighth International Conference on Signal Image Technology and Internet …, 2012 | 20 | 2012 |
Introduction to special section on formal methods in pervasive computing M Bakhouya, R Campbell, A Coronato, G Pietro, A Ranganathan ACM Transactions on Autonomous and Adaptive Systems (TAAS) 7 (1), 1-9, 2012 | 20 | 2012 |
A failure modes and effects analysis of mobile health monitoring systems M Cinque, A Coronato, A Testa Innovations and Advances in Computer, Information, Systems Sciences, and …, 2013 | 19 | 2013 |
Static verification of wireless sensor networks with formal methods A Testa, A Coronato, M Cinque, JC Augusto 2012 Eighth International Conference on Signal Image Technology and Internet …, 2012 | 19 | 2012 |