Hargurbir Singh

According to our database, Hargurbir Singh authored at least 3 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Causal Reasoning for Safety in Hennessy Milner Logic.

Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh

Fundam. Informaticae, 2020

Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela.

Georgiana Caltais, Stefan Leue, Hargurbir Singh

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2018

From SysML to Model Checkers via Model Transformation.

Martin Kölbl, Stefan Leue, Hargurbir Singh

Proceedings of the Model Checking Software - 25th International Symposium, 2018