Publications related
to Communications and Networks
1.
M. Calder, M. Sevegnani.
Stochastic model checking for predicting component failures and service
availability
IEEE Trans. Dependable and Secure Computing, vol.16:1,
pp.174-187, 2019. DOI
2.
M. Sevegnani, M. Kaban,
J. McCann, Calder.
Modelling and Verification of Large-Scale Sensor Network Infrastructures
23rd International Conference on Engineering of Complex
Computer Systems (ICECCS), 2018.
3.
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.
4.
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:/www.sciencedirect.com/science/article/pii/S0167642313001974.
5.
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.
6.
A. Miller and M. Calder.
An automatic abstraction technique for verifying featured, parameterised
systems
Theoretical Computer Science, 404, pp. 235-255, 2008.
7.
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.
8.
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.
9.
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
10. 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.
11.
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.
12.
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.
13.
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.
14.
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.
15.
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.
16. 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.
17.
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.
18.
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.
19.
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.
20.
M. Thomas.
Modelling and Analysing User Views of Telecommunications Services.
In Feature
Interactions in Telecommunications Systems, pp. 168-183, IOS
Press, 1997.
21.
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.