Hargurbir Singh

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Mathematical Model

Causal Reasoning

Top Venues

Fundam. Informaticae

Publications

Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh
Causal Reasoning for Safety in Hennessy Milner Logic. Fundam. Informaticae 173 (2-3) (2020)
Georgiana Caltais, Stefan Leue, Hargurbir Singh
Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. MODELSWARD (2020)
Martin Kölbl, Stefan Leue, Hargurbir Singh
From SysML to Model Checkers via Model Transformation. SPIN (2018)