Simos Gerasimou

Cyprus University of Technology, Cyprus

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Data Curation & Synthetic Data (1)Scientific Discovery & Drug Design (1)

Frequent co-authors

Xingyu Zhao (1)

Papers (1)

Aug 4, 2026

Cyprus University of Technology3w ago·also Heriot-Watt University, Univerisity of Liverpool, University of London, Warwick +1

Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification

EPIK transforms how we incorporate prior knowledge in Bayesian verification, leading to more accurate assessments of software reliability and performance.

Simos Gerasimou, Xingyu Zhao

Data Curation & Synthetic Data Scientific Discovery & Drug Design

Search

Simos Gerasimou

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)