Publications
related to Interactive, Pervasive and Sensor-based Systems
1.
O. Andrei,
M. Calder, M. Chalmers, A. Morrison.
Interpreting Computational Models of Interactive Software Usage.
ACM CHI workshop
Computational Modeling in Human-Computer Interaction, Glasgow, UK, 5 May 2019.
2. O. Andrei, M.
Calder.
Data-driven modelling and probabilistic analysis of interactive software usage.
Journal of Logic and
Algebraic Methods in Programming, vol. 100, 2018. DOI
3. M. Calder, S. Dobson, M Fisher, J. McCann.
Making Sense of the World: Framing Models for Trustworthy Sensor-Driven
Systems.
Computers 7(4); 62,
2018, 2018.
4. O. Andrei, M.
Calder.
Temporal Analytics for Software Usage Models.
DataMod 2017, Lecture Notes in Computer Science, vol.
10729, 2018. DOI
5.
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 .
6.
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
7. 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
8. 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.
9. 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.
10. 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.
11. 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.
12.
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.
13.
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.
14.
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.