| 2012 | ||
|---|---|---|
| j20 | Marcello Cinque, Antonio Coronato, Alessandro Testa: Dependable Services for Mobile Health Monitoring Systems. IJACI 4(1): 1-15 (2012) | |
| j19 | Gennaro Della Vecchia, Luigi Gallo, Massimo Esposito, Antonio Coronato: An infrastructure for smart hospitals. Multimedia Tools Appl. 59(1): 341-362 (2012) | |
| j18 | Mohamed Bakhouya, Roy H. Campbell, Antonio Coronato, Giuseppe De Pietro, Anand Ranganathan: Introduction to special section on formal methods in pervasive computing. TAAS 7(1): 6 (2012) | |
| j17 | Antonio Coronato, Giuseppe De Pietro: Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications. IEEE Trans. Software Eng. 38(4): 975-991 (2012) | |
| c31 | Antonio Coronato, Giuseppe De Pietro: Detection of Motion Disorders of Patients with Autism Spectrum Disorders. IWAAL 2012: 415-422 | |
| c30 | Antonio Coronato, Alessandro Testa: Long-term Monitoring of Vital Signs for Mobile Patients. PECCS 2012: 15-20 | |
| c29 | Antonio Coronato, Luigi Gallo: Towards abnormal behavior detection of cognitive impaired people. PerCom Workshops 2012: 859-864 | |
| c28 | Antonio Coronato, Vincenzo De Florio, Mohamed Bakhouya, Giovanna Di Marzo Serugendo: Formal Modeling of Socio-technical Collective Adaptive Systems. SASO Workshops 2012: 187-192 | |
| c27 | Vincenzo De Florio, Antonio Coronato, Mohamed Bakhouya, Giovanna Di Marzo Serugendo: Service-oriented Communities: Models and Concepts Towards Fractal Social Organizations. SITIS 2012: 450-457 | |
| c26 | Alessandro Testa, Antonio Coronato, Marcello Cinque, Juan Carlos Augusto: Static Verification of Wireless Sensor Networks with Formal Methods. SITIS 2012: 587-594 | |
| 2011 | ||
| j16 | Marcello Cinque, Antonio Coronato, Alessandro Testa: On Dependability Issues in Ambient Intelligence Systems. IJACI 3(3): 18-27 (2011) | |
| j15 | Antonio Coronato, Giuseppe De Pietro: Formal Specification and Verification of Ubiquitous and Pervasive Systems. TAAS 6(1): 9 (2011) | |
| 2010 | ||
| j14 | Antonio Coronato, Giuseppe De Pietro: Formal design and implementation of constraints in software components. Advances in Engineering Software 41(5): 737-747 (2010) | |
| j13 | Antonio Coronato, Giuseppe De Pietro: Formal Design of Ambient Intelligence Applications. IEEE Computer 43(12): 60-68 (2010) | |
| j12 | Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuseppe De Pietro: Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments. IJAMC 4(2): 154-166 (2010) | |
| j11 | Antonio Coronato, Giuseppe De Pietro, Jong Hyuk Park, Han-Chieh Chao: A Framework for Engineering Pervasive Applications Applied to Intra-vehicular Sensor Network Applications. MONET 15(1): 137-147 (2010) | |
| j10 | Antonio Coronato, Giuseppe De Pietro: Formal specification of wireless and pervasive healthcare applications. ACM Trans. Embedded Comput. Syst. 10(1) (2010) | |
| c25 | Mario Ciampi, Antonio Coronato, Giuseppe De Pietro: A Service Oriented Architectural Model for Realizing Pervasive Grids. CISIS 2010: 1044-1049 | |
| c24 | Antonio Coronato, Giuseppe De Pietro, Giovanna Sannino: Middleware Services for Pervasive Monitoring Elderly and Ill People in Smart Environments. ITNG 2010: 810-815 | |
| c23 | Antonio Coronato, Giuseppe De Pietro: A Middleware Architecture for Safety Critical Ambient Intelligence Applications. NEW2AN 2010: 26-37 | |
| 2009 | ||
| j9 | Antonio Coronato, Massimo Esposito, Giuseppe De Pietro: A multimodal semantic location service for intelligent environments: an application for Smart Hospitals. Personal and Ubiquitous Computing 13(7): 527-538 (2009) | |
| c22 | Antonio Coronato, Giuseppe De Pietro: Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department. AINA Workshops 2009: 1043-1048 | |
| c21 | Antonio Coronato, Giuseppe De Pietro: Formal specification of dependable pervasive applications. APSCC 2009: 358-365 | |
| c20 | Luigi Gallo, Antonio Coronato: Pervasive distributed volume rendering in a lightweight multi-agent platform. Int. Conf. Interaction Sciences 2009: 750-755 | |
| c19 | Antonio Coronato, Giuseppe De Pietro: A Topology Based Approach for Context-Awareness in Smart Environments. NEW2AN 2009: 32-41 | |
| 2008 | ||
| j8 | Jong Hyuk Park, Hsiao-Hwa Chen, Antonio Coronato, Gerd Kortuem: Secure multi-mode systems and their applications for pervasive computing. Computer Communications 31(18): 4232-4233 (2008) | |
| j7 | Antonio Coronato, Giuseppe De Pietro: Middleware mechanisms for supporting multimodal interactions in smart environments. Computer Communications 31(18): 4242-4247 (2008) | |
| j6 | Antonio Coronato, Giuseppe De Pietro: MiPeG: A middleware infrastructure for pervasive grids. Future Generation Comp. Syst. 24(1): 17-29 (2008) | |
| j5 | Mario Ciampi, Antonio Coronato, Giuseppe De Pietro: An asynchronous communication system for pervasive grids. IJWGS 4(2): 211-221 (2008) | |
| j4 | Antonio Coronato, Giuseppe De Pietro, Luigi Gallo: An agent based platform for task distribution in virtual environments. Journal of Systems Architecture - Embedded Systems Design 54(9): 877-882 (2008) | |
| c18 | Luigi Gallo, Giuseppe De Pietro, Antonio Coronato, Ivana Marra: Toward a natural interface to virtual medical imaging environments. AVI 2008: 429-432 | |
| c17 | Antonio Coronato, Giuseppe De Pietro: Middleware Services for Multimodal Interactions in Smart Environments. PerCom 2008: 515-519 | |
| c16 | Antonio Coronato, Massimo Esposito: Towards an Implementation of Smart Hospital: A Localization System for Mobile Users and Devices. PerCom 2008: 715-719 | |
| 2007 | ||
| j3 | Antonio Coronato, Giuseppe De Pietro: A Web Services Based Architecture for Supporting Mobile Users in Large Enterprises. J. Web Eng. 6(2): 131-142 (2007) | |
| c15 | Antonio Coronato, Giuseppe De Pietro, Luigi Gallo: Automatic Execution of Tasks in MiPeG. GPC 2007: 702-709 | |
| c14 | Antonio Coronato, Giuseppe De Pietro, Luigi Gallo: Dynamic Distribution and Execution of Tasks in Pervasive Grids. PDP 2007: 419-423 | |
| c13 | Antonio Coronato, Giuseppe De Pietro: A context service for multimodal pervasive environments. SecureComm 2007: 84-87 | |
| 2006 | ||
| c12 | Antonio Coronato, Gennaro Della Vecchia, Giuseppe De Pietro: An RFID-Based Access and Location Service for Pervasive Grids. EUC Workshops 2006: 601-608 | |
| c11 | Mario Ciampi, Antonio Coronato, Giuseppe De Pietro: Middleware Services for Pervasive Grids. ISPA 2006: 485-498 | |
| c10 | Antonio Coronato, Giuseppe De Pietro, Massimo Esposito: A Semantic Location Service for Pervasive Grids. OTM Workshops (2) 2006: 1274-1284 | |
| 2005 | ||
| j2 | Antonio Coronato, Antonio d'Acierno, Giuseppe De Pietro: Automatic implementation of constraints in component based applications. Information & Software Technology 47(7): 497-509 (2005) | |
| c9 | Antonio d'Acierno, Giuseppe De Pietro, Antonio Coronato, Giuliano Gugliara: Plugin-Orb for Applications in a Pervasive Computing Environment. PSC 2005: 140-146 | |
| c8 | Antonio Coronato, Giuseppe De Pietro: Autonomic Pervasive Grids: A Session Manager Service for Handling Mobile Users. SOAS 2005: 175-182 | |
| 2004 | ||
| c7 | Antonio Coronato, Antonio d'Acierno, Diego D'Ambrosio, Giuseppe De Pietro: Supporting Tools for Designing-By-Contract in Component-Based Applications. Metainformatics 2004: 1-13 | |
| c6 | Antonio Coronato, Giuseppe De Pietro: Location and Tracking Services for a Meta-UbiComp Environment. Metainformatics 2004: 179-191 | |
| 2003 | ||
| j1 | Antonio Coronato, Giuseppe De Pietro, Antonino Mazzeo, Luigi Romano: Improving the QoS of MPEG2 streaming over wireless LANs. Simulation Modelling Practice and Theory 11(7-8): 533-555 (2003) | |
| c5 | Antonio Coronato, Giuseppe De Pietro, Gennaro Della Vecchia, Giuliano Gugliara: Video on Demand System Accessibility Environment. Multimedia Information Systems 2003: 107-114 | |
| 2002 | ||
| c4 | Antonio Coronato, Marco Cinquegrani, Giuseppe De Pietro: Adding Business Rules and Constraints in Component Based Applications. CoopIS/DOA/ODBASE 2002: 948-964 | |
| 2000 | ||
| c3 | Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro: Experimental Evaluation of the Recovery Strategies of a Distributed VoD Application. PDPTA 2000 | |
| c2 | Luigi Romano, Nicola Mazzocca, Antonio Coronato, Giuseppe De Pietro: Dependability analysis of transmission techniques for MPEG-2 streams. PRDC 2000: 120-127 | |
| 1999 | ||
| c1 | Luigi Romano, Antonio Coronato, Antonino Mazzeo, Nicola Mazzocca: A Design Tool for Dependable Video on Demand Applications. EUROMICRO 1999: 2150- | |
Colors in the list of coauthors
Last update Fri May 24 05:14:44 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page