Antonio Coronato

According to our database1, Antonio Coronato authored at least 95 papers between 1999 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Preface.
J. Reliable Intelligent Environments, 2019

"Medical Assistance in Contextual awareness" (AMICO): a project for a better cardiopathic patients quality of care.
Proceedings of the IEEE 8th International Workshop on Advances in Sensors and Interfaces, 2019

2018
Editorial.
J. Reliable Intelligent Environments, 2018

Editorial.
J. Reliable Intelligent Environments, 2018

Editorial.
J. Reliable Intelligent Environments, 2018

Gait Anomaly Detection of Subjects With Parkinson's Disease Using a Deep Time Series-Based Approach.
IEEE Access, 2018

A Deep Gait Classification Approach for an Early Recognition of Huntington Diseases.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2018

A Reinforcement Learning-Based Approach for the Risk Management of e-Health Environments: A Case Study.
Proceedings of the 14th International Conference on Signal-Image Technology & Internet-Based Systems, 2018

A Reinforcement-Learning-Based Approach for the Planning of Safety Strategies in AAL Applications.
Proceedings of the Intelligent Environments 2018, 2018

2017
A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks.
Sensors, 2017

Editorial.
J. Reliable Intelligent Environments, 2017

Editorial.
J. Reliable Intelligent Environments, 2017

A structured approach for the designing of safe AAL applications.
Expert Syst. Appl., 2017

Supporting Hypothesis Generation by Machine Learning in Smart Health.
Proceedings of the Innovative Mobile and Internet Services in Ubiquitous Computing, 2017

Towards a Cognitive System for the Identification of Sleep Disorders.
Proceedings of the Intelligent Interactive Multimedia Systems and Services 2017, 2017

A Deep Learning-Based Approach for the Recognition of Sleep Disorders in Patients with Cognitive Diseases: A Case Study.
Proceedings of the Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

An IoT-Aware Architecture for Smart Healthcare Coaching Systems.
Proceedings of the 31st IEEE International Conference on Advanced Information Networking and Applications, 2017

A Machine Learning Approach for Ranking in Question Answering.
Proceedings of the Advances on P2P, 2017

2016
Editorial.
J. Reliable Intelligent Environments, 2016

Editorial.
J. Reliable Intelligent Environments, 2016

Editorial.
J. Reliable Intelligent Environments, 2016

A Review of the Methods for the Dependability Assessment of WSNs: Towards a New Approach.
Ad Hoc & Sensor Wireless Networks, 2016

An Approach for the Evaluation of Sleeping Behaviors Disorders in Patients with Cognitive Diseases: A Case Study.
Proceedings of the 12th International Conference on Signal-Image Technology & Internet-Based Systems, 2016

A Risk-Driven Methodology in Developing Ambient Intelligence Healthcare Systems.
Proceedings of the Intelligent Environments 2016, 2016

Towards a coaching system for daily living activities: the use of kitchen objects and devices for cognitive impaired people.
Proceedings of the Advances on P2P, 2016

2015
Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments.
J. Reliable Intelligent Environments, 2015

Heuristic strategies for assessing wireless sensor network resiliency: an event-based formal approach.
J. Heuristics, 2015

An anomolous situation detection system for cognitive impaired people.
Comput. Syst. Sci. Eng., 2015

Towards a Probabilistic Model Checking-based approach for Medical Device Risk Assessment.
Proceedings of the 2015 IEEE International Symposium on Medical Measurements and Applications, 2015

A Preliminary Study of a Probabilistic Risk-based Approach for Ambient Intelligence Healthcare Systems.
Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015

2014
Editorial to the Special Section on Ambient Intelligence and Assistive Technologies for Cognitive Impaired People.
IEEE J. Biomedical and Health Informatics, 2014

Introduction to the thematic issue on Ambient and Smart Component Technologies for Human Centric Computing.
JAISE, 2014

A situation-aware system for the detection of motion disorders of patients with Autism Spectrum Disorders.
Expert Syst. Appl., 2014

Towards a Personal Health Records system for patients with Autism Spectrum Disorders.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Healthcare and e-health, 2014

2013
Situation Awareness in Applications of Ambient Assisted Living for Cognitive Impaired People.
MONET, 2013

An Intelligent Monitoring System for Cognitive Impaired People.
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

A Safe Kitchen for Cognitive Impaired People.
Proceedings of the Ubiquitous Computing and Ambient Intelligence. Context-Awareness and Context-Driven Interaction, 2013

A survey on resiliency assessment techniques for wireless sensor networks.
Proceedings of the MobiWac'13, 2013

Intelligent Monitoring of Stereotyped Motion Disorders in Case of Children with Autism.
Proceedings of the 9th International Conference on Intelligent Environments, 2013

Approaches of Wireless Sensor Network Dependability Assessment.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

A Monitoring System enhanced by means of Situation-Awareness for Cognitive Impaired People.
Proceedings of the 8th International Conference on Body Area Networks, 2013

2012
Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications.
IEEE Trans. Software Eng., 2012

Introduction to special section on formal methods in pervasive computing.
TAAS, 2012

Uranus: A Middleware Architecture for Dependable AAL and Vital Signs Monitoring Applications.
Sensors, 2012

An infrastructure for smart hospitals.
Multimedia Tools Appl., 2012

Dependable Services for Mobile Health Monitoring Systems.
IJACI, 2012

Static Verification of Wireless Sensor Networks with Formal Methods.
Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012

Service-oriented Communities: Models and Concepts Towards Fractal Social Organizations.
Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012

Formal Modeling of Socio-technical Collective Adaptive Systems.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Towards abnormal behavior detection of cognitive impaired people.
Proceedings of the Tenth Annual IEEE International Conference on Pervasive Computing and Communications, 2012

Long-term Monitoring of Vital Signs for Mobile Patients.
Proceedings of the PECCS 2012, 2012

Detection of Motion Disorders of Patients with Autism Spectrum Disorders.
Proceedings of the Ambient Assisted Living and Home Care - 4th International Workshop, 2012

2011
Formal Specification and Verification of Ubiquitous and Pervasive Systems.
TAAS, 2011

On Dependability Issues in Ambient Intelligence Systems.
IJACI, 2011

2010
Formal specification of wireless and pervasive healthcare applications.
ACM Trans. Embedded Comput. Syst., 2010

A Framework for Engineering Pervasive Applications Applied to Intra-vehicular Sensor Network Applications.
MONET, 2010

Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments.
IJAMC, 2010

Formal Design of Ambient Intelligence Applications.
IEEE Computer, 2010

Formal design and implementation of constraints in software components.
Advances in Engineering Software, 2010

A Middleware Architecture for Safety Critical Ambient Intelligence Applications.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2010

Middleware Services for Pervasive Monitoring Elderly and Ill People in Smart Environments.
Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

A Service Oriented Architectural Model for Realizing Pervasive Grids.
Proceedings of the CISIS 2010, 2010

2009
A multimodal semantic location service for intelligent environments: an application for Smart Hospitals.
Personal and Ubiquitous Computing, 2009

A Topology Based Approach for Context-Awareness in Smart Environments.
Proceedings of the Smart Spaces and Next Generation Wired/Wireless Networking, 2009

Pervasive distributed volume rendering in a lightweight multi-agent platform.
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009

An Infrastructure for Pervasive Access to Clinical Data in eHospitals.
Proceedings of the New Directions in Intelligent Interactive Multimedia Systems and Services, 2009

Formal specification of dependable pervasive applications.
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009

Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
An agent based platform for task distribution in virtual environments.
Journal of Systems Architecture - Embedded Systems Design, 2008

An asynchronous communication system for pervasive grids.
IJWGS, 2008

MiPeG: A middleware infrastructure for pervasive grids.
Future Generation Comp. Syst., 2008

Secure multi-mode systems and their applications for pervasive computing.
Computer Communications, 2008

Middleware mechanisms for supporting multimodal interactions in smart environments.
Computer Communications, 2008

Middleware Services for Multimodal Interactions in Smart Environments.
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

Towards an Implementation of Smart Hospital: A Localization System for Mobile Users and Devices.
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008

Toward a natural interface to virtual medical imaging environments.
Proceedings of the working conference on Advanced Visual Interfaces, 2008

2007
A Web Services Based Architecture for Supporting Mobile Users in Large Enterprises.
J. Web Eng., 2007

A context service for multimodal pervasive environments.
Proceedings of the Third International Conference on Security and Privacy in Communication Networks and the Workshops, 2007

Dynamic Distribution and Execution of Tasks in Pervasive Grids.
Proceedings of the 15th Euromicro International Conference on Parallel, 2007

Automatic Execution of Tasks in MiPeG.
Proceedings of the Advances in Grid and Pervasive Computing, 2007

2006
An Open-source Software Architecture for Immersive Medical Imaging.
Proceedings of the IEEE International Conference on Virtual Environments, 2006

A Semantic Location Service for Pervasive Grids.
Proceedings of the On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, 2006

Middleware Services for Pervasive Grids.
Proceedings of the Parallel and Distributed Processing and Applications, 2006

An RFID-Based Access and Location Service for Pervasive Grids.
Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

2005
Automatic implementation of constraints in component based applications.
Information & Software Technology, 2005

Autonomic Pervasive Grids: A Session Manager Service for Handling Mobile Users.
Proceedings of the Self-Organization and Autonomic Informatics (I), 2005

Plugin-Orb for Applications in a Pervasive Computing Environment.
Proceedings of the 2005 International Conference on Pervasive Systems and Computing, 2005

2004
Supporting Tools for Designing-By-Contract in Component-Based Applications.
Proceedings of the Metainformatics, International Symposium, 2004

Location and Tracking Services for a Meta-UbiComp Environment.
Proceedings of the Metainformatics, International Symposium, 2004

2003
Improving the QoS of MPEG2 streaming over wireless LANs.
Simulation Modelling Practice and Theory, 2003

Video on Demand System Accessibility Environment.
Proceedings of the MIS 2003, 9th International Workshop on Multimedia Information Systems, 2003

2002
Adding Business Rules and Constraints in Component Based Applications.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

2000
Dependability analysis of transmission techniques for MPEG-2 streams.
Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999
A Design Tool for Dependable Video on Demand Applications.
Proceedings of the 25th EUROMICRO '99 Conference, 1999


  Loading...