logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Radu Călinescu

University of York

32H-index
276Paper Count
4.2KCitation Count
Published Papers 28
Publication Date
logo
AE-MAPPO: Attention-Enhanced Multi-Agent PPO for Explainable Resource Allocation in 6G O-RAN Slicing
errIEEE Open Journal of the Communications Society
IF6.1
err2026-06-29
err0
errOAAI
errKavan Fatehi; Mostafa Rahmani Ghourtani; Amir Sonee; Poonam Yadav; Alessandra M. Russo; Radu Calinescu; Hamed Ahmadi
errShare
errSave
Symbolic Runtime Verification and Adaptive Decision-Making for Robot-Assisted Dressing
errSOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, SEAA 2025, PT I
IF0
err2026-01-01
err0
PREAI
errRafiq, Yasmin; Vazquez, Gricel; Calinescu, Radu; Dogramadzi, Sanja; Hierons, Robert M.
errShare
errSave
Cautious optimism: public voices on medical AI and sociotechnical harm
errFrontiers in Digital Health
IF3.8
err2025-09-27
err0
errOAAI
errBeverley A. Townsend; Victoria J. Hodge; Hannah Richardson; Radu Calinescu; T.T. Arvind
errShare
errSave
Safety assurance of Machine Learning for autonomous systems
errReliability Engineering & System Safety
IF11
err2025-06-14
err0
PREAI
errColin Paterson; Richard Hawkins; Chiara Picardi; Yan Jia; Radu Calinescu; Ibrahim Habli
errShare
errSave
Compositional code-level safety verification for automated driving controllers
errJournal of Systems and Software
IF4.1
err2025-06-02
err0
PREAI
errVladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu
errShare
errSave
Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents☆
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-02-01
err0
errOAAI
errYaman, Sinem Getir; Ribeiro, Pedro; Cavalcanti, Ana; Calinescu, Radu; Paterson, Colin; Townsend, Beverley
errShare
errSave
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2024-06-01
err0
errOAAI
errCalinescu, Radu; Imrie, Calum; Mangal, Ravi; Rodrigues, Genaina Nunes; Pasareanu, Corina; Santana, Misael Alpizar; Vazquez, Gricel
errShare
errSave
A deep learning-enhanced Digital Twin framework for improving safety and reliability in human-robot collaborative manufacturing
errROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING
IF11.4
err2024-02-01
err32
errOAAI
errWang, Shenglin; Zhang, Jingqiong; Wang, Peng; Law, James; Calinescu, Radu; Mihaylova, Lyudmila
errShare
errSave
Medical practitioner perspectives on AI in emergency triage
errFRONTIERS IN DIGITAL HEALTH
IF3.8
err2023-12-06
err4
errOAAI
errTownsend, Beverley A.; Plant, Katherine L.; Hodge, Victoria J.; Ashaolu, Ol'Tunde; Calinescu, Radu
errShare
errSave
Fast Parametric Model Checking With Applications to Software Performability Analysis
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-10-01
err2
errOAAI
errFang, Xinwei; Calinescu, Radu; Gerasimou, Simos; Alhwikem, Faisal
errShare
errSave
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-04-01
err5
errOAAI
errMenghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vazquez, Gricel; Calinescu, Radu; Garcia, Sergio
errShare
errSave
Probabilistic program performance analysis with confidence intervals
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2023-04-01
err0
errOAAI
errStefanakos, Ioannis; Calinescu, Radu; Gerasimou, Simos
errShare
errSave
Quantitative verification with adaptive uncertainty reduction
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2022-06-01
err5
errOAAI
errAlasmari, Naif; Calinescu, Radu; Paterson, Colin; Mirandola, Raffaela
errShare
errSave
High-availability clusters: A taxonomy, survey, and future directions
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2022-05-01
err8
errOAAI
errSomasekaram, Premathas; Calinescu, Radu; Buyya, Rajkumar
errShare
errSave
Special Issue on software engineering for trustworthy cyber-physical systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-08-01
err1
PREAI
errBures, Tomas; Calinescu, Radu; Weyns, Danny
errShare
errSave
Efficient Parametric Model Checking Using Domain Knowledge
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2021-06-01
err9
errOAAI
errCalinescu, Radu; Paterson, Colin; Johnson, Kenneth
errShare
errSave
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges
errACM COMPUTING SURVEYS
IF28
err2021-05-25
err106
errOAAI
errAshmore, Rob; Calinescu, Radu; Paterson, Colin
errShare
errSave
Special issue on resilient software and software-controlled systems
errCOMPUTING
IF2.8
err2021-01-06
err2
errOAAI
errCalinescu, Radu; Di Giandomenico, Felicita
errShare
errSave
Observation-Enhanced QoS Analysis of Component-Based Systems
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2020-05-01
err12
errOAAI
errPaterson, Colin; Calinescu, Radu
errShare
errSave
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2018-11-01
err115
errOAAI
errCalinescu, Radu; Weyns, Danny; Gerasimou, Simos; Iftikhar, Muhammad Usman; Habli, Ibrahim; Kelly, Tim
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
R
Rajkumar Buyya
H-index: 140 · Papers: 1.5K
M
Marta Kwiatkowska
H-index: 67 · Papers: 540
C
Carlo Ghezzi
H-index: 53 · Papers: 495
D
Danny Weyns
H-index: 51 · Papers: 413
I
Ian Sommerville
H-index: 51 · Papers: 345
View more