Simos Gerasimou
Scholar

Simos Gerasimou

Google Scholar ID: M6vkuTsAAAAJ
Associate Professor (Senior Lecturer) in Computer Science, University of York
Self-Adaptive SystemsSoftware EngineeringAI Safety
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,185
 
H-index
17
 
i10-index
23
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
12 items
Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification
2026
Cited
0
Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
2026
Cited
0
Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
2026
Cited
0
Uncertainty Quantification for Deep Regression using Contextualised Normalizing Flows
2025
Cited
0
Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning
2025
Cited
0
Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation
2025
Cited
0
Guided Uncertainty Learning Using a Post-Hoc Evidential Meta-Model
2025
Cited
0
Efficient Strategy Synthesis for MDPs via Hierarchical Block Decomposition
2025
Cited
0
Resume (English only)
Co-authors
14 total
Radu Calinescu
Radu Calinescu
Professor of Computer Science, University of York
Danny Weyns
Danny Weyns
Katholieke Universiteit Leuven
Ibrahim Habli
Ibrahim Habli
Professor of Safety-Critical Systems at the University of York
Dimitris Kolovos
Dimitris Kolovos
Professor of Software Engineering, University of York
Marta Kwiatkowska
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Milan Ceska
Milan Ceska
Brno University of Technology
Co-author 7
Co-author 7
Nicola Paoletti
Nicola Paoletti
Department of Informatics, King's College London