Publication

Show all

2012

Bakhouya, Mohamed ; Campbell, Roy ; Coronato, Antonio ; de Pietro, Giuseppe ; Ranganathan, Anand

Introduction to special section on formal methods in pervasive computing Journal Article

ACM Transactions on Autonomous and Adaptive SystemsACM Transactions on Autonomous and Adaptive SystemsACM Transactions on Autonomous and Adaptive Systems, 7 (1), pp. 1-9, 2012, ISBN: 1556-4665, (951AH<br/>Times Cited:0<br/>Cited References Count:36).

Abstract | BibTeX | Tags: design, formal specification and verification, methodologies and tools, mobile ambients, temporal logic, ubiquitous and pervasive safety-critical applications, verification

2008

Ranganathan, Anand ; Campbell, Roy H

Provably Correct Pervasive Computing Environments Conference

Percom 2008, IEEE IEEE, Hong Kong, 2008, ISBN: 978-0-7695-3113-7.

Abstract | BibTeX | Tags: Ambient Calculus, Formal Methods, Model Checking, Pervasive Computing, verification