Radu Calinescu

Search results

• 2024

  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). IEEE Computer Society, p. 2643-2654 12 p. 214. (Proceedings - International Conference on Software Engineering).

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

  Open Access

• 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

• Normative Requirements Operationalization with Large Language Models

  Feng, N., Marsso, L., Getir Yaman, S., Standen, I., Baatartogtokh, Y., Ayad, R., De Mello, V. O., Townsend, B., Bartels, H., Cavalcanti, A., Calinescu, R. & Chechik, M., 21 Aug 2024, Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024. Liebel, G., Hadar, I. & Spoletini, P. (eds.). IEEE Computer Society, p. 129-141 13 p. (Proceedings of the IEEE International Conference on Requirements Engineering).

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

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

  Autonomous Emergency Triage Support System

  Ashaolu, O., 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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
• 2021

  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

• 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

• Probabilistic Program Performance Analysis

  Stefanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021). IEEE, p. 148-157 10 p.

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

  Open Access

  File

• Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

  Riley, J., Calinescu, R., Paterson, C., Kudenko, D. & Banks, A., Feb 2021, 13th International Conference on Agents and Artificial Intelligence.

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

  Open Access

  File

• Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis

  Stefanakos, I., Gerasimou, S. & Calinescu, R., 20 Dec 2021, Model Driven Engineering Languages and Systems Companion: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE

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

  Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

  Calinescu, R., Cortelessa, V., Stefanakos, I. & Trubiani, C., 17 Mar 2020, (E-pub ahead of print) Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Springer, p. 357-377 21 p. (Lecture Notes in Computer Science; vol. 12076).

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

  Open Access

  File

• Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems

  Picardi, C., Paterson, C., Hawkins, R. D., Calinescu, R. & Habli, I., 27 Feb 2020, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). CEUR Workshop Proceedings, p. 23-30 (CEUR Workshop Proceedings; vol. 2560).

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

  Open Access

  File

• Interval Change-Point Detection for Runtime Probabilistic Model Checking

  Zhao, X., Calinescu, R., Gerasimou, S., Robu, V. & Flynn, D., 24 Dec 2020, 35th IEEE/ACM International Conference on Automated Software Engineering. IEEE

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

  Open Access

  File

• Safety Controller Synthesis for Collaborative Robots

  Gleirscher, M. & Calinescu, R., 28 Oct 2020, Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS).

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

  Open Access

  File

• Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

  Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). IEEE, 6 p.

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

  Open Access

  File

• Understanding Uncertainty in Self-adaptive Systems

  Calinescu, R., Mirandola, R., Perez-Palacin, D. & Weyns, D., 17 Jul 2020, 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems.

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

  Open Access

  File
• 2019

  Perpetual Assurances for Self-Adaptive Systems

  Weyns, D., Bencomo, N., Calinescu, R., Cámara, J., Ghezzi, C., Grassi, V., Grunske, L., Inverardi, P., Jézéquel, J.-M., Malek, S., Mirandola, R., Mori, M. & Tamburrelli, G., 12 Mar 2019, Software Engineering for Self-Adaptive Systems III. Assurances. Springer, p. 31-63 33 p. (Lecture Notes in Computer Science; vol. 9640).

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

  Open Access

  File

• Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

  Calinescu, R. C., Camara Moreno, J. & Paterson, C., 5 Sept 2019, 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems. IEEE

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

  Open Access

  File

• Towards systematic engineering of collaborative heterogeneous robotic systems

  Gerasimou, S., Matragkas, N. & Calinescu, R., 27 May 2019, 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE). IEEE, p. 25-28 4 p.

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

• Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

  Paterson, C., Calinescu, R. C., Wang, D. & Manandhar, S. K., 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  Open Access

  File
• 2018

  Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems

  Calinescu, R. C. & Yonbawi, S. R., 18 Jul 2018, Workshop on Verification and Validation of Autonomous Systems.

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

  Open Access

  File

• Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds

  Alasmari, N. N. M. & Calinescu, R. C., 2018, Proceedings of the 6th International Conference on Enterprise Systems.

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

  Open Access

  File
• 2017

  Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

  Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) IEEE International Conference on Software Architecture (ICSA 2017). IEEE

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

  Open Access

  File

• Assured Reinforcement Learning for Safety-Critical Applications

  Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. SciTePress, 8 p.

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

  Open Access

  File

• Assured Reinforcement Learning with Formally Verified Abstract Policies

  Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, 9th International Conference on Agents and Artificial Intelligence (ICAART).

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

  Open Access

  File

• Designing Robust Software Systems through Parametric Markov Chain Synthesis

  Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Apr 2017, IEEE International Conference on Software Architecture (ICSA 2017). IEEE, p. 1-10 10 p.

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

  Open Access

  File

• RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

  Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 2017, RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. p. 304-308 5 p. (14th International Conference on Quantitative Evaluation of Systems).

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

  Open Access

  File

• Self-Adaptive Role-Based Access Control for Business Processes

  da Silva, C. E., da Silva, J. D. S., Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, 11 p.

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

  Open Access

  File

• UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

  Calinescu, R. C., Gerasimou, S., Shevtsov, S. & Weyns, D., 22 Feb 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, p. 1-7 7 p.

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

  Open Access

  File
• 2016

  FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals

  Calinescu, R. C., Johnson, K. H. A. & Paterson, C. A., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).

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

  Open Access

  File

• Towards Platform Independent Database Modelling in Enterprise Systems

  Ellison, M. H., Calinescu, R. C. & Paige, R. F., 2016, STAF 2016: Software Technologies: Applications and Foundations. Springer, p. 42-50 9 p. (Lecture Notes in Computer Science (LNCS); vol. 9946).

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

  Open Access

  File
• 2015

  A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

  Johnson, K. H. A., Sinha, R., Calinescu, R. & Ruan, J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, p. 159-166

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

  Open Access

  File

• Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

  Gerasimou, S., Tamburrelli, G. & Calinescu, R., 2015, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). 12 p.

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

  Open Access

  File