Radu Calinescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
76
Venues
30
Active years
1996–2026
Best venue rank
A*
Where they publish
- A*ICSE14 papers
- AMODELS7 papers
- ASEAMS6 papers
- BFASE4 papers
- AICSA4 papers
- MulticonferenceSAC3 papers
- BICAART3 papers
- UnrankedUCC3 papers
- BICECCS3 papers
- CCloudCom3 papers
- A*CAV2 papers
- BFM2 papers
- ARE2 papers
- A*AAAI2 papers
- BSEFM2 papers
- BSAFECOMP2 papers
- AECAI1 paper
- BRV1 paper
- CFUSION1 paper
- UnrankedEDCC1 paper
- CICISSP1 paper
- BNOMS1 paper
- BACNS1 paper
- BKES1 paper
- ATACAS1 paper
- CETFA1 paper
- NationalTASE1 paper
- BCCGRID1 paper
- CDASC1 paper
- BEuroPar1 paper
Papers
76 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models. | Radu Calinescu, Micah Bassett, Brendan Devlin-Hill, Simos Gerasimou, Sinem Getir Yaman, Kavan Fatehi, Gricel Vzquez |
| 2026 | FM | The SLEEC Framework for Normative Requirements Engineering. | Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso, Isobel Standen, Beverley A. Townsend |
| 2026 | ICSE | Structural Causal World Models: Towards An Assurance Framework for Safety-Critical Systems and Safeguarded AI. | Jie Zou, Simon Burton, Radu Calinescu, Ioannis Stefanakos, Roger Rivett |
| 2026 | SAC | Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning. | Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie |
| 2026 | SAC | Structural Causal World Models for Safety Assurance of AI-based Autonomy. | Jie Zou, Ioannis Stefanakos, Sepeedeh Shahbeigi Roudposhti, Simon Burton, Radu Calinescu, Kester Clegg, Roger Rivett |
| 2026 | SEAMS | Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs. | Gricel Vzquez, Alexandros Evangelidis, Sepeedeh Shahbeigi, Radu Calinescu, Simos Gerasimou |
| 2025 | ECAI | Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. | Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie |
| 2025 | RE | Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs. | Alex Kleijwegt, Sinem Getir Yaman, Radu Calinescu |
| 2025 | RV | Conformal Safety Shielding for Imperfect-Perception Agents. | William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal |
| 2024 | AAAI | Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. | Daniel Bethell, Simos Gerasimou, Radu Calinescu |
| 2024 | FM | Code-Level Safety Verification for Automated Driving: A Case Study. | Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu |
| 2024 | ICSE | Analyzing and Debugging Normative Requirements via Satisfiability Checking. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genana Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | RE | Normative Requirements Operationalization with Large Language Models. | Nick Feng, Lina Marsso, Sinem Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victria Oldemburgo de Mello, Beverley A. Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik |
| 2024 | SEAMS | Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. | Javier Cmara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou |
| 2024 | SEAMS | Formal Synthesis of Uncertainty Reduction Controllers. | Marc Carwehl, Calum Imrie, Thomas Vogel, Genana Nunes Rodrigues, Radu Calinescu, Lars Grunske |
| 2023 | CAV | Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu |
| 2023 | FASE | Specification and Validation of Normative Rules for Autonomous Agents. | Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti |
| 2023 | FUSION | Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. | Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya, Radu Calinescu, Lyudmila Mihaylova |
| 2022 | EDCC | Risk-aware Real-time Object Detection. | Misael Alpizar Santana, Radu Calinescu, Colin Paterson |
| 2022 | ICISSP | Protecting Shared Virtualized Environments against Cache Side-channel Attacks. | Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu |
| 2022 | MODELS | Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. | Javier Cmara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo |
| 2022 | NOMS | Side-channel Attacks and Countermeasures in Cloud Services and Infrastructures. | Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu |
| 2022 | SEAMS | PRESTO: Predicting System-level Disruptions through Parametric Model Checking. | Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson |
| 2022 | SEFM | Safety Controller Synthesis for a Mobile Manufacturing Cobot. | Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law |
| 2021 | ACNS | Memory Deduplication as a Protective Factor in Virtualized Systems. | Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu |
| 2021 | ICAART | Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2021 | ICAART | Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2021 | ICSE | Fast Parametric Model Checking through Model Fragmentation. | Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem |
| 2021 | KES | Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. | Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks |
| 2021 | MODELS | Model-Driven Simulation-Based Analysis for Multi-Robot Systems. | James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu |
| 2021 | MODELS | Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. | Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu |
| 2021 | SAFECOMP | DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. | Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett |
| 2021 | SEAMS | RoboMAX: Robotic Mission Adaptation eXemplars. | Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio Garca, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues |
| 2021 | SEAMS | Maintaining driver attentiveness in shared-control autonomous driving. | Radu Calinescu, Naif Alasmari, Mario Gleirscher |
| 2021 | UCC | Towards a Bayesian prognostic framework for high-availability clusters. | Premathas Somasekaram, Radu Calinescu |
| 2020 | AAAI | Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. | Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli |
| 2020 | FASE | Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. | Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani |
| 2020 | ICECCS | Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. | Simon Foster, Mario Gleirscher, Radu Calinescu |
| 2020 | ICECCS | Safety Controller Synthesis for Collaborative Robots. | Mario Gleirscher, Radu Calinescu |
| 2019 | ICSA | Architecting Trustworthy Self-Adaptive Systems (Tutorial). | Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | 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. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | ICSE | Socio-cyber-physical systems: models, opportunities, open challenges. | Radu Calinescu, Javier Cmara, Colin Paterson |
| 2019 | ICSE | Towards systematic engineering of collaborative heterogeneous robotic systems. | Simos Gerasimou, Nicholas Matragkas, Radu Calinescu |
| 2019 | ICSE | Using unstructured data to improve the continuous planning of critical processes involving humans. | Colin Paterson, Radu Calinescu, Di Wang, Suresh Manandhar |
| 2019 | UCC | Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis. | Radu Calinescu |
| 2018 | ICSE | Efficient parametric model checking using domain-specific modelling patterns. | Radu Calinescu, Kenneth Johnson, Colin Paterson |
| 2018 | ICSE | ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. | Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly |
| 2017 | ICAART | Assured Reinforcement Learning with Formally Verified Abstract Policies. | George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks |
| 2017 | ICSA | Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial). | Radu Calinescu |
| 2017 | ICSA | Designing Robust Software Systems through Parametric Markov Chain Synthesis. | Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti |
| 2017 | ICSA | Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. | Colin Paterson, Radu Calinescu |
| 2017 | ICSE | UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. | Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns |
| 2017 | ICSE | Self-Adaptive Role-Based Access Control for Business Processes. | Carlos Eduardo da Silva, Jos Diego Saraiva da Silva, Colin Paterson, Radu Calinescu |
| 2016 | TACAS | FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. | Radu Calinescu, Kenneth Johnson, Colin Paterson |
| 2015 | FASE | Self-adaptive Software with Decentralised Control Loops. | Radu Calinescu, Simos Gerasimou, Alec Banks |
| 2015 | ICSE | Tele Assistance: A Self-Adaptive Service-Based System Exemplar. | Danny Weyns, Radu Calinescu |
| 2014 | ETFA | A scalable approach for re-configuring evolving industrial control systems. | Roopak Sinha, Kenneth Johnson, Radu Calinescu |
| 2014 | ICSE | Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. | Simos Gerasimou, Radu Calinescu, Alec Banks |
| 2014 | MODELS | Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities. | Gabriel Costa Silva, Louis M. Rose, Radu Calinescu |
| 2014 | MODELS | A Qualitative Study of Model Transformation Development Approaches: Supporting Novice Developers. | Gabriel Costa Silva, Louis M. Rose, Radu Calinescu |
| 2014 | UCC | Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. | Martyn Ellison, Radu Calinescu, Richard F. Paige |
| 2013 | CloudCom | Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning. | Kenneth Johnson, Yuanzhi Wang, Radu Calinescu, Ian Sommerville, Gordon D. Baxter, John V. Tucker |
| 2013 | CloudCom | Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing. | Gabriel Costa Silva, Louis M. Rose, Radu Calinescu |
| 2013 | CloudCom | A Systematic Review of Cloud Lock-In Solutions. | Gabriel Costa Silva, Louis M. Rose, Radu Calinescu |
| 2013 | MODELS | Continual Verification of Non-Functional Properties in Cloud-Based Systems. | Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov |
| 2013 | MODELS | Multimodel-Driven Software Engineering for Evolving Enterprise Systems. | Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff |
| 2013 | SAC | log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. | Diego Perez-Palacin, Radu Calinescu, Jos Merseguer |
| 2013 | TASE | Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. | Radu Calinescu, Yasmin Rafiq |
| 2009 | FASE | CADS*: Computer-Aided Development of Self-* Systems. | Radu Calinescu, Marta Z. Kwiatkowska |
| 2009 | ICECCS | CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. | Valrie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta |
| 2009 | ICSE | Using quantitative analysis to implement autonomic IT systems. | Radu Calinescu, Marta Z. Kwiatkowska |
| 2009 | SAFECOMP | Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. | Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska |
| 2008 | CCGRID | WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. | Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas |
| 2007 | DASC | Challenges and Best Practices in Policy-Based Autonomic Architectures. | Radu Calinescu |
| 2007 | SEFM | Model-driven architecture for cancer research. | Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl |
| 1996 | EuroPar | Bulk Synchronous Parallel Scheduling of Uniform Dags. | Radu Calinescu |