Radu Calinescu

227 papers A* 10A 10B 25C 5Misc 4Journal 92Unranked 71

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Interpretable Attention-Based Multi-Agent PPO for Latency Spike Resolution in 6G RAN Slicing. CoRR Kavan Fatehi, Mostafa Rahmani Ghourtani, Amir Sonee, Poonam Yadav, Alessandra Russo, Hamed Ahmadi, Radu Calinescu
2026	J	`jnl`	Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents. CoRR Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Lina Marsso, Beverley A. Townsend
2025	J	`jnl`	An Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems. ACM Trans. Auton. Adapt. Syst. Danny Weyns, Sara Mahdavi-Hezavehi, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin
2025	J	`jnl`	Automated Formalization of Probabilistic Requirements from Structured Natural Language. CoRR Anastasia Mavridou, Marie Farrell, Gricel Vázquez, Thomas Pressburger, Timothy E. Wang, Radu Calinescu, Michael Fisher
2025	J	`jnl`	Cautious optimism: public voices on medical AI and sociotechnical harm. Frontiers Digit. Health Beverley A. Townsend, Victoria J. Hodge, Hannah Richardson, Radu Calinescu, T. T. Arvind
2025	J	`jnl`	Compositional code-level safety verification for automated driving controllers. J. Syst. Softw. Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
2025	B	`conf`	Conformal Safety Shielding for Imperfect-Perception Agents. RV William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
2025	J	`jnl`	Conformal Safety Shielding for Imperfect-Perception Agents. CoRR William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
2025	J	`jnl`	Efficient Model Verification at Runtime through Adaptive Dynamic Approximation. ACM Trans. Auton. Adapt. Syst. Mehran Alidoost Nia, Radu Calinescu, Mehdi Kargahi, Alessandro Abate
2025	J	`jnl`	Explainable Reinforcement and Causal Learning for Improving Trust to 6G Stakeholders. IEEE Open J. Commun. Soc. Miguel Arana-Catania, Amir Sonee, Abdul-Manan Khan, Kavan Fatehi, Yun Tang, Bailu Jin, Anna Soligo, David Boyle, Radu Calinescu, Poonam Yadav, Hamed Ahmadi, Antonios Tsourdos, Weisi Guo, Alessandra Russo
2025	C	`conf`	Formal Synthesis of Uncertainty Reduction Controllers. Software Engineering Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2025	J	`jnl`	INSYTE: A Classification Framework for Traditional to Agentic AI Systems. ACM Trans. Auton. Adapt. Syst. Zoë Porter, Radu Calinescu, Ernest Lim, Victoria J. Hodge, Philippa Ryan, Simon Burton, Ibrahim Habli, Tom Lawton, John A. McDermid, John Molloy, Helen Monkhouse, Phillip Morgan, Paul Noordhof, Colin Paterson, Isobel Standen, Jie Zou
2025	J	`jnl`	Introduction to the SEAMS 2023 Special Issue. ACM Trans. Auton. Adapt. Syst. Raffaela Mirandola, Radu Calinescu, Pooyan Jamshidi
2025	J	`jnl`	Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning. CoRR Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2025	B	`conf`	Robot Mission Adaptation with Quantitative Guarantees. SEAA Qi Zhang, Ioannis Stefanakos, Javier Cámara, Radu Calinescu
2025	J	`jnl`	Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation. CoRR Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2025	A	`conf`	Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. ECAI Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2025	J	`jnl`	Safety assurance of Machine Learning for autonomous systems. Reliab. Eng. Syst. Saf. Colin Paterson, Richard Hawkins, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
2025	J	`jnl`	Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. J. Syst. Softw. Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Beverley A. Townsend
2025	B	`conf`	Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing. SEAA Yasmin Rafiq, Gricel Vázquez, Radu Calinescu, Sanja Dogramadzi, Robert M. Hierons
2025	J	`jnl`	Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing. CoRR Yasmin Rafiq, Gricel Vázquez, Radu Calinescu, Sanja Dogramadzi, Robert M. Hierons
2025	—	`conf`	Synthesising Bayesian Network Models for Clinical Decision Support from Rule-Based Logic. RuleML+RR (Companion) Georgia Sowerby, Ol'tunde Ashaolu, Radu Calinescu, Stephen Connor
2025	A	`conf`	Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs. RE Alex Kleijwegt, Sinem Getir Yaman, Radu Calinescu
2025	J	`jnl`	Tool for Supporting Debugging and Understanding of Normative Requirements Using LLMs. CoRR Alex Kleijwegt, Sinem Getir Yaman, Radu Calinescu
2025	—	`conf`	Towards a Hybrid AI Solution for Emergency Department Patient Triage. RuleML+RR (Companion) Georgia Sowerby, Ol'tunde Ashaolu, Radu Calinescu, Stephen Connor
2025	J	`jnl`	Verification and External Parameter Inference for Stochastic World Models. CoRR Radu Calinescu, Sinem Getir Yaman, Simos Gerasimou, Gricel Vázquez, Micah Bassett
2024	J	`jnl`	A deep learning-enhanced Digital Twin framework for improving safety and reliability in human-robot collaborative manufacturing. Robotics Comput. Integr. Manuf. Shenglin Wang, Jingqiong Zhang, Peng Wang, James Law, Radu Calinescu, Lyudmila Mihaylova
2024	A*	`conf`	Analyzing and Debugging Normative Requirements via Satisfiability Checking. ICSE 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
2024	J	`jnl`	Analyzing and Debugging Normative Requirements via Satisfiability Checking. CoRR 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
2024	—	`conf`	Code-Level Safety Verification for Automated Driving: A Case Study. FM (2) Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu
2024	J	`jnl`	Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
2024	—	`conf`	Formal Synthesis of Uncertainty Reduction Controllers. SEAMS@ICSE Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024	J	`jnl`	Formal Synthesis of Uncertainty Reduction Controllers. CoRR Marc Carwehl, Calum Imrie, Thomas Vogel, Genaína Nunes Rodrigues, Radu Calinescu, Lars Grunske
2024	A	`conf`	Normative Requirements Operationalization with Large Language Models. RE 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
2024	J	`jnl`	Normative Requirements Operationalization with Large Language Models. CoRR 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
2024	J	`jnl`	Predicting Nonfunctional Requirement Violations in Autonomous Systems. ACM Trans. Auton. Adapt. Syst. Xinwei Fang, Sinem Getir Yaman, Radu Calinescu, Julie Wilson, Colin Paterson
2024	J	`jnl`	Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182). Dagstuhl Reports Simon Burton, Radu Calinescu, Raffaela Mirandola
2024	—	`conf`	Robotics: A New Mission for FRET Requirements. NFM Gricel Vázquez, Anastasia Mavridou, Marie Farrell, Thomas Pressburger, Radu Calinescu
2024	A*	`conf`	Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction. AAAI Daniel Bethell, Simos Gerasimou, Radu Calinescu
2024	—	`conf`	SALSA: Swarm Algorithm Simulator. ACSOS-C Joel Beedle, Calum Imrie, Radu Calinescu
2024	J	`jnl`	Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding. CoRR Daniel Bethell, Simos Gerasimou, Radu Calinescu, Calum Imrie
2024	—	`conf`	Safety-Aware Adaptive Reinforcement Learning for Mobile Assistive-Care Robots. ACSOS-C Qi Zhang, Ioannis Stefanakos, Javier Cámara, Radu Calinescu
2024	J	`jnl`	The Safety of Autonomy: A Systematic Approach. Computer John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy
2024	J	`jnl`	Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. Sinem Getir Yaman, Pedro Ribeiro, Charlie Burholt, Maddie Jones, Ana Cavalcanti, Radu Calinescu
2024	—	`conf`	Uncertainty Flow Diagrams: Towards a Systematic Representation of Uncertainty Propagation and Interaction in Adaptive Systems. SEAMS@ICSE Javier Cámara, Sebastian Hahner, Diego Perez-Palacin, Antonio Vallecillo, Maribel Acosta, Nelly Bencomo, Radu Calinescu, Simos Gerasimou
2023	J	`jnl`	Bayesian Learning for the Robust Verification of Autonomous Robots. CoRR Xingyu Zhao, Simos Gerasimou, Radu Calinescu, Calum Imrie, Valentin Robu, David Flynn
2023	—	`conf`	Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023	J	`jnl`	Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023	J	`jnl`	Fast Parametric Model Checking With Applications to Software Performability Analysis. IEEE Trans. Software Eng. Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2023	—	`conf`	Goal Controller Synthesis for Self-Adaptive Systems. FormaliSE Radu Calinescu, Genaína Nunes Rodrigues
2023	J	`jnl`	Medical practitioner perspectives on AI in emergency triage. Frontiers Digit. Health Beverley A. Townsend, Katherine L. Plant, Victoria J. Hodge, Ol'tunde Ashaolu, Radu Calinescu
2023	J	`jnl`	Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Trans. Software Eng. Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García
2023	J	`jnl`	Mission specification and decomposition for multi-robot systems. Robotics Auton. Syst. Eric Bernd Gil, Genaína Nunes Rodrigues, Patrizio Pelliccione, Radu Calinescu
2023	J	`jnl`	Model-driven design space exploration for multi-robot systems in simulation. Softw. Syst. Model. James Harbin, Simos Gerasimou, Nicholas Drivalos Matragkas, Thanos Zolotas, Radu Calinescu, Misael Alpizar Santana
2023	C	`conf`	Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. FUSION Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya, Radu Calinescu, Lyudmila Mihaylova
2023	J	`jnl`	Out-of-distribution Object Detection through Bayesian Uncertainty Estimation. CoRR Tianhao Zhang, Shenglin Wang, Nidhal Bouaynaya, Radu Calinescu, Lyudmila Mihaylova
2023	J	`jnl`	Probabilistic program performance analysis with confidence intervals. Inf. Softw. Technol. Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
2023	—	`conf`	Resilient strategies for socially compliant autonomous assistive dressing robots. TAS Katie J. Parnell, Siobhan Merriman, Sinem Getir Yaman, Katherine L. Plant, Radu Calinescu
2023	J	`jnl`	Robust Uncertainty Quantification using Conformalised Monte Carlo Prediction. CoRR Daniel Bethell, Simos Gerasimou, Radu Calinescu
2023	B	`conf`	Specification and Validation of Normative Rules for Autonomous Agents. FASE Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti
2023	J	`jnl`	Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents. CoRR Sinem Getir Yaman, Ana Cavalcanti, Radu Calinescu, Colin Paterson, Pedro Ribeiro, Beverley A. Townsend
2023	A*	`conf`	Towards a Formal Framework for Normative Requirements Elicitation. ASE Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti, Radu Calinescu, Marsha Chechik
2023	J	`jnl`	Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 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
2022	A	`conf`	Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo
2022	—	`conf`	Assured Multi-agent Reinforcement Learning with Robust Agent-Interaction Adaptability. KES-IDT Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2022	J	`jnl`	Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. ACM Comput. Surv. Rob Ashmore, Radu Calinescu, Colin Paterson
2022	J	`jnl`	Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
2022	J	`jnl`	Fast Parametric Model Checking. CoRR Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2022	J	`jnl`	From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. Beverley A. Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas
2022	J	`jnl`	High-availability clusters: A taxonomy, survey, and future directions. J. Syst. Softw. Premathas Somasekaram, Radu Calinescu, Rajkumar Buyya
2022	B	`conf`	Mitigating Risk in Neural Network Classifiers. SEAA Misael Alpizar Santana, Radu Calinescu, Colin Paterson
2022	A	`conf`	PRESTO: Predicting System-level Disruptions through Parametric Model Checking. SEAMS Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
2022	J	`jnl`	PRESTO: Predicting System-level Disruptions through Parametric Model Checking. CoRR Xinwei Fang, Radu Calinescu, Colin Paterson, Julie Wilson
2022	J	`jnl`	Predicting locally manageable resource failures of high availability clusters. Softw. Pract. Exp. Premathas Somasekaram, Radu Calinescu
2022	C	`conf`	Protecting Shared Virtualized Environments against Cache Side-channel Attacks. ICISSP Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu
2022	J	`jnl`	Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola
2022	Misc	`conf`	Risk-aware Real-time Object Detection. EDCC Misael Alpizar Santana, Radu Calinescu, Colin Paterson
2022	B	`conf`	Safety Controller Synthesis for a Mobile Manufacturing Cobot. SEFM Ioannis Stefanakos, Radu Calinescu, James A. Douthwaite, Jonathan M. Aitken, James Law
2022	—	`conf`	Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems. FMAS/ASYDE@SEFM Gricel Vázquez, Radu Calinescu, Javier Cámara
2022	B	`conf`	Side-channel Attacks and Countermeasures in Cloud Services and Infrastructures. NOMS Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu
2022	J	`jnl`	Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems. CoRR Danny Weyns, Paris Avergriou, Radu Calinescu, Sara Mahdavi-Hezavehi, Raffaela Mirandola, Diego Perez-Palacin
2022	B	`conf`	Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes. SEAA Naif Alasmari, Radu Calinescu
2022	J	`jnl`	The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl
2022	—	`conf`	Towards Adaptive Planning of Assistive-care Robot Tasks. FMAS/ASYDE@SEFM Jordan Hamilton, Ioannis Stefanakos, Radu Calinescu, Javier Cámara
2022	—	`conf`	Towards Scalable Multi-robot Systems by Partitioning the Task Domain. TAROS Brendan Devlin-Hill, Radu Calinescu, Javier Cámara, Ipek Caliskanelli
2022	J	`jnl`	Verified synthesis of optimal safety controllers for human-robot collaboration. Sci. Comput. Program. Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2021	J	`jnl`	A Modular Digital Twinning Framework for Safety Assurance of Collaborative Robotics. Frontiers Robotics AI James A. Douthwaite, Benjamin Lesage, Mario Gleirscher, Radu Calinescu, Jonathan M. Aitken, Rob Alexander, James Law
2021	—	`conf`	Assured Deep Multi-Agent Reinforcement Learning for Safe Robotic Systems. ICAART (Revised Selected Papers) Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2021	B	`conf`	DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. SAFECOMP Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
2021	J	`jnl`	DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. CoRR Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
2021	—	`conf`	Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers. AITest Colin Paterson, Radu Calinescu, Chiara Picardi
2021	J	`jnl`	Efficient Parametric Model Checking Using Domain Knowledge. IEEE Trans. Software Eng. Radu Calinescu, Colin Paterson, Kenneth Johnson
2021	A*	`conf`	Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. ASE Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang
2021	A*	`conf`	Fast Parametric Model Checking through Model Fragmentation. ICSE Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2021	J	`jnl`	Fast Parametric Model Checking through Model Fragmentation. CoRR Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
2021	J	`jnl`	Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS). CoRR Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli
2021	J	`jnl`	High-Availability Clusters A Taxonomy, Review, and Future Directions. CoRR Premathas Somasekaram, Radu Calinescu, Rajkumar Buyya
2021	—	`conf`	Maintaining driver attentiveness in shared-control autonomous driving. SEAMS@ICSE Radu Calinescu, Naif Alasmari, Mario Gleirscher
2021	J	`jnl`	Maintaining driver attentiveness in shared-control autonomous driving. CoRR Radu Calinescu, Naif Alasmari, Mario Gleirscher
2021	—	`conf`	Memory Deduplication as a Protective Factor in Virtualized Systems. ACNS Workshops Abdullah Albalawi, Vassilios G. Vassilakis, Radu Calinescu
2021	A	`conf`	Model-Driven Simulation-Based Analysis for Multi-Robot Systems. MoDELS James Harbin, Simos Gerasimou, Nicholas Matragkas, Athanasios Zolotas, Radu Calinescu
2021	B	`conf`	Probabilistic Program Performance Analysis. SEAA Ioannis Stefanakos, Radu Calinescu, Simos Gerasimou
2021	J	`jnl`	Quantitative Verification with Adaptive Uncertainty Reduction. CoRR Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola
2021	—	`conf`	Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies. ICAART (2) Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2021	J	`jnl`	RiskStructures: A design algebra for risk-aware machines. Formal Aspects Comput. Mario Gleirscher, Radu Calinescu, Jim Woodcock
2021	—	`conf`	RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE 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
2021	—	`conf`	Scheduling Multi-robot Missions with Joint Tasks and Heterogeneous Robot Teams. TAROS Gricel Vázquez, Radu Calinescu, Javier Cámara
2021	—	`conf`	Six Software Engineering Principles for Smarter Cyber-Physical Systems. ACSOS-C 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
2021	B	`ed.`	Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings SEFM Radu Calinescu, Corina S. Pasareanu
2021	—	`conf`	Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis. MoDELS (Companion) Ioannis Stefanakos, Simos Gerasimou, Radu Calinescu
2021	J	`jnl`	Special Issue on software engineering for trustworthy cyber-physical systems. J. Syst. Softw. Tomás Bures, Radu Calinescu, Danny Weyns
2021	J	`jnl`	Special issue on resilient software and software-controlled systems. Computing Radu Calinescu, Felicita Di Giandomenico
2021	—	`conf`	Towards a Bayesian prognostic framework for high-availability clusters. UCC Companion Premathas Somasekaram, Radu Calinescu
2021	J	`jnl`	Uncertainty in Self-Adaptive Systems: A Research Community Perspective. CoRR Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin
2021	B	`conf`	Utilising Assured Multi-Agent Reinforcement Learning within Safety-Critical Scenarios. KES Joshua Riley, Radu Calinescu, Colin Paterson, Daniel Kudenko, Alec Banks
2021	J	`jnl`	Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration. CoRR Mario Gleirscher, Radu Calinescu, James A. Douthwaite, Benjamin Lesage, Colin Paterson, Jonathan M. Aitken, Rob Alexander, James Law
2020	B	`conf`	Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles. FASE Radu Calinescu, Vittorio Cortellessa, Ioannis Stefanakos, Catia Trubiani
2020	—	`conf`	Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems. SafeAI@AAAI Chiara Picardi, Colin Paterson, Richard Hawkins, Radu Calinescu, Ibrahim Habli
2020	J	`jnl`	Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. CoRR Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou, Radu Calinescu, James Law, John A. Clark
2020	A*	`conf`	Interval Change-Point Detection for Runtime Probabilistic Model Checking. ASE Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn
2020	J	`jnl`	Observation-Enhanced QoS Analysis of Component-Based Systems. IEEE Trans. Software Eng. Colin Paterson, Radu Calinescu
2020	—	`ed.`	SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June - 3 July, 2020 SEAMS@ICSE Shinichi Honiden, Elisabetta Di Nitto, Radu Calinescu
2020	B	`conf`	Safety Controller Synthesis for Collaborative Robots. ICECCS Mario Gleirscher, Radu Calinescu
2020	J	`jnl`	Safety Controller Synthesis for Collaborative Robots. CoRR Mario Gleirscher, Radu Calinescu
2020	B	`conf`	Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. ICECCS Simon Foster, Mario Gleirscher, Radu Calinescu
2020	J	`jnl`	Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. CoRR Simon Foster, Mario Gleirscher, Radu Calinescu
2020	J	`jnl`	Uncertainty in Self-adaptive Systems: A Research Community Perspective. ACM Trans. Auton. Adapt. Syst. Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin
2020	—	`conf`	Understanding Uncertainty in Self-adaptive Systems. ACSOS Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin, Danny Weyns
2019	—	`conf`	Architecting Trustworthy Self-Adaptive Systems (Tutorial). ICSA Companion Radu Calinescu, Danny Weyns, Simos Gerasimou, Ibrahim Habli
2019	J	`jnl`	Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges. CoRR Rob Ashmore, Radu Calinescu, Colin Paterson
2019	J	`jnl`	Detection and Mitigation of Rare Subclasses in Neural Network Classifiers. CoRR Colin Paterson, Radu Calinescu
2019	—	`conf`	Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 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
2019	J	`jnl`	Perpetual Assurances for Self-Adaptive Systems. CoRR 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
2019	—	`conf`	Socio-cyber-physical systems: models, opportunities, open challenges. SEsCPS@ICSE Radu Calinescu, Javier Cámara, Colin Paterson
2019	—	`ed.`	Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings SERENE Radu Calinescu, Felicita Di Giandomenico
2019	—	`conf`	Taming Service Uncertainty through Probabilistic Model Learning, Analysis and Synthesis. UCC Companion Radu Calinescu
2019	—	`conf`	Towards systematic engineering of collaborative heterogeneous robotic systems. RoSE@ICSE Simos Gerasimou, Nicholas Matragkas, Radu Calinescu
2019	—	`conf`	Using unstructured data to improve the continuous planning of critical processes involving humans. SEAMS@ICSE Colin Paterson, Radu Calinescu, Di Wang, Suresh Manandhar
2018	A*	`conf`	ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases. ICSE Radu Calinescu, Danny Weyns, Simos Gerasimou, M. Usman Iftikhar, Ibrahim Habli, Tim Kelly
2018	J	`jnl`	Efficient Parametric Model Checking Using Domain Knowledge. CoRR Radu Calinescu, Colin Paterson, Kenneth Johnson
2018	—	`conf`	Efficient parametric model checking using domain-specific modelling patterns. ICSE (NIER) Radu Calinescu, Kenneth Johnson, Colin Paterson
2018	J	`jnl`	Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018	J	`jnl`	Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. IEEE Trans. Software Eng. Radu Calinescu, Danny Weyns, Simos Gerasimou, Muhammad Usman Iftikhar, Ibrahim Habli, Tim Kelly
2018	J	`jnl`	Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2018	J	`jnl`	Evaluating cloud database migration options using workload models. J. Cloud Comput. Martyn Ellison, Radu Calinescu, Richard F. Paige
2018	J	`jnl`	Observation-Enhanced QoS Analysis of Component-Based Systems. CoRR Colin Paterson, Radu Calinescu
2018	J	`jnl`	Synthesis of probabilistic models for quality-of-service software engineering. Autom. Softw. Eng. Simos Gerasimou, Radu Calinescu, Giordano Tamburrelli
2018	—	`conf`	Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds. ES Naif Alasmari, Radu Calinescu
2018	—	`conf`	Towards Self-Adaptive Systems with Hierarchical Decentralised Control. FAS*W@SASO/ICAC Saud Yonbawi, Radu Calinescu
2017	A	`conf`	Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement. ICSA Colin Paterson, Radu Calinescu
2017	—	`conf`	Assured Reinforcement Learning with Formally Verified Abstract Policies. ICAART (2) George Mason, Radu Calinescu, Daniel Kudenko, Alec Banks
2017	A	`conf`	Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017	J	`jnl`	Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases. CoRR Radu Calinescu, Simos Gerasimou, Ibrahim Habli, M. Usman Iftikhar, Tim Kelly, Danny Weyns
2017	—	`conf`	RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti
2017	—	`conf`	Self-Adaptive Role-Based Access Control for Business Processes. SEAMS@ICSE Carlos Eduardo da Silva, José Diego Saraiva da Silva, Colin Paterson, Radu Calinescu
2017	—	`conf`	Software Quality Analysis with Observation-Enhanced Quantitative Verification (Tutorial). ICSA Workshops Radu Calinescu
2017	—	`ch.`	Synthesis and Verification of Self-aware Computing Systems. Self-Aware Computing Systems Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli
2017	J	`jnl`	UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact). Dagstuhl Artifacts Ser. Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns
2017	—	`conf`	UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles. SEAMS@ICSE Simos Gerasimou, Radu Calinescu, Stepan Shevtsov, Danny Weyns
2016	J	`jnl`	A Computational Model for the AMPA Receptor Phosphorylation Master Switch Regulating Cerebellar Long-Term Depression. PLoS Comput. Biol. Andrew R. Gallimore, A. Radu Aricescu, Michisuke Yuzaki, Radu Calinescu
2016	A	`conf`	FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals. TACAS Radu Calinescu, Kenneth Johnson, Colin Paterson
2016	J	`jnl`	Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Trans. Reliab. Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli
2016	—	`conf`	Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops Martyn Ellison, Radu Calinescu, Richard F. Paige
2015	—	`conf`	A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. EUROMICRO-SEAA Kenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan
2015	A*	`conf`	Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). ASE Simos Gerasimou, Giordano Tamburrelli, Radu Calinescu
2015	B	`conf`	Self-adaptive Software with Decentralised Control Loops. FASE Radu Calinescu, Simos Gerasimou, Alec Banks
2015	B	`ed.`	Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings SEFM Radu Calinescu, Bernhard Rumpe
2015	—	`ed.`	Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers SEFM Workshops Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
2015	—	`conf`	Tele Assistance: A Self-Adaptive Service-Based System Exemplar. SEAMS@ICSE Danny Weyns, Radu Calinescu
2014	—	`conf`	A Qualitative Study of Model Transformation Development Approaches: Supporting Novice Developers. MD2P2@MoDELS Gabriel Costa Silva, Louis M. Rose, Radu Calinescu
2014	C	`conf`	A scalable approach for re-configuring evolving industrial control systems. ETFA Roopak Sinha, Kenneth Johnson, Radu Calinescu
2014	B	`conf`	Adaptive model learning for continual verification of non-functional properties. ICPE Radu Calinescu, Yasmin Rafiq, Kenneth Johnson, Mehmet Emin Bakir
2014	—	`conf`	Cloud DSL: A Language for Supporting Cloud Portability by Describing Cloud Entities. CloudMDE@MoDELS Gabriel Costa Silva, Louis M. Rose, Radu Calinescu
2014	—	`conf`	Efficient re-resolution of SMT specifications for evolving software architectures. QoSA Kenneth Johnson, Radu Calinescu
2014	A	`conf`	Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration. SEAMS Simos Gerasimou, Radu Calinescu, Alec Banks
2014	Misc	`conf`	Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment. UCC Martyn Ellison, Radu Calinescu, Richard F. Paige
2014	—	`conf`	Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models. EUROMICRO-SEAA Diego Perez-Palacin, Raffaela Mirandola, Radu Calinescu
2013	—	`conf`	A Systematic Review of Cloud Lock-In Solutions. CloudCom (2) Gabriel Costa Silva, Louis M. Rose, Radu Calinescu
2013	—	`conf`	An incremental verification framework for component-based software systems. CBSE Kenneth Johnson, Radu Calinescu, Shinji Kikuchi
2013	—	`conf`	Continual Verification of Non-Functional Properties in Cloud-Based Systems. NiM-ALP@MoDELS Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov
2013	A*	`conf`	Developing self-verifying service-based systems. ASE Radu Calinescu, Kenneth Johnson, Yasmin Rafiq
2013	J	`jnl`	Editorial. Computing Radu Calinescu, Robert B. France, Carlo Ghezzi
2013	—	`ch.`	Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Software. Assurances for Self-Adaptive Systems Radu Calinescu
2013	—	`conf`	Multimodel-Driven Software Engineering for Evolving Enterprise Systems. GEMOC+AMINO@MoDELS Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff
2013	—	`conf`	Perpetual Assurances for Self-Adaptive Systems. Software Engineering for Self-Adaptive Systems 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
2013	—	`conf`	Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning. CloudCom (2) Kenneth Johnson, Yuanzhi Wang, Radu Calinescu, Ian Sommerville, Gordon D. Baxter, John V. Tucker
2013	—	`conf`	Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. Software Engineering for Self-Adaptive Systems 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, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
2013	—	`conf`	Towards Autonomic Cloud Services Engineering via Intention Workflow Model. GECON Thar Baker, Omer F. Rana, Radu Calinescu, Rafael Tolosana-Calasanz, José Ángel Bañares
2013	—	`conf`	Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing. CloudCom (1) Gabriel Costa Silva, Louis M. Rose, Radu Calinescu
2013	Misc	`conf`	Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems. TASE Radu Calinescu, Yasmin Rafiq
2013	—	`conf`	Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges. Software Engineering for Self-Adaptive Systems Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson
2013	Misc	`conf`	log2cloud: log-based prediction of cost-performance trade-offs for cloud deployments. SAC Diego Perez-Palacin, Radu Calinescu, José Merseguer
2012	—	`conf`	Compositional Reverification of Probabilistic Safety Properties for Large-Scale Complex IT Systems. Monterey Workshop Radu Calinescu, Shinji Kikuchi, Kenneth Johnson
2012	—	`ed.`	Large-Scale Complex IT Systems. Development, Operation and Management - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers Monterey Workshop Radu Calinescu, David Garlan
2012	J	`jnl`	Large-scale complex IT systems. Commun. ACM Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2012	J	`jnl`	Self-adaptive software needs quantitative verification at runtime. Commun. ACM Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola
2011	J	`jnl`	Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng. Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli
2011	—	`conf`	Form Follows Function - Model-Driven Engineering for Clinical Trials. FHIES Jim Davies, Jeremy Gibbons, Radu Calinescu, Charles Crichton, Steve Harris, Andrew Tsui
2011	—	`ed.`	Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers Monterey Workshop Radu Calinescu, Ethan K. Jackson
2011	J	`jnl`	Large-scale Complex IT Systems CoRR Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige
2011	J	`jnl`	Metamodel-driven SOA for collaborative e-science application. Comput. Syst. Sci. Eng. Tianyi Zang, Radu Calinescu, Marta Z. Kwiatkowska
2011	—	`ch.`	OGSA-Based SOA for Collaborative Cancer Research: System Modeling and Generation. Guide to e-Science Tianyi Zang, Radu Calinescu, Marta Kwiatkowska
2011	—	`conf`	Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns. Haifa Verification Conference Kenneth Johnson, Simon Reed, Radu Calinescu
2011	B	`conf`	Using observation ageing to improve markovian model learning in QoS engineering. ICPE Radu Calinescu, Kenneth Johnson, Yasmin Rafiq
2011	—	`conf`	When the requirements for adaptation and high integrity meet. ASAS@ESEC/FSE Radu Calinescu
2010	B	`ed.`	15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010 ICECCS Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska
2010	—	`conf`	Formal Methods @ Runtime. Monterey Workshop Radu Calinescu, Shinji Kikuchi
2009	B	`conf`	CADS: Computer-Aided Development of Self- Systems. FASE Radu Calinescu, Marta Z. Kwiatkowska
2009	B	`conf`	CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. ICECCS Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon S. Blair, Paul Grace, Marta Z. Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta
2009	B	`conf`	Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. SAFECOMP Zeshan Kurd, Tim Kelly, John A. McDermid, Radu Calinescu, Marta Z. Kwiatkowska
2009	—	`ed.`	Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009, Valencia, Spain, 20-25 April 2009 ICAS Radu Calinescu, Fidel Liberal, Mauricio Marín, Lourdes Peñalver, Carlos Turro, Manuela Popescu
2009	—	`ch.`	General-Purpose Autonomic Computing. Autonomic Computing and Networking Radu Calinescu
2009	—	`conf`	Resource-Definition Policies for Autonomic Computing. ICAS Radu Calinescu
2009	A*	`conf`	Using quantitative analysis to implement autonomic IT systems. ICSE Radu Calinescu, Marta Z. Kwiatkowska
2008	—	`conf`	Implementation of a Generic Autonomic Framework. ICAS Radu Calinescu
2008	—	`conf`	Metamodel-Based Generation of WSRF-Compliant SOA for Collaborative Cancer Research. eScience Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Charles Crichton, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, James D. Brenton, Carlos Caldas
2008	—	`conf`	Methodology for the model-driven development of self-managing systems. Conf. Computing Frontiers Radu Calinescu
2008	—	`conf`	Software Engineering Techniques for the Development of Systems of Systems. Monterey Workshop Radu Calinescu, Marta Z. Kwiatkowska
2008	B	`conf`	WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. CCGRID Tianyi Zang, Radu Calinescu, Steve Harris, Andrew Tsui, Marta Z. Kwiatkowska, Jeremy Gibbons, Jim Davies, Peter Maccallum, Carlos Caldas
2007	C	`conf`	Challenges and Best Practices in Policy-Based Autonomic Architectures. DASC Radu Calinescu
2007	—	`conf`	Model-Driven Autonomic Architecture. ICAC Radu Calinescu
2007	B	`conf`	Model-driven architecture for cancer research. SEFM Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl
1997	—	`conf`	A BSP Approach to the Scheduling of Tightly-Nested Loops. IPPS Radu Calinescu
1997	J	`jnl`	Bulk-synchronous Parallel Algorithms for Qr and Qz Matrix Factorisation. Parallel Algorithms Appl. Radu Calinescu, David J. Evans
1996	J	`jnl`	Bulk Synchronous Parallel Algorithms for Conservative Discrete Event Simulation. Parallel Algorithms Appl. Radu Calinescu
1996	—	`conf`	Bulk Synchronous Parallel Scheduling of Uniform Dags. Euro-Par, Vol. II Radu Calinescu
1994	J	`jnl`	A Parallel Simulation Model for Load Balancing in Clustered Distributed Systems. Parallel Comput. Radu Calinescu, David J. Evans