Singh, Hargurbir
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Singh
Vorname
Hargurbir
Name
3 Ergebnisse
Suchergebnisse Publikationen
Gerade angezeigt 1 - 3 von 3
- VeröffentlichungZeitschriftenartikelCausal Reasoning for Safety in Hennessy Milner Logic(2020) Caltais, Georgiana; Mousavi, Mohammad Reza; Singh, HargurbirErschienen in: Fundamenta Informaticae. IOS Press. 2020, 173(2-3), pp. 217-251. ISSN 0169-2968. eISSN 1875-8681. Available under: doi: 10.3233/FI-2020-1922
- VeröffentlichungBeitrag zu einem KonferenzbandCorrectness of an ATL Model Transformation from SysML State Machine Diagrams to Promela(2020) Caltais, Georgiana; Leue, Stefan; Singh, HargurbirErschienen in: HAMMOUDI, Slimane, ed., Luis FERREIRA PIRES, ed., Bran SELIC, ed.. Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development : Volume 1: MODELSWARD. Setúbal, Portugal: SCITEPRESS, 2020, pp. 360-372. ISBN 9789897584008. Available under: doi: 10.5220/0008968303600372
- VeröffentlichungBeitrag zu einem KonferenzbandFrom SysML to Model Checkers via Model Transformation(2018) Kölbl, Martin; Leue, Stefan; Singh, HargurbirErschienen in: DEL MAR GALLARDO, MarÃa, ed., Pedro MERINO, ed.. Model Checking Software : 25th International Symposium : SPIN 2018 : proceedings. Cham: Springer, 2018, pp. 255-274. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-94110-3. Available under: doi: 10.1007/978-3-319-94111-0_15