A Parallel Simulation Model for Load Balancing in Clustered Distributed Systems. - Radu Calinescu; David J. Evans 001 (Parallel Comput., 1994)

Bulk Synchronous Parallel Scheduling of Uniform Dags. - Radu Calinescu (Euro-Par, Vol. II, 1996)

Bulk Synchronous Parallel Algorithms for Conservative Discrete Event Simulation. - Radu Calinescu (Parallel Algorithms Appl., 1996)

A BSP Approach to the Scheduling of Tightly-Nested Loops. - Radu Calinescu (IPPS, 1997)

Bulk-synchronous Parallel Algorithms for Qr and Qz Matrix Factorisation. - Radu Calinescu; David J. Evans 001 (Parallel Algorithms Appl., 1997)

Architecture-independent loop parallelisation. - Radu C. Calinescu (1998)

Architecture-Independent Loop Parallelisation. - Radu C. Calinescu (Springer, 2000)

Challenges and Best Practices in Policy-Based Autonomic Architectures. - Radu Calinescu (DASC, 2007)

Model-Driven Autonomic Architecture. - Radu Calinescu (ICAC, 2007)

Model-driven architecture for cancer research. - Radu Calinescu; Steve Harris; Jeremy Gibbons; Jim Davies; Igor Toujilov; Sylvia B. Nagl (SEFM, 2007)

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 (CCGRID, 2008)

Methodology for the model-driven development of self-managing systems. - Radu Calinescu (Conf. Computing Frontiers, 2008)

Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. - Tianyi Zang; Radu Calinescu; Steve Harris; Andrew Tsui; Charles Crichton; Marta Z. Kwiatkowska; Jeremy Gibbons; Jim Davies; James D. Brenton; Carlos Caldas (eScience, 2008)

Implementation of a Generic Autonomic Framework. - Radu Calinescu (ICAS, 2008)

Software Engineering Techniques for the Development of Systems of Systems. - Radu Calinescu; Marta Z. Kwiatkowska (Monterey Workshop, 2008)

General-Purpose Autonomic Computing. - Radu Calinescu (Autonomic Computing and Networking, 2009)

CADS*: Computer-Aided Development of Self-* Systems. - Radu Calinescu; Marta Z. Kwiatkowska (FASE, 2009)

Resource-Definition Policies for Autonomic Computing. - Radu Calinescu (ICAS, 2009)

CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. - Valérie Issarny; Bernhard Steffen; Bengt Jonsson 001; Gordon S. Blair; Paul Grace; Marta Z. Kwiatkowska; Radu Calinescu; Paola Inverardi; Massimo Tivoli; Antonia Bertolino; Antonino Sabetta (ICECCS, 2009)

Using quantitative analysis to implement autonomic IT systems. - Radu Calinescu; Marta Z. Kwiatkowska (ICSE, 2009)

Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. - Zeshan Kurd; Tim Kelly; John A. McDermid; Radu Calinescu; Marta Z. Kwiatkowska (SAFECOMP, 2009)

Formal Methods @ Runtime. - Radu Calinescu; Shinji Kikuchi (Monterey Workshop, 2010)

Form Follows Function - Model-Driven Engineering for Clinical Trials. - Jim Davies; Jeremy Gibbons; Radu Calinescu; Charles Crichton; Steve Harris; Andrew Tsui (FHIES, 2011)

Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. - Kenneth Johnson; Simon Reed; Radu Calinescu (Haifa Verification Conference, 2011)

When the requirements for adaptation and high integrity meet. - Radu Calinescu (ASAS@ESEC/FSE, 2011)

Using observation ageing to improve markovian model learning in QoS engineering. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq (ICPE, 2011)

Metamodel-driven SOA for collaborative e-science application. - Tianyi Zang; Radu Calinescu; Marta Z. Kwiatkowska (Comput. Syst. Sci. Eng., 2011)

Dynamic QoS Management and Optimization in Service-Based Systems. - Radu Calinescu; Lars Grunske; Marta Z. Kwiatkowska; Raffaela Mirandola; Giordano Tamburrelli (IEEE Trans. Software Eng., 2011)

OGSA-Based SOA for Collaborative Cancer Research: System Modeling and Generation. - Tianyi Zang; Radu Calinescu; Marta Kwiatkowska (Guide to e-Science, 2011)

Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. - Radu Calinescu; Shinji Kikuchi; Kenneth Johnson (Monterey Workshop, 2012)

Self-adaptive software needs quantitative verification at runtime. - Radu Calinescu; Carlo Ghezzi; Marta Z. Kwiatkowska; Raffaela Mirandola (Commun. ACM, 2012)

Large-scale complex IT systems. - Ian Sommerville; Dave Cliff; Radu Calinescu; Justin Keen; Tim Kelly; Marta Z. Kwiatkowska; John A. McDermid; Richard F. Paige (Commun. ACM, 2012)

An incremental verification framework for component-based software systems. - Kenneth Johnson; Radu Calinescu; Shinji Kikuchi (CBSE, 2013)

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 (CloudCom (2), 2013)

Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing. - Gabriel Costa Silva; Louis M. Rose; Radu Calinescu (CloudCom (1), 2013)

A Systematic Review of Cloud Lock-In Solutions. - Gabriel Costa Silva; Louis M. Rose; Radu Calinescu (CloudCom (2), 2013)

Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. - Radu Calinescu; Simos Gerasimou; Kenneth Johnson; Colin Paterson (Software Engineering for Self-Adaptive Systems, 2013)

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Danny Weyns; Luciano Baresi; Nelly Bencomo; Yuriy Brun; Javier Cámara 001; et al. (Software Engineering for Self-Adaptive Systems, 2013)

Perpetual Assurances for Self-Adaptive Systems. - Danny Weyns; Nelly Bencomo; Radu Calinescu; Javier Cámara 001; Carlo Ghezzi; Vincenzo Grassi; Lars Grunske; Paola Inverardi; Jean-Marc Jézéquel; Sam Malek; Raffaela Mirandola; Marco Mori; et al. (Software Engineering for Self-Adaptive Systems, 2013)

Towards Autonomic Cloud Services Engineering via Intention Workflow Model. - Thar Baker; Omer F. Rana; Radu Calinescu; Rafael Tolosana-Calasanz; José Ángel Bañares (GECON, 2013)

Developing self-verifying service-based systems. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq (ASE, 2013)

Continual Verification of Non-Functional Properties in Cloud-Based Systems. - Radu Calinescu; Kenneth Johnson; Yasmin Rafiq; Simos Gerasimou; Gabriel Costa Silva; Stanimir N. Pehlivanov (NiM-ALP@MoDELS, 2013)

Multimodel-Driven Software Engineering for Evolving Enterprise Systems. - Richard F. Paige; Radu Calinescu; Dimitrios S. Kolovos; Nicholas Drivalos Matragkas; Dave Cliff (GEMOC+AMINO@MoDELS, 2013)

log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. - Diego Perez-Palacin; Radu Calinescu; José Merseguer (SAC, 2013)

Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. - Radu Calinescu; Yasmin Rafiq (TASE, 2013)

Editorial. - Radu Calinescu; Robert B. France; Carlo Ghezzi (Computing, 2013)

Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software. - Radu Calinescu (Assurances for Self-Adaptive Systems, 2013)

A scalable approach for re-configuring evolving industrial control systems. - Roopak Sinha; Kenneth Johnson; Radu Calinescu (ETFA, 2014)

Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models. - Diego Perez-Palacin; Raffaela Mirandola; Radu Calinescu (EUROMICRO-SEAA, 2014)

Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. - Simos Gerasimou; Radu Calinescu; Alec Banks (SEAMS, 2014)

Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities. - Gabriel Costa Silva; Louis M. Rose; Radu Calinescu (CloudMDE@MoDELS, 2014)

A Qualitative Study of Model Transformation Development Approaches: Supporting Novice Developers. - Gabriel Costa Silva; Louis M. Rose; Radu Calinescu (MD2P2@MoDELS, 2014)

Efficient re-resolution of SMT specifications for evolving software architectures. - Kenneth Johnson; Radu Calinescu (QoSA, 2014)

Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. - Martyn Ellison; Radu Calinescu; Richard F. Paige (UCC, 2014)

Adaptive model learning for continual verification of non-functional properties. - Radu Calinescu; Yasmin Rafiq; Kenneth Johnson; Mehmet Emin Bakir (ICPE, 2014)

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. - Kenneth Johnson; Roopak Sinha; Radu Calinescu; Ji Ruan (EUROMICRO-SEAA, 2015)

Self-adaptive Software with Decentralised Control Loops. - Radu Calinescu; Simos Gerasimou; Alec Banks (FASE, 2015)

Tele Assistance: A Self-Adaptive Service-Based System Exemplar. - Danny Weyns; Radu Calinescu (SEAMS@ICSE, 2015)

Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). - Simos Gerasimou; Giordano Tamburrelli; Radu Calinescu (ASE, 2015)

Towards Platform Independent Database Modelling in Enterprise Systems. - Martyn Ellison; Radu Calinescu; Richard F. Paige (STAF Workshops, 2016)

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. - Radu Calinescu; Kenneth Johnson; Colin Paterson (TACAS, 2016)

A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression. - Andrew R. Gallimore; A. Radu Aricescu; Michisuke Yuzaki; Radu Calinescu (PLoS Comput. Biol., 2016)

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. - Radu Calinescu; Carlo Ghezzi; Kenneth Johnson; Mauro Pezzè; Yasmin Rafiq; Giordano Tamburrelli (IEEE Trans. Reliab., 2016)

Synthesis and Verification of Self-aware Computing Systems. - Radu Calinescu; Marco Autili; Javier Cámara 001; Antinisca Di Marco; Simos Gerasimou; Paola Inverardi; Alexander Perucci; Nils Jansen 001; Joost-Pieter Katoen; Marta Z. Kwiatkowska; Ole J. Mengshoel; Romina Spalazzese; et al. (Self-Aware Computing Systems, 2017)

Assured Reinforcement Learning with Formally Verified Abstract Policies. - George Mason; Radu Calinescu; Daniel Kudenko; Alec Banks (ICAART (2), 2017)

Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial). - Radu Calinescu (ICSA Workshops, 2017)

Designing Robust Software Systems through Parametric Markov Chain Synthesis. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (ICSA, 2017)

Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. - Colin Paterson; Radu Calinescu (ICSA, 2017)

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. - Simos Gerasimou; Radu Calinescu; Stepan Shevtsov; Danny Weyns (SEAMS@ICSE, 2017)

Self-Adaptive Role-Based Access Control for Business Processes. - Carlos Eduardo da Silva; José Diego Saraiva da Silva; Colin Paterson; Radu Calinescu (SEAMS@ICSE, 2017)

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (QEST, 2017)

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). - Simos Gerasimou; Radu Calinescu; Stepan Shevtsov; Danny Weyns (Dagstuhl Artifacts Ser., 2017)

Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds. - Naif Alasmari; Radu Calinescu (ES, 2018)

Efficient parametric model checking using domain-specific modelling patterns. - Radu Calinescu; Kenneth Johnson; Colin Paterson (ICSE (NIER), 2018)

ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; M. Usman Iftikhar; Ibrahim Habli; Tim Kelly (ICSE, 2018)

Towards Self-Adaptive Systems with Hierarchical Decentralised Control. - Saud Yonbawi; Radu Calinescu (FAS*W@SASO/ICAC, 2018)

Synthesis of probabilistic models for quality-of-service software engineering. - Simos Gerasimou; Radu Calinescu; Giordano Tamburrelli (Autom. Softw. Eng., 2018)

Evaluating cloud database migration options using workload models. - Martyn Ellison; Radu Calinescu; Richard F. Paige (J. Cloud Comput., 2018)

Efficient synthesis of robust models for stochastic systems. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (J. Syst. Softw., 2018)

Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. - Radu Calinescu; Milan Ceska 002; Simos Gerasimou; Marta Kwiatkowska; Nicola Paoletti (J. Syst. Softw., 2018)

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. - Radu Calinescu; Danny Weyns; Simos Gerasimou; Muhammad Usman Iftikhar; Ibrahim Habli; Tim Kelly (IEEE Trans. Software Eng., 2018)

Architecting Trustworthy Self-Adaptive Systems (Tutorial). - Radu Calinescu; Danny Weyns; Simos Gerasimou; Ibrahim Habli (ICSA Companion, 2019)

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; et al. (SEAMS@ICSE, 2019)

Socio-cyber-physical systems: models, opportunities, open challenges. - Radu Calinescu; Javier Cámara 001; Colin Paterson (SEsCPS@ICSE, 2019)

Towards systematic engineering of collaborative heterogeneous robotic systems. - Simos Gerasimou; Nicholas Matragkas; Radu Calinescu (RoSE@ICSE, 2019)

Using unstructured data to improve the continuous planning of critical processes involving humans. - Colin Paterson; Radu Calinescu; Di Wang; Suresh Manandhar (SEAMS@ICSE, 2019)

Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis. - Radu Calinescu (UCC Companion, 2019)

Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. - Colin Paterson; Radu Calinescu (CoRR, 2019)

Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. - Chiara Picardi; Colin Paterson; Richard Hawkins; Radu Calinescu; Ibrahim Habli (SafeAI@AAAI, 2020)

Understanding Uncertainty in Self-adaptive Systems. - Radu Calinescu; Raffaela Mirandola; Diego Perez-Palacin; Danny Weyns (ACSOS, 2020)

Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. - Radu Calinescu; Vittorio Cortellessa; Ioannis Stefanakos; Catia Trubiani (FASE, 2020)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. - Simon Foster 001; Mario Gleirscher; Radu Calinescu (ICECCS, 2020)

Safety Controller Synthesis for Collaborative Robots. - Mario Gleirscher; Radu Calinescu (ICECCS, 2020)

Interval Change-Point Detection for Runtime Probabilistic Model Checking. - Xingyu Zhao 001; Radu Calinescu; Simos Gerasimou; Valentin Robu; David Flynn (ASE, 2020)

Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. - Mario Gleirscher; Nikita Johnson; Panayiotis Karachristou; Radu Calinescu; James Law; John A. Clark (CoRR, 2020)

Uncertainty in Self-adaptive Systems: A Research Community Perspective. - Sara Mahdavi-Hezavehi; Danny Weyns; Paris Avgeriou; Radu Calinescu; Raffaela Mirandola; Diego Perez-Palacin (ACM Trans. Auton. Adapt. Syst., 2020)

Observation-Enhanced QoS Analysis of Component-Based Systems. - Colin Paterson; Radu Calinescu (IEEE Trans. Software Eng., 2020)

Memory Deduplication as a Protective Factor in Virtualized Systems. - Abdullah Albalawi; Vassilios G. Vassilakis; Radu Calinescu (ACNS Workshops, 2021)

Six Software Engineering Principles for Smarter Cyber-Physical Systems. - 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 (ACSOS-C, 2021)

Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers. - Colin Paterson; Radu Calinescu; Chiara Picardi (AITest, 2021)

Probabilistic Program Performance Analysis. - Ioannis Stefanakos; Radu Calinescu; Simos Gerasimou (SEAA, 2021)

Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. - Joshua Riley; Radu Calinescu; Colin Paterson; Daniel Kudenko; Alec Banks (ICAART (2), 2021)

Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. - Joshua Riley; Radu Calinescu; Colin Paterson; Daniel Kudenko; Alec Banks (ICAART (Revised Selected Papers), 2021)

Fast Parametric Model Checking through Model Fragmentation. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (ICSE, 2021)

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. - Simos Gerasimou; Javier Cámara 001; Radu Calinescu; Naif Alasmari; Faisal Alhwikem; Xinwei Fang (ASE, 2021)

Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. - Joshua Riley; Radu Calinescu; Colin Paterson; Daniel Kudenko; Alec Banks (KES, 2021)

Model-Driven Simulation-Based Analysis for Multi-Robot Systems. - James Harbin; Simos Gerasimou; Nicholas Matragkas; Athanasios Zolotas; Radu Calinescu (MoDELS, 2021)

Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. - Ioannis Stefanakos; Simos Gerasimou; Radu Calinescu (MoDELS (Companion), 2021)

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. - Colin Paterson; Haoze Wu 001; John Grese; Radu Calinescu; Corina S. Pasareanu; Clark W. Barrett (SAFECOMP, 2021)

RoboMAX: Robotic Mission Adaptation eXemplars. - Mehrnoosh Askarpour; Christos Tsigkanos; Claudio Menghi; Radu Calinescu; Patrizio Pelliccione; Sergio García 002; Ricardo Caldas; Tim J. von Oertzen; Manuel Wimmer; Luca Berardinelli; Matteo Rossi 001; Marcello M. Bersani; et al. (SEAMS@ICSE, 2021)

Maintaining driver attentiveness in shared-control autonomous driving. - Radu Calinescu; Naif Alasmari; Mario Gleirscher (SEAMS@ICSE, 2021)

Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. - Gricel Vázquez; Radu Calinescu; Javier Cámara 001 (TAROS, 2021)

Towards a Bayesian prognostic framework for high-availability clusters. - Premathas Somasekaram; Radu Calinescu (UCC Companion, 2021)

Special issue on resilient software and software-controlled systems. - Radu Calinescu; Felicita Di Giandomenico (Computing, 2021)

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). - Richard Hawkins; Colin Paterson; Chiara Picardi; Yan Jia 008; Radu Calinescu; Ibrahim Habli (CoRR, 2021)

High-Availability Clusters A Taxonomy, Review, and Future Directions. - Premathas Somasekaram; Radu Calinescu; Rajkumar Buyya (CoRR, 2021)

RiskStructures: A design algebra for risk-aware machines. - Mario Gleirscher; Radu Calinescu; Jim Woodcock 001 (Formal Aspects Comput., 2021)

A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. - James A. Douthwaite; Benjamin Lesage; Mario Gleirscher; Radu Calinescu; Jonathan M. Aitken; Rob Alexander; James Law (Frontiers Robotics AI, 2021)

Special Issue on software engineering for trustworthy cyber-physical systems. - Tomás Bures; Radu Calinescu; Danny Weyns (J. Syst. Softw., 2021)

Efficient Parametric Model Checking Using Domain Knowledge. - Radu Calinescu; Colin Paterson; Kenneth Johnson (IEEE Trans. Software Eng., 2021)

Risk-aware Real-time Object Detection. - Misael Alpizar Santana; Radu Calinescu; Colin Paterson (EDCC, 2022)

Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes. - Naif Alasmari; Radu Calinescu (SEAA, 2022)

Mitigating Risk in Neural Network Classifiers. - Misael Alpizar Santana; Radu Calinescu; Colin Paterson (SEAA, 2022)

Protecting Shared Virtualized Environments against Cache Side-channel Attacks. - Abdullah Albalawi; Vassilios G. Vassilakis; Radu Calinescu (ICISSP, 2022)

Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. - Joshua Riley; Radu Calinescu; Colin Paterson; Daniel Kudenko; Alec Banks (KES-IDT, 2022)

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. - Javier Cámara 001; Radu Calinescu; Betty H. C. Cheng; David Garlan; Bradley R. Schmerl; Javier Troya; Antonio Vallecillo (MoDELS, 2022)

Side-channel Attacks and Countermeasures in Cloud Services and Infrastructures. - Abdullah Albalawi; Vassilios G. Vassilakis; Radu Calinescu (NOMS, 2022)

PRESTO: Predicting System-level Disruptions through Parametric Model Checking. - Xinwei Fang; Radu Calinescu; Colin Paterson; Julie Wilson (SEAMS, 2022)

Safety Controller Synthesis for a Mobile Manufacturing Cobot. - Ioannis Stefanakos; Radu Calinescu; James A. Douthwaite; Jonathan M. Aitken; James Law (SEFM, 2022)

Towards Scalable Multi-robot Systems by Partitioning the Task Domain. - Brendan Devlin-Hill; Radu Calinescu; Javier Cámara 001; Ipek Caliskanelli (TAROS, 2022)

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. - Radu Calinescu; Calum Imrie; Ravi Mangal; Corina S. Pasareanu; Misael Alpizar Santana; Gricel Vázquez (CoRR, 2022)

Fast Parametric Model Checking. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (CoRR, 2022)

Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. - Gricel Vázquez; Radu Calinescu; Javier Cámara 001 (FMAS/ASYDE@SEFM, 2022)

Towards Adaptive Planning of Assistive-care Robot Tasks. - Jordan Hamilton; Ioannis Stefanakos; Radu Calinescu; Javier Cámara 001 (FMAS/ASYDE@SEFM, 2022)

Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems. - Danny Weyns; Paris Avergriou; Radu Calinescu; Sara Mahdavi-Hezavehi; Raffaela Mirandola; Diego Perez-Palacin (CoRR, 2022)

Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. - Rob Ashmore; Radu Calinescu; Colin Paterson (ACM Comput. Surv., 2022)

Quantitative verification with adaptive uncertainty reduction. - Naif Alasmari; Radu Calinescu; Colin Paterson; Raffaela Mirandola (J. Syst. Softw., 2022)

High-availability clusters: A taxonomy, survey, and future directions. - Premathas Somasekaram; Radu Calinescu; Rajkumar Buyya (J. Syst. Softw., 2022)

From Pluralistic Normative Principles to Autonomous-Agent Rules. - Beverley A. Townsend; Colin Paterson; T. T. Arvind; Gabriel Nemirovsky; Radu Calinescu; Ana Cavalcanti 001; Ibrahim Habli; Alan Thomas (Minds Mach., 2022)

Verified synthesis of optimal safety controllers for human-robot collaboration. - Mario Gleirscher; Radu Calinescu; James A. Douthwaite; Benjamin Lesage; Colin Paterson; Jonathan M. Aitken; Rob Alexander; James Law (Sci. Comput. Program., 2022)

The uncertainty interaction problem in self-adaptive systems. - Javier Cámara 001; Javier Troya; Antonio Vallecillo; Nelly Bencomo; Radu Calinescu; Betty H. C. Cheng; David Garlan; Bradley R. Schmerl (Softw. Syst. Model., 2022)

Predicting locally manageable resource failures of high availability clusters. - Premathas Somasekaram; Radu Calinescu (Softw. Pract. Exp., 2022)

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 (CAV (1), 2023)

Specification and Validation of Normative Rules for Autonomous Agents. - Sinem Getir Yaman; Charlie Burholt; Maddie Jones; Radu Calinescu; Ana Cavalcanti 001 (FASE, 2023)

Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. - Tianhao Zhang 003; Shenglin Wang; Nidhal Bouaynaya; Radu Calinescu; Lyudmila Mihaylova (FUSION, 2023)

Goal Controller Synthesis for Self-Adaptive Systems. - Radu Calinescu; Genaína Nunes Rodrigues (FormaliSE, 2023)

Towards a Formal Framework for Normative Requirements Elicitation. - Nick Feng; Lina Marsso; Sinem Getir Yaman; Beverley A. Townsend; Ana Cavalcanti 001; Radu Calinescu; Marsha Chechik (ASE, 2023)

Resilient strategies for socially compliant autonomous assistive dressing robots. - Katie J. Parnell; Siobhan Merriman; Sinem Getir Yaman; Katherine L. Plant; Radu Calinescu (TAS, 2023)

Bayesian Learning for the Robust Verification of Autonomous Robots. - Xingyu Zhao 001; Simos Gerasimou; Radu Calinescu; Calum Imrie; Valentin Robu; David Flynn (CoRR, 2023)

Medical practitioner perspectives on AI in emergency triage. - Beverley A. Townsend; Katherine L. Plant; Victoria J. Hodge; Ol'tunde Ashaolu; Radu Calinescu (Frontiers Digit. Health, 2023)

Probabilistic program performance analysis with confidence intervals. - Ioannis Stefanakos; Radu Calinescu; Simos Gerasimou (Inf. Softw. Technol., 2023)

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. - Claudio Menghi; Christos Tsigkanos; Mehrnoosh Askarpour; Patrizio Pelliccione; Gricel Vázquez; Radu Calinescu; Sergio García 002 (IEEE Trans. Software Eng., 2023)

Mission specification and decomposition for multi-robot systems. - Eric Bernd Gil; Genaína Nunes Rodrigues; Patrizio Pelliccione; Radu Calinescu (Robotics Auton. Syst., 2023)

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. - Danny Weyns; Radu Calinescu; Raffaela Mirandola; Kenji Tei; Maribel Acosta; Amel Bennaceur; Nicolas Boltz; Tomás Bures; Javier Cámara 001; Ada Diaconescu; Gregor Engels; Simos Gerasimou; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

Model-driven design space exploration for multi-robot systems in simulation. - James Harbin; Simos Gerasimou; Nicholas Drivalos Matragkas; Thanos Zolotas; Radu Calinescu; Misael Alpizar Santana (Softw. Syst. Model., 2023)

Fast Parametric Model Checking With Applications to Software Performability Analysis. - Xinwei Fang; Radu Calinescu; Simos Gerasimou; Faisal Alhwikem (IEEE Trans. Software Eng., 2023)

Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. - Daniel Bethell; Simos Gerasimou; Radu Calinescu (AAAI, 2024)

SALSA: Swarm Algorithm Simulator. - Joel Beedle; Calum Imrie; Radu Calinescu (ACSOS-C, 2024)

Safety-Aware Adaptive Reinforcement Learning for Mobile Assistive-Care Robots. - Qi Zhang; Ioannis Stefanakos; Javier Cámara 001; Radu Calinescu (ACSOS-C, 2024)

Code-Level Safety Verification for Automated Driving: A Case Study. - Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu (FM (2), 2024)

Analyzing and Debugging Normative Requirements via Satisfiability Checking. - 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 001; et al. (ICSE, 2024)

Robotics: A New Mission for FRET Requirements. - Gricel Vázquez; Anastasia Mavridou; Marie Farrell; Thomas Pressburger; Radu Calinescu (NFM, 2024)

Normative Requirements Operationalization with Large Language Models. - 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 001; Radu Calinescu; Marsha Chechik (RE, 2024)

Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. - Javier Cámara 001; Sebastian Hahner; Diego Perez-Palacin; Antonio Vallecillo; Maribel Acosta; Nelly Bencomo; Radu Calinescu; Simos Gerasimou (SEAMS@ICSE, 2024)

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. - Daniel Bethell; Simos Gerasimou; Radu Calinescu; Calum Imrie (CoRR, 2024)

Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182). - Simon Burton 001; Radu Calinescu; Raffaela Mirandola (Dagstuhl Reports, 2024)

Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. - Sinem Getir Yaman; Pedro Ribeiro 002; Charlie Burholt; Maddie Jones; Ana Cavalcanti 001; Radu Calinescu (Sci. Comput. Program., 2024)

A deep learning-enhanced Digital Twin framework for improving safety and reliability in human-robot collaborative manufacturing. - Shenglin Wang; Jingqiong Zhang; Peng Wang 076; James Law; Radu Calinescu; Lyudmila Mihaylova (Robotics Comput. Integr. Manuf., 2024)

Predicting Nonfunctional Requirement Violations in Autonomous Systems. - Xinwei Fang; Sinem Getir Yaman; Radu Calinescu; Julie Wilson; Colin Paterson (ACM Trans. Auton. Adapt. Syst., 2024)

The Safety of Autonomy: A Systematic Approach. - John A. McDermid; Radu Calinescu; Ibrahim Habli; Richard Hawkins; Yan Jia 008; John Molloy; Matt Osborne; Colin Paterson; Zoë Porter; Philippa Ryan Conmy (Computer, 2024)

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. - Radu Calinescu; Calum Imrie; Ravi Mangal; Genaína Nunes Rodrigues; Corina S. Pasareanu; Misael Alpizar Santana; Gricel Vázquez (IEEE Trans. Software Eng., 2024)

Formal Synthesis of Uncertainty Reduction Controllers. - Marc Carwehl; Calum Imrie; Thomas Vogel 001; Genaína Nunes Rodrigues; Radu Calinescu; Lars Grunske (Software Engineering, 2025)

Compositional code-level safety verification for automated driving controllers. - Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu (J. Syst. Softw., 2025)

Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. - Sinem Getir Yaman; Pedro Ribeiro 002; Ana Cavalcanti 001; Radu Calinescu; Colin Paterson; Beverley A. Townsend (J. Syst. Softw., 2025)

Explainable Reinforcement and Causal Learning for Improving Trust to 6G Stakeholders. - Miguel Arana-Catania; Amir Sonee; Abdul-Manan Khan; Kavan Fatehi; Yun Tang 003; Bailu Jin; Anna Soligo; David Boyle 001; Radu Calinescu; Poonam Yadav; Hamed Ahmadi; Antonios Tsourdos; et al. (IEEE Open J. Commun. Soc., 2025)

Safety assurance of Machine Learning for autonomous systems. - Colin Paterson; Richard Hawkins; Chiara Picardi; Yan Jia 008; Radu Calinescu; Ibrahim Habli (Reliab. Eng. Syst. Saf., 2025)

Introduction to the SEAMS 2023 Special Issue. - Raffaela Mirandola; Radu Calinescu; Pooyan Jamshidi (ACM Trans. Auton. Adapt. Syst., 2025)

Verification and External Parameter Inference for Stochastic World Models. - Radu Calinescu; Sinem Getir Yaman; Simos Gerasimou; Gricel Vázquez; Micah Bassett (CoRR, 2025)

Efficient Model Verification at Runtime through Adaptive Dynamic Approximation. - Mehran Alidoost Nia; Radu Calinescu; Mehdi Kargahi; Alessandro Abate (ACM Trans. Auton. Adapt. Syst., 2025)

An Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems. - Danny Weyns; Sara Mahdavi-Hezavehi; Paris Avgeriou; Radu Calinescu; Raffaela Mirandola; Diego Perez-Palacin (ACM Trans. Auton. Adapt. Syst., 2025)

Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing. - Yasmin Rafiq; Gricel Vázquez; Radu Calinescu; Sanja Dogramadzi; Robert M. Hierons (CoRR, 2025)

Conformal Safety Shielding for Imperfect-Perception Agents. - William Scarbro; Calum Imrie; Sinem Getir Yaman; Kavan Fatehi; Corina S. Pasareanu; Radu Calinescu; Ravi Mangal (CoRR, 2025)

Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs. - Alex Kleijwegt; Sinem Getir Yaman; Radu Calinescu (CoRR, 2025)