Veröffentlichungen
Autoren:
Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Veröffentlicht in:
International Symposium on Formal Methods (FM 2021), 2021, Seite(n) 163–181, ISBN 978-3-030-90869-0
Herausgeber:
Springer
DOI:
10.1007/978-3-030-90870-6_9
Autoren:
Shahar Maoz; Jan Oliver Ringert
Veröffentlicht in:
Proceedings of the 1st International Workshop on Robotics Software Engineering, RoSE@ICSE 2018, 2018, Seite(n) 17-22, ISBN 978-1-4503-5760-9
Herausgeber:
ACM
DOI:
10.1145/3196558.3196561
Autoren:
Shahar Maoz; Ilia Shevrin
Veröffentlicht in:
ASE '20: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Seite(n) 635-646, ISBN 978-1-4503-6768-4
Herausgeber:
IEEE
DOI:
10.1145/3324884.3416557
Autoren:
Shahar Maoz; Rafi Shalom
Veröffentlicht in:
ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Seite(n) 99-110, ISBN 978-1-4503-7043-1
Herausgeber:
ACM
DOI:
10.1145/3368089.3409669
Autoren:
Shahar Maoz; Rafi Shalom
Veröffentlicht in:
ICSE'21, 2021
Herausgeber:
IEEE
DOI:
10.1109/icse43902.2021.00016
Autoren:
Shahar Maoz; Jan Oliver Ringert; Rafi Shalom
Veröffentlicht in:
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, Seite(n) 1016-1026, ISBN 978-1-7281-0869-8
Herausgeber:
IEEE
DOI:
10.1109/icse.2019.00106
Autoren:
Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
Veröffentlicht in:
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, 2017, Seite(n) 362-372, ISBN 9781-450351058
Herausgeber:
ACM Press
DOI:
10.1145/3106237.3106240
Autoren:
Shahar Maoz, Jan Oliver Ringert
Veröffentlicht in:
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, 2016, Seite(n) 362-372, ISBN 9781-450342186
Herausgeber:
ACM Press
DOI:
10.1145/2950290.2950300
Autoren:
Shahar Maoz, Jan Oliver Ringert
Veröffentlicht in:
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015, 2015, Seite(n) 96-106, ISBN 9781-450336758
Herausgeber:
ACM Press
DOI:
10.1145/2786805.2786824
Autoren:
Gal Amram; Shahar Maoz; Or Pistiner
Veröffentlicht in:
Formal Aspects of Computing, Ausgabe Volume 33, Ausgabe 4-5, 2021, Seite(n) 729–761, ISSN 0934-5043
Herausgeber:
Springer Verlag
DOI:
10.1007/s00165-021-00535-6
Autoren:
Elizabeth Firman; Shahar Maoz; Jan Oliver Ringert
Veröffentlicht in:
Acta Informatica, Ausgabe 57, 1-2, 2020, Seite(n) 37--79, ISSN 0001-5903
Herausgeber:
Springer Verlag
DOI:
10.1007/s00236-019-00351-9
Autoren:
Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 260, 2017, Seite(n) 62-80, ISSN 2075-2180
Herausgeber:
EPTCS
DOI:
10.4204/EPTCS.260.7
Autoren:
Shahar Maoz, Jan Oliver Ringert
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 202, 2016, Seite(n) 58-72, ISSN 2075-2180
Herausgeber:
EPTCS
DOI:
10.4204/EPTCS.202.5
Autoren:
Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Veröffentlicht in:
Electronic Proceedings in Theoretical Computer Science, Ausgabe 229, 2016, Seite(n) 35-54, ISSN 2075-2180
Herausgeber:
EPTCS
DOI:
10.4204/EPTCS.229.5
Autoren:
Shahar Maoz; Jan Oliver Ringert
Veröffentlicht in:
Software and Systems Modeling, Ausgabe 20, 2021, Seite(n) 1553–1586, ISSN 1619-1366
Herausgeber:
Springer Verlag
DOI:
10.1007/s10270-021-00868-z
Autoren:
Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Veröffentlicht in:
CoRR, 2020
Herausgeber:
Arxiv.org
DOI:
10.48550/arxiv.2005.00641
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor