2023

1.  D.B. Abeywickrama, A. Bennaceur, G. Chance, Y. Demiris, A. Kordoni, M. Levine, L. Moffat, L. Moreau, M.R Mousavi, B. Nuseibeh, S. Ramamoorthy, J.O. Ringert, J. Wilson, S. Windsor, K. Eder. Communications of the ACM, January 2024, Vol. 67 No. 1, Pages 98-109. 10.1145/3624699.  https://dl.acm.org/doi/10.1145/3624699

2022

1.  N. Alasmaria, R. Calinescu, C. Paterson, R. Mirandola. Quantitative verification with adaptive uncertainty reduction, Journal of Systems and Software, 2021. https://doi.org/10.1016/j.jss.2022.111275

2.  M. Gleirscher, R. Calinescu, J. Douthwaite, B. Lesage, C. Paterson, J. Aitken, R. Alexander, J.Law. Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration, Science of Computer Programming, 2022. https://www.sciencedirect.com/science/article/pii/S0167642322000429

3. B. Townsend, C. Paterson, T.T. Arvind, G. Nemrovsky, R. Calinescu, A. Cavalcanti, I. Habli, A. Thomas. From Pluralistic Normative Principles to Autonomous-Agent Rules, Minds & Machines, 2022.  https://doi.org/10.1007/s11023-022-09614-w

2021

1.  R. Ashmore, R. Calinescu, C. Paterson. Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Computing Surveys, 2021. To appear. Preprint available at https://arxiv.org/abs/1905.04223

2.  X. Fang, R. Calinescu, S. Gerasimou, F. Alhwikem. Fast Parametric Model Checking through Model Fragmentation. 43rd International Conference on Software Engineering. To appear. Preprint available at https://arxiv.org/abs/1905.04223

3.  C. Shen, L. Mihaylova. A flexible robust Student's t-based multimodel approach with maximum Versoria criterion. Signal Processing, 182, 107941, 2021. https://doi.org/10.1016/j.sigpro.2020.107941

4.  P. Wang, L. Mihaylova, S. Munir, R. Chakraborty, J. Wang, M. Mayfield, K. Alam, M.  F. Khokhar & D. Coca. A Computationally Ef ficient Symmetric Diagonally Dominant Matrix Projection-based Gaussian Process Approach. Signal Processing, 2021. https://doi.org/10.1016/j.sigpro.2021.108034

5.  W. Aftab & L. Mihaylova. A Learning Gaussian Process Approach for Maneuvering Target Tracking and Smoothing. IEEE Transactions on Aerospace and Electronic Systems, 2021. https://doi.org/10.1109/TAES.2020.3021220

6.  M. Gleirscher, R. Calinescu & J. Woodcock. Risk Structures: A Design Algebra for Risk-Aware Machines. Formal Aspects of Computing,  2021. https://pure.york.ac.uk/portal/en/publications/risk-structures(97054dfc-2756-4645-aec0-e8697bf7b552).html

7. R. Calinescu, N. Alasmari & M. Gleirscher. Maintaining driver attentiveness in shared-control autonomous driving. Software Engineering for Adaptive and Self-Managing Systems, 2021. https://pure.york.ac.uk/portal/en/publications/maintaining-driver-attentiveness-in-sharedcontrol-autonomous-driving(0d51959d-4b62-4076-bbaa-2c6010248ab4).html

8. Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garcia, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani and Gabriel S. Rodrigues. RoboMAX: Robotic Mission Adaptation eXemplars. Software Engineering for Adaptive and Self-Managing Systems, 2021. http://hdl.handle.net/10993/46656

9.  Z. Li, L. Mihaylova & L. Yang. A Deep Learning Framework for Autonomous Flame Detection. Neurocomputing, 2021. https://doi.org/10.1016/j.neucom.2021.03.019

10.  C. Paterso, R.Calinescu & C.Picardi. Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers, 2021. https://arxiv.org/pdf/1911.12780.pdf

11.  Bev Townsend. Decoding the Proposed European Union Artificial Intelligence Act. ASIL Insights, 2021.  https://www.asil.org/sites/default/files/ASIL_Insights_2021_V25_I20.pdf

12. J.A. Douthwaite, B. Lesage, M. Gleirscher, R. Calinescu, J. M. Aitken, R. Alexander and J. Law. A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics.  Frontiers in Robotics and AI, 2021. https://doi.org/10.3389/frobt.2021.758099

Background publications 

1.  T. T. Arvind, J. Gray. The limits of technocracy: Private law’s future in the regulatory state. Private Law in the 21st Century. Hart Publishing, 2017. https://doi.org/10.5040/9781509908615.ch-012

2.  G. Beavis, J. Wilson, M. Sykes. Quantitative scores for binary qualitative proficiency testing. Accreditation and Quality Assurance, 24(4):263–269, 2019.  https://doi.org/10.1007/s00769-019-01386-8

3.  A. Bennaceur, T. T. Tun, A. K. Bandara, Y. Yu & B. Nuseibeh. Feature-Driven Mediator Synthesis: Supporting Collaborative Security in the Internet of Things. TCPS, 2(3), 2018.  https://doi.org/10.1145/3134843

4.  L. Bishop, A. van Maris, S. Dogramadzi, N. Zook. Social robots: The influence of human and robot characteristics on acceptance. Paladyn, 10(1), 2019.  https://doi.org/10.1515/pjbr-2019-0028

5.  P. Bremner, N. Trigoni, I. Brown, H. Gunes, C. Bevan, D. Fraser, M. Levine. Being there: Humans and robots in public spaces. ICSR, 2013. http://dx.doi.org/10.1007/978-3-319-02675-6

6.  S. Burton, I. Habli, T. Lawton, J. McDermid, P. Morgan & Z. Porter. Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective. Artificial Intell, 279, 2020. https://doi.org/10.1016/j.artint.2019.103201

7.  P. Caleb-Solly, S. Dogramadzi, C. A. Huijnen, & H. V. D. Heuvel. Exploiting ability for human adaptation to facilitate improved human-robot interaction and acceptance. Inf Soc, 34(3), 2018. https://doi.org/10.1080/01972243.2018.1444255

8.  R. Calinescu, C. Ghezzi, K. Johnson, M. Pezzé, Y. Rafiq & G.Tamburrelli. Formal verification with confidence intervals to establish quality of service properties of software systems. IEEE Trans Reliability, 65(1), 2016. https://doi.org/10.1109/TR.2015.2452931

9.  R. Calinescu,  M. Češka, S. Gerasimou, M. Kwiatkowska, & N. Paoletti. Efficient synthesis of robust models for stochastic systems. J Syst & Softw, 143, 2018. https://doi.org/10.1016/j.jss.2018.05.013

10.  R. Calinescu, D. Weyns, S. Gerasimou, M. U. Iftikhar, I. Habli & T. Kelly. Engineering trustworthy self-adaptive software with dynamic assurance cases. IEEE Trans Softw Eng, 44(11), 2018. https://doi.org/10.1109/TSE.2017.2738640

11.  A. Cavalcanti, A. Sampaio, A. Miyazawa, P. Ribeiro, M. Conserva Filho, A. Didier, ... & J. Timmis. Verified simulation for robotics. Science of Computer Programming, 174, 2019. https://doi.org/10.1016/j.scico.2019.01.004

12.  A. L. de Oliveira, R. Braga, P. Masiero, D. Parker, Y. Papadopoulos, I. Habli & T. Kelly. Variability management in safety-critical systems design and dependability analysis. J Softw: Evolution & Process, 31(8), 2019. https://doi.org/10.1002/smr.2202

13.  S. Dogramadzi, M. E. Giannaccini, C. Harper, M. Sobhani, R. Woodman, & J. Choung. Environmental hazard analysis –A variant of preliminary hazard analysis for autonomous mobile robots. J Intell Robot Syst, 76(1), 2014. https://doi.org/10.1007/s10846-013-0020-7

14.  I. Georgilas, G. Dagnino, S. Dogramadzi. Safe human robot interaction in medical robotics: A case study on robotic fracture surgery system. JMRR, 2(3), 2017. https://doi.org/10.1142/S2424905X17400086

15.  J. Gore, P. Ward, G. E. Conway, T. C. Ormerod, B. W. Wong &, N. A. Stanton. Naturalistic decision making: navigating uncertainty in complex sociotechnical work. Cognition, Technology & Work, 20(4), 2018. https://doi.org/10.1007/s10111-018-0531-x

16.  O. Isupova, D. Kuzin, L. Mihaylova. Learning Methods for Dynamic Topic Modelling in Automated Behaviour Analysis IEEE Trans NNLS, 29(9), 2018.  https://doi.org/10.1109/TNNLS.2017.2735364.

17.  M. Koschate, R. Potter, P. Bremner, M. Levine. Overcoming the uncanny valley: Displays of emotions reduce the uncanniness of humanlike robots. https://dl.acm.org/doi/10.5555/2906831.2906892

18.  D. Kuzin, O. Isupova, L. Mihaylova. Spatio-temporal Structured Sparse Regression with Hierarchical Gaussian Process Priors. IEEE Trans Sig Proc, 66(17), 2018. https://doi.org/10.1109/TSP.2018.2858207

19.  J. Law, P. Shaw, K. Earland, M. Sheldon, & M. H. Lee. A psychology grounded approach for longitudinal development in cognitive robotics. Frontiers in Neurorobotics, 8(1), 2014.  https://doi.org/10.3389/fnbot.2014.00001

20.  M. Levine, R. Manning. Social identity, group processes, and helping in emergencies. European Review of Social Psychology, 24(1),  2013. https://doi.org/10.1080/10463283.2014.892318

21.  T. Lopez, T. Tun, A. Bandara, M. Levine, B. Nuseibeh, & H. Sharp. Taking the middle path: Learning about security through online social interaction. IEEE Softw, 37, 2020. https://doi.org/10.1109/MS.2019.2945300

22.  A. Miyazawa, P. Ribeiro, W. Li, A. Cavalcanti, J. Timmis, & J. Woodcock. RoboChart: modeling & verification of the functional behaviour of robotic applications. Softw & Syst Model, 2019. https://doi.org/10.1007/s10270-018-00710-z

23.  C. Paterson, R. Calinescu, S. Manandhar & D. Wang. Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans. SEAMS, 2019. https://doi.org/10.1109/SEAMS.2019.00013

24.  A. Thomas. Williams on integrity, ground projects and reasons to be moral. Why Be Moral? de Gruyter, 2015. https://doi.org/10.1515/9783110366396-016

25.  C. Tsigkanos, L. Pasquale, C. Ghezzi, B Nuseibeh. On the interplay between cyber & physical spaces for adaptive security. IEEE Trans Depend Sec Comp, 15, 2018. https://doi.org/10.1109/TDSC.2016.2599880

26.  G. Walker, N. Stanton  & P. Salmon. Trust in vehicle technology. Int J Vehicle Design, 70(2), 2016. https://doi.org/10.1504/IJVD.2016.074419

27.  J. Wilson, M. Ristic, J. Kirkwood, D. Hargreaves, & J. Newman. Predicting the effect of chemical factors on the pH of crystallisation trials. iScience, 2020. https://doi.org/10.1016/j.isci.2020.101219

28.  Y. Yu, V. N. Franqueira, T. T. Tun, R. J. Wieringa & B. Nuseibeh. Automated analysis of security requirements through risk-based argumentation. J Syst Softw, 106, 2015.  https://doi.org/10.1016/j.jss.2015.04.065