Vol. 22 (2009): Formal Methods for Interactive Systems 2009

DOI: https://doi.org/10.14279/tuj.eceasst.22

Published: 2010-01-04

Articles

Markov Abstractions for Probabilistic Pi-Calculus

Hugh Anderson, Gabriel Ciobanu
- PDF
Towards the Verification of Pervasive Systems

Myrto Arapinis, Muffy Calder, Louise Dennis, Michael Fisher, Philip Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
- PDF
A Logical Framework for Trust-Related Emotions

Jean-FranÃ§ois Bonnefon, Dominique Longin, Manh Hung Nguyen
- PDF
Tightly coupled verification of pervasive systems

Muffy Calder, Phil Gray, Chris Unsworth
- PDF
UI-Design Driven Model-Based Testing

Judy Bowen, Steve Reeves
- PDF