Publications related to Communications and Networks

1.         M. Calder, M. Sevegnani.
Stochastic model checking for predicting component failures and service availability
IEEE Transactions on Dependable and Secure Computing, in press, 2017. DOI

2.         M. Calder, M. Sevegnani.
Do I need to fix a failed component now, or can I wait until tomorrow?
EDCC (Tenth European Dependable Computing Conference), IEEE, 2014.

3.         M. Calder, A. Koliousis, M. Sevegnani, J. Sventek.
Real-time verification of wireless home networks using bigraphs with sharing.
Science of Computer Programming, volume 80, part B, Feb., pp. 288--310, 2014. Online copy at http:/ 

4.         M. Calder, M. Sevegnani.
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing.
Formal Aspects of Computer Science, vol. 26, issue 3, pp. 537--561,Springer, doi:10.1007/s00165-012-0270-3, 2014.

5.         A. Miller and M. Calder.
An automatic abstraction technique for verifying featured, parameterised systems

Theoretical Computer Science, 404, pp. 235-255, 2008.

6.         D. Graham, M. Calder, and A Miller
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols

Proceedings of AVOCS 07 (Automated Verification of Critical Systems), ENTCS vol. 250, pp.87-103, Elsevier 2009.

7.         A. Miller, M. Calder and A. Donaldson
A template-based approach for the generation of abstractable and reducible models of featured networks

Computer Networks, vol
. 51(2), pp. 439-455, Elsevier, 2007.

8.         A. Miller and M. Calder.
A generic approach for the automatic verification of featured, parameterised systems

Proceedings of Eighth International Conference on Feature Interactions in Telecommunications and Software Systems (ICFI '05) ,
pp 217-235, IOS Press, 2005

9.         A. Donaldson, A. Miller and M. Calder.
Finding symmetry in models of concurrent systems by static channel diagram analysis

Electronic Notes in Theoretical Computer Science, vol. 128/6, pp 161-177, Elsevier, 2004.

10.     M Calder and A. Miller.
Verifying parameterised, featured networks by abstraction
Proceedings of the first International Symposium on Leveraging Applications of Formal Methods (ISOLA'04), pp 227--234.

11.     P.Saffrey and M. Calder.
Optimising Communications Structure for Model Checking Lecture Notes in Computer Science,
Proceedings of FASE 2004, Lecture Notes in Computer Science, vol. 2984, pp 310-3224, Springer Verlag, 2004.

12.     A.Miller and M Calder.
An application of abstraction and induction techniques to degenerating systems of processes.
Proceedings of the International Workshop on Model-Checking for Dependable Software Intensive Systems (MCDSIS '03), IEEE Computer Society Press, 2003.

13.     M. Calder and A. Miller.
Using SPIN to Analyse the FireWire Protocol -- a Case Study.
Formal Aspects of Computer Science, vol. 14, no. 3, pp. 247266, Springer Verlag, 2003.

14.     M. Calder and A. Miller.
Automated verification of any number of concurrent, communicating processes.
Proceedings of 17th IEEE Automated Software Engineering
(ASE 2002), pp. 227-230, IEEE, 2002.

15.     M. Calder and A. Miller.
Five ways to use symmetry and induction in the verification of networks of processes using model-checking.
Proceedings of Automated Verification of Critical Systems (AVoCS),2002.

16.     M Calder, E. Magill, S. Reiff-Marganiec, and V. Thayananthan.
Theory and Practice of Enhancing a Legacy Software System.
Systems Engineering for Business Process Change (volume 2), P.Henderson (ed.) Springer-Verlag, 2001.

17.     M. Calder and S. Reiff.
Modelling Legacy Telecommunications Switching Systems for Interaction Analysis.
Systems Engineering for Business Process Change, P. Henderson (ed.), pp. 182-195, Springer-Verlag, 2000.

18.     M. Calder.
What Use are Formal Analysis and Design Methods to Telecommunications Services?
In Feature Interactions in Telecommunications and Software Systems, pp. 23-31, IOS Press, 1998.

19.     M. Thomas.
Modelling and Analysing User Views of Telecommunications Services.
In Feature Interactions in Telecommunications Systems, pp. 168-183, IOS Press, 1997.

20.     M. Thomas and B. Ormsby.
On the Design of Side-Stick Controllers in Fly-By-Wire Aircraft.

ACM Applied Computing Review , Volume 2, Number 1, Spring 1994. 

21.     M. Thomas.
A Translator Tool for ASN.1 into LOTOS.
Formal Description Techniques V. Elsevier (North Holland) Science Publishers, M. Diaz, R. Groz (eds.), B.V. Amsterdam, 1993, pp. 37-52, 1993.

22.     M. Thomas.
From 1 Notation to Another One: An ACT-ONE Semantics for ASN.1.
Formal Description Techniques II , pp. 517-532, S.T. Vuong (Ed.), Elsevier (North Holland) Science Publishers, B.V. Amsterdam, 1990.