Publications related to Interactive, Pervasive and Sensor-based Systems
O. Andrei, M. Calder, M. Chalmers, A. Morrison, M. Rost.
Probabilistic Formal Analysis of App Usage to Inform Redesign.
Proceedings 12th International Conference on Integrated Formal Methods, iFM 2016, Lecture Notes in Computer Science, vol. 9681, 2016. DOI
S. Benford, Rodden, M.
Calder, M. Sevegnani.
On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces.
ACM Transactions on Computer-Human Interaction, volume 23, issue 2, May 2016. DOI
O. Andrei, M. Calder, M.
Higgs, M. Girolami.
Probabilistic Model Checking of DTMC Models of User Activity Patterns
Proceedings QEST 2014, Lecture Notes in Computer Science, vol. 8657, pp. 138--153, 2014.
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.
M. Calder, P. Gray, C. Unsworth.
Is my configuration any good: checking usability in an interactive sensor-based activity monitor.
Innovations in System and Software Engineering, volume 11, issue 2, pp. 131--142 Springer, doi:10.1007/s11334-013-0203-1, 2015.
M. Calder, P. Gray, A. Miller and C. Unsworth.
An introduction to Pervasive Interface Automata
Proceedings of 7th International FACS (Formal Aspects of Component Software). LNCS vol. 6921, pp.71-87, 2011.
8. M. Calder, P. Gray and C. Unsworth
Tightly coupled verification of pervasive systems
Proceedings of the Third International Workshop on Formal Methods for Interactive Systems (FMIS 2009) Electronic Communications of the EASST, volume X, 2009.
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.
10. S. Aitken, P. Gray, T. Melham, and M. Thomas.
A Study of User Activity in Interactive Theorem Proving.
Journal of Symbolic Computation, vol. 25, no. 2, pp. 263-284, February 1998.