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

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)