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
522008
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
502013
Formal specification of wireless and pervasive healthcare applications
A Coronato, GDE Pietro
ACM Transactions on Embedded Computing Systems (TECS) 10 (1), 1-18, 2010
482010
Formal design of ambient intelligence applications
A Coronato, G De Pietro
Computer 43 (12), 60-68, 2010
452010
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
442009
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
422011
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
382014
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
372008
Uranus: A middleware architecture for dependable AAL and vital signs monitoring applications
A Coronato
Sensors 12 (3), 3145-3161, 2012
332012
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
322008
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
312013
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
302011
An iot-aware architecture for smart healthcare coaching systems
A Amato, A Coronato
2017 IEEE 31st International Conference on Advanced Information Networking …, 2017
262017
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
242006
An infrastructure for smart hospitals
G Della Vecchia, L Gallo, M Esposito, A Coronato
Multimedia Tools and Applications 59 (1), 341-362, 2012
222012
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
212015
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
212012
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
202012
A structured approach for the designing of safe aal applications
A Coronato, G Paragliola
Expert Systems with Applications 85, 1-13, 2017
192017
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
192012
The system can't perform the operation now. Try again later.
Articles 1–20