Radu Calinescu

Search results

• 2024

  A Deep Learning-enhanced Digital Twin Framework for Improving Safety and Reliability in Human-Robot Collaborative Manufacturing

  Wang, S., Zhang, J., Wang, P., Law, J., Calinescu, R. & Mihaylova, L., 1 Feb 2024, In: Robotics and computer-integrated manufacturing. 85, 14 p., 102608.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Analyzing and Debugging Normative Requirements via Satisfiability Checking

  Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Baatartogtokh, Y., Ayad, R., Oldemburgo de Mello, V., Standen, I., Stefanakos, I., Imrie, C. C., Nunes Rodrigues, G., Cavalcanti, A. L. C., Calinescu, R. & Chechik, M., 12 Apr 2024, 46th International Conference on Software Engineering (ICSE 2024). 214

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Bayesian Learning for the Robust Verification of Autonomous Robots

  Zhao, X., Gerasimou, S., Calinescu, R., Imrie, C. C., Robu, V. & Flynn, D., 27 Jan 2024, In: Communications Engineering. 3, 18.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Computer Assisted Diagnosis in the Acute Setting: The Emergency Clinician's Perspective

  Ashaolu, OT., Hodge, V. J., Townsend, B., Habli, I. & Calinescu, R., 12 Sept 2024, SSRN.

  Research output: Working paper › Preprint

  Open Access

• Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components

  Calinescu, R., Imrie, C. C., Mangal, R., Rodrigues, G., S.Păsăreanu, C., Alpizar Santana, M. & Vazquez Flores, G., 1 Jun 2024, In: IEEE Transactions on Software Engineering . 50, p. 1374-1395 22 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Formal Synthesis of Uncertainty Reduction Controllers

  Carwehl, M., Imrie, C. C., Vogel, T., Rodrigues, G., Calinescu, R. & Grunske, L., 16 Apr 2024, 19th International Conference on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2024). ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

  Menghi, C., Tsigkanos, C., Askarpour, M., Pelliccione, P., Vazquez, G., Calinescu, R. & Garcia, S., 1 Apr 2024, In: IEEE Transactions on Software Engineering . 49, 4, p. 2741-2760 20 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Predicting Nonfunctional Requirement Violations in Autonomous Systems

  Fang, X., Getir Yaman, S., Calinescu, R., Wilson, J. C. & Paterson, C., 14 Feb 2024, In: ACM Transactions on Autonomous and Adaptive Systems. 19, 1, 25 p., 6.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Robotics: A New Mission for FRET Requirements

  Vazquez Flores, G., Mavridou, A., Farrell, M., Pressburger, T. & Calinescu, R., 8 Apr 2024, (Accepted/In press) NASA Formal Methods (NFM).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction

  Bethell, D., Gerasimou, S. & Calinescu, R., 25 Feb 2024, Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24). (Thirty-Eighth AAAI Conference on Artificial Intelligence (AAAI-24)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• SALSA: Swarm Algorithm Simulator

  Beedle, J., Imrie, C. C. & Calinescu, R., 20 Sept 2024, 5th IEEE International Conference on Autonomic Computing and Self-Organizing Systems - ACSOS 2024. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• SLEEC-TK

  Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A. L. C. & Calinescu, R., 4 Apr 2024

  Research output: Non-textual form › Software

• Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  Getir Yaman, S., Ribeiro, P., Cavalcanti, A. L. C., Calinescu, R., Paterson, C. & Townsend, B., 23 Sept 2024, (Accepted/In press) In: Journal of Systems and Software.

  Research output: Contribution to journal › Article › peer-review

• The Safety of Autonomy: A Systematic Approach

  McDermid, J. A., Calinescu, R., Habli, I., Hawkins, R., Jia, Y., Molloy, J., Osborne, M., Paterson, C., Porter, Z. & Ryan Conmy, P., 3 Apr 2024, In: Computer. 57, 4, p. 16-25 10 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Toolkit for Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A. L. C. & Calinescu, R., 1 Sept 2024, In: Science of Computer Programming. 236, 6 p., 103118.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2023

  Autonomous Emergency Triage Support System

  Ashaolu, OT., Lyons, W., Stefanakos, I., Calinescu, R., Habli, I., Hodge, V. J., Picardi, C., Plant, K. & Townsend, B., 26 Nov 2023, Computational Science and Computational Intelligence: 2023 International Conference on Computational Science and Computational Intelligence (CSCI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Buccaneer model building with neural network fragment selection

  Alharbi, E., Calinescu, R. & Cowtan, K. D., 28 Mar 2023, In: Acta crystallographica. Section D, Structural biology. 79, 4, p. 326-338 13 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study

  Păsăreanu, C. S., Mangal, R., Gopinath, D., Getir Yaman, S., Imrie, C. C. & Calinescu, R., 17 Jul 2023, Computer Aided Verification. CAV 2023. Enea, C. & Lal, A. (eds.). Springer, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 13964).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Fast Parametric Model Checking with Applications to Software Performability Analysis

  Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 1 Oct 2023, In: IEEE Transactions on Software Engineering . 49, p. 4707-4730 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Goal Controller Synthesis for Self-Adaptive Systems

  Calinescu, R. & Nunes Rodrigues, G., 22 Feb 2023, (Accepted/In press) FormaliSE International Conference on Formal Methods in Software Engineering. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Medical practitioner perspectives on AI in emergency triage

  Townsend, B. A., Plant, K. L., Hodge, V. J., Ashaolu, OT. & Calinescu, R., 6 Dec 2023, In: Frontiers in Digital Health. 5, 13 p., 1297073.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Mission specification and decomposition for multi-robot systems

  Bernd Gil, E., Nunes Rodrigues, G., Pelliccione, P. & Calinescu, R., 1 May 2023, In: Robotics and Autonomous Systems. 163, 18 p., 104386.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Probabilistic program performance analysis with confidence intervals

  Stefanakos, I., Calinescu, R. & Gerasimou, S., 1 Apr 2023, In: Information and Software Technology. 156, 18 p., 107143.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

  Yaman, S. G., Cavalcanti, A., Calinescu, R., Paterson, C., Ribeiro, P. & Townsend, B., 7 Jul 2023.

  Research output: Working paper › Preprint

  File

• Specification and Validation of Normative Rules for Autonomous Agents

  Getir Yaman, S., Burholt, C., Jones, M., Calinescu, R. & Cavalcanti, A., 2023, (E-pub ahead of print).

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Towards a Formal Framework for Normative Requirements Elicitation

  Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Cavalcanti, A., Calinescu, R. & Chechik, M., 8 Nov 2023, Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023. Institute of Electrical and Electronics Engineers Inc., p. 1776-1780 5 p. (Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards Lifelong Social Robot Navigation in Dynamic Environments

  Zhang, Q., Stefanakos, I., Camara Moreno, J. & Calinescu, R., 15 Sept 2023, 24th Towards Autonomous Robotic Systems Conference (TAROS), Proceedings. Springer, 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2022

  Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata

  Camara, J., Calinescu, R., Cheng, B., Garlan, D., Schmerl, B., Troya, J. & Vallecillo, A., 2022, (Accepted/In press) 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems . ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies

  Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 20 Jan 2022, 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• From Pluralistic Normative Principles to Autonomous-Agent Rules

  Townsend, B., Paterson, C., Arvind, T. T., Nemirovsky, G., Calinescu, R., Cavalcanti, A. L. C., Habli, I. & Thomas, A. P., 29 Oct 2022, In: Minds and Machines.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Mitigating Risk in Neural Network Classifiers

  Alpizar Santana, M., Calinescu, R. & Paterson, C., 30 Aug 2022, 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) . IEEE, 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Predicting Locally Manageable Resource Failures of High Availability Clusters

  Somasekaram, P. & Calinescu, R., 2022, In: Software: Practice and Experience.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• PRESTO: Predicting System-level Disruptions through Parametric Model Checking

  Fang, X., Calinescu, R., Paterson, C. & Wilson, J. C., 15 Aug 2022, SEAMS '22: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems. ACM, p. 91-97

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Quantitative Verification with Adaptive Uncertainty Reduction

  Alasmari, N., Calinescu, R., Paterson, C. & Mirandola, R., 22 Feb 2022, (E-pub ahead of print) In: Journal of Systems and Software. 188, 19 p., 111275.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Risk-aware Real-time Object Detection

  Alpizar Santana, M., Calinescu, R. & Paterson, C., 2 Nov 2022, 18th European Dependable Computing Conference. IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Safety Controller Synthesis for a Mobile Manufacturing Cobot

  Stefanakos, I., Calinescu, R., Douthwaite, J. A., Aitken, J. & Law, J., 26 Jul 2022, (Accepted/In press) Software Engineering and Formal Methods 2022: Proceedings. Springer, 17 p. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems

  Vazquez Flores, G., Calinescu, R. & Camara, J., 2022, (Accepted/In press) Fourth Workshop on Formal Methods for Autonomous Systems.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes

  Alasmari, N. & Calinescu, R., 2022, 48th Euromicro Conference on Software Engineering and Advanced Applications.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• The Uncertainty Interaction Problem in Self-Adaptive Systems

  Cámara, J., Troya, J., Vallecillo, A., Bencomo, N., Calinescu, R., Cheng, B., Garlan, D. & Schmerl, B., 17 Aug 2022, (E-pub ahead of print) In: Software and Systems Modeling. 21, 4, 18 p.

  Research output: Contribution to journal › Article

  Open Access

  File

• Towards Planning and Adaptation of Assistive-care Robot Tasks

  Hamilton, J., Stefanakos, I., Calinescu, R. & Camara, J., 2022, (Accepted/In press) Fourth Workshop on Formal Methods for Autonomous Systems. 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration

  Gleirscher, M., Calinescu, R., Douthwaite, J., Lesage, B. M. J-R., Paterson, C., Aitken, J., Alexander, R. & Law, J., 4 Apr 2022, (E-pub ahead of print) In: Science of Computer Programming. 102809.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
• 2021

  A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics

  Douthwaite, J. A., Lesage, B. M. J-R., Gleirscher, M., Calinescu, R., Aitken, J. M., Alexander, R. & Law, J., 10 Dec 2021, In: Frontiers in Robotics and AI. 8, 17 p., 758099.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges

  Paterson, C., Calinescu, R. & Ashmore, R., 1 May 2021, In: ACM Computing Surveys. 54, 5, 39 p., 111.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers

  Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Fast Parametric Model Checking through Model Fragmentation

  Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACM

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)

  Hawkins, R. D., Paterson, C., Picardi, C., Jia, Y., Calinescu, R. & Habli, I., 3 Feb 2021

  Research output: Book/Report › Commissioned report

  Open Access

• High-Availability Clusters: A Taxonomy, Survey, and Future Directions

  Somasekaram, P., Calinescu, R. & Buyya, R., 29 Dec 2021, (E-pub ahead of print) In: Journal of Systems and Software. 111208.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Maintaining driver attentiveness in shared-control autonomous driving

  Calinescu, R., Alasmari, N. & Gleirscher, M., 12 Mar 2021, (Accepted/In press) Software Engineering for Adaptive and Self-Managing Systems. IEEE, (IEEE Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Model-Driven Simulation-Based Analysis for Multi-Robot Systems

  Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Predicting the performance of automated crystallographic model-building pipelines

  Alharbi, E., Bond, P., Calinescu, R. & Cowtan, K., 1 Dec 2021, In: Acta crystallographica. Section D, Structural biology. 77, Pt 12, p. 1591-1601 11 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File