Radu Calinescu

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 128

Top Venues

CoRR

SEAMS@ICSE

IEEE Trans. Software Eng.

J. Syst. Softw.

Publications

Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. CoRR (2024)
Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236 (2024)
Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou
Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. SEAMS@ICSE (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE (2024)
Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
Robotics: A New Mission for FRET Requirements. NFM (2024)
Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson
Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Trans. Auton. Adapt. Syst. 19 (1) (2024)
Shenglin Wang, Jingqiong Zhang, Peng Wang, James Law, Radu Calinescu, Lyudmila Mihaylova
A deep learning-enhanced Digital Twin framework for improving safety and reliability in human-robot collaborative manufacturing. Robotics Comput. Integr. Manuf. 85 (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Normative Requirements Operationalization with Large Language Models. CoRR (2024)
Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. 50 (6) (2024)
Daniel Bethell, Simos Gerasimou, Radu Calinescu
Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. AAAI (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR (2024)
Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers. CoRR (2024)
John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
The Safety of Autonomy: A Systematic Approach. Computer 57 (4) (2024)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
Towards a Formal Framework for Normative Requirements Elicitation. ASE (2023)
Daniel Bethell, Simos Gerasimou, Radu Calinescu
Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction. CoRR (2023)
Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya, Radu Calinescu, Lyudmila Mihaylova
Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. CoRR (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) (2023)
Beverley A. Townsend, Katherine L. Plant, Victoria J. Hodge, Ol'tunde Ashaolu, Radu Calinescu
Medical practitioner perspectives on AI in emergency triage. Frontiers Digit. Health 5 (2023)
Eric Bernd Gil, Genaína Nunes Rodrigues, Patrizio Pelliccione, Radu Calinescu
Mission specification and decomposition for multi-robot systems. Robotics Auton. Syst. 163 (2023)
James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
Model-driven design space exploration for multi-robot systems in simulation. Softw. Syst. Model. 22 (5) (2023)
Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
Probabilistic program performance analysis with confidence intervals. Inf. Softw. Technol. 156 (2023)
Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti
Specification and Validation of Normative Rules for Autonomous Agents. FASE (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR (2023)
Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn
Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR (2023)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng. 49 (10) (2023)
Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya, Radu Calinescu, Lyudmila Mihaylova
Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. FUSION (2023)
Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley Townsend
Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR (2023)
Katie J. Parnell, Siobhan Merriman, Sinem Getir Yaman, Katherine L. Plant, Radu Calinescu
Resilient strategies for socially compliant autonomous assistive dressing robots. TAS (2023)
Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Radu Calinescu, Genaína Nunes Rodrigues
Goal Controller Synthesis for Self-Adaptive Systems. FormaliSE (2023)
Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Trans. Software Eng. 49 (4) (2023)
Gricel Vázquez, Radu Calinescu, Javier Cámara
Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM (2022)
Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR (2022)
Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21 (4) (2022)
Misael Alpizar Santana, Radu Calinescu, Colin Paterson
Risk-aware Real-time Object Detection. EDCC (2022)
Brendan Devlin-Hill, Radu Calinescu, Javier Cámara, Ipek Caliskanelli
Towards Scalable Multi-robot Systems by Partitioning the Task Domain. TAROS (2022)
Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu
Side-channel Attacks and Countermeasures in Cloud Services and Infrastructures. NOMS (2022)
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. 218 (2022)
Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu
Protecting Shared Virtualized Environments against Cache Side-channel Attacks. ICISSP (2022)
Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law
Safety Controller Synthesis for a Mobile Manufacturing Cobot. SEFM (2022)
Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. CoRR (2022)
Danny Weyns, Paris Avergriou, Radu Calinescu, Sara Mahdavi-Hezavehi, Raffaela Mirandola, Diego Perez-Palacin
Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems. CoRR (2022)
Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara
Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM (2022)
Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS (2022)
Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola
Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188 (2022)
Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
PRESTO: Predicting System-level Disruptions through Parametric Model Checking. SEAMS (2022)
Premathas Somasekaram, Radu Calinescu
Predicting locally manageable resource failures of high availability clusters. Softw. Pract. Exp. 52 (10) (2022)
Beverley Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. 32 (4) (2022)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking. CoRR (2022)
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. KES-IDT (2022)
Naif Alasmari, Radu Calinescu
Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes. SEAA (2022)
Premathas Somasekaram, Radu Calinescu, Rajkumar Buyya
High-availability clusters: A taxonomy, survey, and future directions. J. Syst. Softw. 187 (2022)
Misael Alpizar Santana, Radu Calinescu, Colin Paterson
Mitigating Risk in Neural Network Classifiers. SEAA (2022)
Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR (2021)
Rob Ashmore, Radu Calinescu, Colin Paterson
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Comput. Surv. 54 (5) (2021)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking through Model Fragmentation. ICSE (2021)
Mario Gleirscher, Radu Calinescu, Jim Woodcock
RiskStructures: A design algebra for risk-aware machines. Formal Aspects Comput. 33 (4-5) (2021)
Colin Paterson, Radu Calinescu, Chiara Picardi
Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers. AITest (2021)
Radu Calinescu, Naif Alasmari, Mario Gleirscher
Maintaining driver attentiveness in shared-control autonomous driving. CoRR (2021)
Radu Calinescu, Naif Alasmari, Mario Gleirscher
Maintaining driver attentiveness in shared-control autonomous driving. SEAMS@ICSE (2021)
James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law
A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers Robotics AI 8 (2021)
Danny Weyns, Tomás Bures, Radu Calinescu, Barnaby Craggs, John S. Fitzgerald, David Garlan, Bashar Nuseibeh, Liliana Pasquale, Awais Rashid, Ivan Ruchkin, Bradley R. Schmerl
Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C (2021)
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. ICAART (Revised Selected Papers) (2021)
Tomás Bures, Radu Calinescu, Danny Weyns
Special Issue on software engineering for trustworthy cyber-physical systems. J. Syst. Softw. 178 (2021)
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. ICAART (2) (2021)
Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. KES (2021)
Radu Calinescu, Felicita Di Giandomenico
Special issue on resilient software and software-controlled systems. Computing 103 (4) (2021)
Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin
Uncertainty in Self-Adaptive Systems: A Research Community Perspective. CoRR (2021)
Gricel Vázquez, Radu Calinescu, Javier Cámara
Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. TAROS (2021)
Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. CoRR (2021)
Premathas Somasekaram, Radu Calinescu, Rajkumar Buyya
High-Availability Clusters A Taxonomy, Review, and Future Directions. CoRR (2021)
Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
Probabilistic Program Performance Analysis. SEAA (2021)
Radu Calinescu, Colin Paterson, Kenneth Johnson
Efficient Parametric Model Checking Using Domain Knowledge. IEEE Trans. Software Eng. 47 (6) (2021)
Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu
Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. MoDELS (Companion) (2021)
James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu
Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS (2021)
Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu
Memory Deduplication as a Protective Factor in Virtualized Systems. ACNS Workshops (2021)
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
Fast Parametric Model Checking through Model Fragmentation. CoRR (2021)
Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE (2021)
Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola
Quantitative Verification with Adaptive Uncertainty Reduction. CoRR (2021)
Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. SAFECOMP (2021)
Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE (2021)
Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR (2021)
Premathas Somasekaram, Radu Calinescu
Towards a Bayesian prognostic framework for high-availability clusters. UCC Companion (2021)
Colin Paterson, Radu Calinescu
Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Trans. Software Eng. 46 (5) (2020)
Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli
Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI (2020)
Mario Gleirscher, Radu Calinescu
Safety Controller Synthesis for Collaborative Robots. ICECCS (2020)
Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn
Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE (2020)
Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou, Radu Calinescu, James Law, John A. Clark
Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. CoRR (2020)
Simon Foster, Mario Gleirscher, Radu Calinescu
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. CoRR (2020)
Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. FASE (2020)
Simon Foster, Mario Gleirscher, Radu Calinescu
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. ICECCS (2020)
Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin, Danny Weyns
Understanding Uncertainty in Self-adaptive Systems. ACSOS (2020)
Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin
Uncertainty in Self-adaptive Systems: A Research Community Perspective. ACM Trans. Auton. Adapt. Syst. 15 (4) (2020)
Mario Gleirscher, Radu Calinescu
Safety Controller Synthesis for Collaborative Robots. CoRR (2020)
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
Perpetual Assurances for Self-Adaptive Systems. CoRR (2019)
Simos Gerasimou, Nicholas Matragkas, Radu Calinescu
Towards systematic engineering of collaborative heterogeneous robotic systems. RoSE@ICSE (2019)
Radu Calinescu
Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis. UCC Companion (2019)
Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli
Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion (2019)
Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)

Radu Calinescu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Radu Calinescu