Antonio Coronato
Antonio Coronato
Researcher at ICAR-CNR
Verified email at icar.cnr.it - Homepage
Title
Cited by
Cited by
Year
MiPeG: A middleware infrastructure for pervasive grids
A Coronato, G De Pietro
Future Generation Computer Systems 24 (1), 17-29, 2008
472008
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
462013
Formal specification of wireless and pervasive healthcare applications
A Coronato, GDE Pietro
ACM Transactions on Embedded Computing Systems (TECS) 10 (1), 1-18, 2010
432010
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
422009
Formal design of ambient intelligence applications
A Coronato, G De Pietro
Computer 43 (12), 60-68, 2010
412010
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
382011
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
312008
Uranus: A middleware architecture for dependable AAL and vital signs monitoring applications
A Coronato
Sensors 12 (3), 3145-3161, 2012
292012
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
282011
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
272008
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
262013
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
252014
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
232006
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
202012
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
192013
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
192012
An iot-aware architecture for smart healthcare coaching systems
A Amato, A Coronato
2017 IEEE 31st International Conference on Advanced Information Networking …, 2017
182017
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
182012
An infrastructure for smart hospitals
G Della Vecchia, L Gallo, M Esposito, A Coronato
Multimedia Tools and Applications 59 (1), 341-362, 2012
182012
Dependable services for mobile health monitoring systems
M Cinque, A Coronato, A Testa
International Journal of Ambient Computing and Intelligence (IJACI) 4 (1), 1-15, 2012
182012
The system can't perform the operation now. Try again later.
Articles 1–20