Calder, M. and Sevegnani, M. (2019) Stochastic model checking for predicting component failures and service availability. IEEE Transactions on Dependable and Secure Computing, 16(1), pp. 174-187. (doi: 10.1109/TDSC.2017.2650901)

Benford, S., Calder, M. , Rodden, T. and Sevegnani, M. (2016) On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces. ACM Transactions on Computer-Human Interaction, 23(2), 9. (doi: 10.1145/2882784)

Calder, M. , Gray, P. and Unsworth, C. (2015) Is my configuration any good: checking usability in an interactive sensor-based activity monitor. Innovations in Systems and Software Engineering, (doi: 10.1007/s11334-013-0203-1)

Calder, M. and Sevegnani, M. (2014) Do I need to fix a failed component now, or can I wait until tomorrow? In: Tenth European Dependable Computing Conference (EDCC 2014), Newcastle Upon Tyne, UK, 13-16 May 2014, pp. 66-77. (doi: 10.1109/EDCC.2014.15)

Calder, M. , Gray, P., Miller, A. and Unsworth, C. (2012) An Introduction to Pervasive Interface Automata. Lecture Notes in Computer Science, 6921, pp. 71-87. (doi: 10.1007/978-3-642-27269-1_5)