PPaperPicks

Radu Calinescu

5 papers at tracked venues · 2 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

FM ×2AAAI ×1ECAI ×1ICSE ×1

Frequent coauthors

Simos Gerasimou
×3
Calum Imrie
×3
Ana Cavalcanti
×2
Marsha Chechik
×2
Sinem Getir Yaman
×2
Lina Marsso
×2
Isobel Standen
×2
Beverley A. Townsend
×2
Daniel Bethell
×2
Pedro Ribeiro
×1
Nick Feng
×1
Yesugen Baatartogtokh
×1

Papers

  1. The SLEEC Framework for Normative Requirements Engineering
    FM 2026 ·
    Pedro Ribeiro
    , Radu Calinescu,
    Ana Cavalcanti
    ,
    Marsha Chechik
    ,
    Sinem Getir Yaman
    ,
    Lina Marsso
    ,
    Isobel Standen
    ,
    Beverley A. Townsend
  2. Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
    ECAI 2025 ·
    Daniel Bethell
    ,
    Simos Gerasimou
    , Radu Calinescu,
    Calum Imrie
  3. Analyzing and Debugging Normative Requirements via Satisfiability Checking
    ICSE 2024 ·
    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
  4. Code-Level Safety Verification for Automated Driving: A Case Study
    FM 2024 ·
    Vladislav Nenchev
    ,
    Calum Imrie
    ,
    Simos Gerasimou
    , Radu Calinescu
  5. Robust Uncertainty Quantification Using Conformalised Monte Carlo Prediction
    AAAI 2024 ·
    Daniel Bethell
    ,
    Simos Gerasimou
    , Radu Calinescu