Simos Gerasimou - Publications, H-index & Citations

Simos Gerasimou

university of york - uk

17H指数

95论文数

1.1K被引数

收录论文 7

发表时间

Compositional code-level safety verification for automated driving controllers 自动驾驶控制器的组成代码级安全验证

Journal of Systems and Software

IF4.1

2025-06-02

PREAI

Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu

Fast Parametric Model Checking With Applications to Software Performability Analysis

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-10-01

OAAI

Fang, Xinwei; Calinescu, Radu; Gerasimou, Simos; Alhwikem, Faisal

Probabilistic program performance analysis with confidence intervals

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2023-04-01

OAAI

Stefanakos, Ioannis; Calinescu, Radu; Gerasimou, Simos

SORA Methodology for Multi-UAS Airframe Inspections in an Airport

DRONES

IF4.8

2021-11-24

OAAI

Martinez, Carol; Sanchez-Cuevas, Pedro J.; Gerasimou, Simos; Bera, Abhishek; Olivares-Mendez, Miguel A.

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases 具有动态保证案例的工程可信自适应软件

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2018-11-01

115

OAAI

Calinescu, Radu; Weyns, Danny; Gerasimou, Simos; Iftikhar, Muhammad Usman; Habli, Ibrahim; Kelly, Tim

Efficient synthesis of robust models for stochastic systems (vol 143, pg 140, 2018)

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2018-11-01

OAAI

Calinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola

Efficient synthesis of robust models for stochastic systems

JOURNAL OF SYSTEMS AND SOFTWARE

IF4.1

2018-09-01

OAAI

Calinescu, Radu; Ceska, Milan; Gerasimou, Simos; Kwiatkowska, Marta; Paoletti, Nicola

研究方向