default author photo

Radu Calinescu

University of York

Heslington

University of York

York, YO10 5DD

United Kingdom

  • University of York

SCHOLARLY PAPERS

5

DOWNLOADS

413

TOTAL CITATIONS

3

Scholarly Papers (5)

Actions:
Email selected abstracts
1.

INSYTE: A Classification Framework for Traditional to Agentic AI Systems

Number of pages: 39 Posted: 23 Jul 2025 Last Revised: 23 Sep 2025
Zoe Porter, Radu Calinescu, Ernest Lim, Victoria Hodge, Philippa Ryan, Simon Burton, Ibrahim Habli, Tom Lawton, John McDermid, John Molloy, Helen Monkhouse, Phillip Morgan, Paul Noordhof, Colin Paterson, Isobel Standen and Jie Zou
University of York, University of York, Ufonia Limited, University of York, University of York, University of York, University of York, NHS Foundation Trust - Bradford Teaching Hospitals NHS Foundation Trust, University of York, University of York, HORIBA MIRA, University of York - York Law School, University of York, University of York, University of York - Department of Philosophy and University of York
Downloads 210 (362,957)

Abstract:

Loading...

AI system, Autonomous system, Agentic AI, Classification framework, Taxonomy

2.

Specification, Validation and Verification Of Social, Legal, Ethical, Empathetic and Cultural Requirements For Autonomous Agents

Number of pages: 23 Posted: 14 Nov 2023
Sinem Getir Yaman, Pedro Ribeiro, Ana Cavalcanti, Radu Calinescu, Colin Paterson and Beverley Townsend
University of York, University of York, University of York, University of York, University of York and University of York
Downloads 67 (924,743)
Citation 3

Abstract:

Loading...

autonomous agents, social, legal, ethical, empathethic and cultural requirements, verification and validation, sociotechnical systems, Formal Methods

3.

Computer Assisted Diagnosis in the Acute Setting: The Emergency Clinician's Perspective

Number of pages: 13 Posted: 12 Sep 2024
Ol’Tunde Ashaolu, Victoria Hodge, Beverley Townsend, Ibrahim Habli and Radu Calinescu
Scarborough Health Network - General Hospital, University of York, University of York, University of York and University of York
Downloads 55 (1,063,489)

Abstract:

Loading...

Emergency Medicine, Computer-Assisted Diagnosis, Autonomous Diagnosis, Emergency Department, Clinician, Physician, Perspective

4.

Compositional Code-Level Safety Verification for Automated Driving Controllers

Number of pages: 15 Posted: 30 Sep 2024
Vladislav Nenchev, Calum Imrie, Simos Gerasimou and Radu Calinescu
BMW Group, University of York, University of York and University of York
Downloads 41 (1,183,237)

Abstract:

Loading...

Formal verification, Deep neural network verification, Model-based software analysis, Adaptive cruise control, Lane-keeping assist, Automated driving

5.

Norm-Aware Workflow Adaptation for Autonomous Agents

Number of pages: 12 Posted: 05 Feb 2026
A L Partis, Radu Calinescu, Ana Cavalcanti, Sinem Getir Yaman, Ioannis Stefanakos and Alvaro Miyazawa
University of York - Department of Computer Science, University of York, University of York, University of York, University of York and University of York
Downloads 40 (1,222,651)

Abstract:

Loading...

self-adaptive intelligent agents, social, legal, ethical, empathetic and cultural rules, workflow adaptation