Radu Calinescu

University of York

United Kingdom

Research Interests

Explore related searches

Professors in United Kingdom Professors in Artificial Intelligence Artificial Intelligence professors in United Kingdom

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (21)

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2025

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Year:

2021

Year:

2020

Collaborators (13)

Paul Bond

University of York

UNITED KINGDOM

View details

Pedro Ribeiro

Lecturer

University of York

UNITED KINGDOM

View details

Paris Avgeriou

University of Groningen

NETHERLANDS

View details

David Boyle

Imperial College London

UNITED KINGDOM

View details

Kenneth Johnson

Senior Lecturer

University of Auckland

NEW ZEALAND

View details

Kathryn Douglas Cowtan

University of York

UNITED KINGDOM

View details

CLAUDIO MENGHI

Assistant Professor

McMaster University

CANADA

View details

James Woodcock

Professor of Software Engineering

University of York

UNITED KINGDOM

View details

Richard David Hawkins

University of York

UNITED KINGDOM

View details

Ibrahim Habli

University of York

UNITED KINGDOM

View details

T.T. Arvind

Professor of Law

University of York

UNITED KINGDOM

View details

Vladislav Nenchev

Professor

Bundeswehr University Munich

GERMANY

View details

RAFFAELA MIRANDOLA

Professor

Karlsruhe Institute of Technology

GERMANY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Radu Calinescu

Research Interests

Explore related searches

Contact this professor

Articles (21)

An Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems

Explainable Reinforcement and Causal Learning for Improving Trust to 6G Stakeholders

Safety assurance of Machine Learning for autonomous systems

Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents

Compositional code-level safety verification for automated driving controllers

INSYTE: A Classification Framework for Traditional to Agentic AI Systems

Introduction to the SEAMS 2023 Special Issue

Parley +: Uncertainty Reduction in Self-Adaptive Systems

Efficient Model Verification at Runtime through Adaptive Dynamic Approximation

Normative conflict resolution through human–autonomous agent interaction

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

Resilient strategies for socially compliant autonomous assistive dressing robots

Buccaneer model building with neural network fragment selection

From Pluralistic Normative Principles to Autonomous-Agent Rules

Predicting locally manageable resource failures of high availability clusters

Quantitative verification with adaptive uncertainty reduction

High-availability clusters: A taxonomy, survey, and future directions

RiskStructures : A design algebra for risk-aware machines

Predicting the performance of automated crystallographic model-building pipelines

Efficient Parametric Model Checking Using Domain Knowledge

Pairwise running of automated crystallographic model-building pipelines

Collaborators (13)

Paul Bond

Pedro Ribeiro

Paris Avgeriou

David Boyle

Kenneth Johnson

Kathryn Douglas Cowtan

CLAUDIO MENGHI

James Woodcock

Richard David Hawkins

Ibrahim Habli

T.T. Arvind

Vladislav Nenchev

RAFFAELA MIRANDOLA

Make your next move.