Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Antonio
    Last name: Coronato
    DBLP: 45/3720
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 51  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Marcello Cinque, Antonio Coronato, Alessandro Testa.
    Dependable Services for Mobile Health Monitoring Systems.
    IJACI 2012, Volume 4 (0) 2012
    Conference paper
    Antonio Coronato, Alessandro Testa.
    Long-term Monitoring of Vital Signs for Mobile Patients.
    PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems, Rome, Italy, 24-26 February, 2012 2012 (0) 2012
    Journal article
    Mohamed Bakhouya, Roy H. Campbell, Antonio Coronato, Giuseppe De Pietro, Anand Ranganathan.
    Introduction to special section on formal methods in pervasive computing.
    TAAS 2012, Volume 7 (0) 2012
    Journal article
    Gennaro Della Vecchia, Luigi Gallo, Massimo Esposito, Antonio Coronato.
    An infrastructure for smart hospitals.
    Multimedia Tools Appl. 2012, Volume 59 (0) 2012
    Conference paper
    Antonio Coronato, Luigi Gallo.
    Towards abnormal behavior detection of cognitive impaired people.
    Tenth Annual IEEE International Conference on Pervasive Computing and Communications, PerCom 2012, March 19-23, 2012, Lugano, Switzerland, Workshop Proceedings 2012 (0) 2012
    Conference paper
    Antonio Coronato, Giuseppe De Pietro.
    Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications.
    IEEE Trans. Software Eng. 2012, Volume 38 (0) 2012
    Conference paper
    Antonio Coronato, Giuseppe De Pietro.
    Detection of Motion Disorders of Patients with Autism Spectrum Disorders.
    Ambient Assisted Living and Home Care - 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Alessandro Testa, Antonio Coronato, Marcello Cinque, Juan Carlos Augusto.
    Static Verification of Wireless Sensor Networks with Formal Methods.
    Eighth International Conference on Signal Image Technology and Internet Based Systems, SITIS 2012, Sorrento, Naples, Italy, November 25-29, 2012 2012 (0) 2012
    Conference paper
    Vincenzo De Florio, Antonio Coronato, Mohamed Bakhouya, Giovanna Di Marzo Serugendo.
    Service-oriented Communities: Models and Concepts Towards Fractal Social Organizations.
    Eighth International Conference on Signal Image Technology and Internet Based Systems, SITIS 2012, Sorrento, Naples, Italy, November 25-29, 2012 2012 (0) 2012
    Conference paper
    Antonio Coronato, Vincenzo De Florio, Mohamed Bakhouya, Giovanna Di Marzo Serugendo.
    Formal Modeling of Socio-technical Collective Adaptive Systems.
    Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2012, Lyon, France, September 10-14, 2012 2012 (0) 2012
    Show item 1 to 10 of 51  

    Your query returned 51 matches in the database.