2023
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
