Tools for the Rapid Prototyping of Provably Correct Ambient Intelligence Applications

Formal Specification and Verification of Ubiquitous and Pervasive Systems

(2011) Antonio Coronato et al.   ACM Transactions on Autonomous and Adaptive Systems

Interoperable and adaptive fuzzy services for ambient intelligence applications

(2010) Giovanni Acampora et al.   ACM Transactions on Autonomous and Adaptive Systems

Formal specification of wireless and pervasive healthcare applications

(2010) Antonio Coronato et al.   ACM Transactions on Embedded Computing Systems

Formal Design of Ambient Intelligence Applications

(2010) Antonio Coronato et al.   COMPUTER

The verified software initiative

(2009) C.A.R. Hoare et al.   ACM COMPUTING SURVEYS

Using formal specifications to support testing

(2009) Robert M. Hierons et al.   ACM COMPUTING SURVEYS

A multimodal semantic location service for intelligent environments: an application for Smart Hospitals

(2009) Antonio Coronato et al.   Personal and Ubiquitous Computing

Ambient intelligence: Technologies, applications, and opportunities

(2009) Diane J. Cook et al.   Pervasive and Mobile Computing

R-OSGi-based architecture of distributed smart home system

(2008) Jiankun Wu et al.   IEEE TRANSACTIONS ON CONSUMER ELECTRONICS

A brief account of runtime verification

(2008) Martin Leucker et al.   JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING