UNIVERSITY of GLASGOW

Computing at Glasgow University
 

Publications for '- no address book entry -' ordered by Year. (3)

2008 2006

2008

Model Checking Medium Access Control for Sensor Networks
Ballarini,P. Miller,A. IEEE Proceedings of ISOLA'06 Leveraging Applications of Formal methods pp 255-262 IEEE Computer Society Press [More Details].

2006

(Towards) Model Checking Medium Access Control for Sensor Networks
Ballarini,P. Miller,A. Proceedings of the second international symposium on leveraging applications of formal methods pp 256-262 [More Details].

Uncertain Agent Verification through Probabilistic Model-Checking
Ballarini,P. Fisher,M.D. Wooldrige,M. to appear on LNAI hot topic volume Springer [More Details].