Singh, Hargurbir

Lade...
Profilbild
E-Mail-Adresse
ORCID
Geburtsdatum
Forschungsvorhaben
Organisationseinheiten
Berufsbeschreibung
Nachname
Singh
Vorname
Hargurbir
Name

Suchergebnisse Publikationen

Gerade angezeigt 1 - 3 von 3
  • Veröffentlichung
    Zeitschriftenartikel
    Causal Reasoning for Safety in Hennessy Milner Logic
    (2020) Caltais, Georgiana; Mousavi, Mohammad Reza; Singh, Hargurbir
    Erschienen 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
    Caltais_2-1f0plxytk2gvf0.pdf
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela
    (2020) Caltais, Georgiana; Leue, Stefan; Singh, Hargurbir
    Erschienen 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
    Caltais_2-36psqv39yo5y6.pdf
  • Veröffentlichung
    Beitrag zu einem Konferenzband
    From SysML to Model Checkers via Model Transformation
    (2018) Kölbl, Martin; Leue, Stefan; Singh, Hargurbir
    Erschienen 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
    Koelbl_2-fcxzqisum9ld1.pdf