Synthesis Technologies for Reactive Systems Software Engineers

Efficient Algorithms for Omega-Regular Energy Games

Autorzy: Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Opublikowane w: International Symposium on Formal Methods (FM 2021), 2021, Strona(/y) 163–181, ISBN 978-3-030-90869-0
Wydawca: Springer
DOI: 10.1007/978-3-030-90870-6_9

On the software engineering challenges of applying reactive synthesis to robotics

Autorzy: Shahar Maoz; Jan Oliver Ringert
Opublikowane w: Proceedings of the 1st International Workshop on Robotics Software Engineering, RoSE@ICSE 2018, 2018, Strona(/y) 17-22, ISBN 978-1-4503-5760-9
Wydawca: ACM
DOI: 10.1145/3196558.3196561

Just-In-Time Reactive Synthesis

Autorzy: Shahar Maoz; Ilia Shevrin
Opublikowane w: ASE '20: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Strona(/y) 635-646, ISBN 978-1-4503-6768-4
Wydawca: IEEE
DOI: 10.1145/3324884.3416557

Inherent vacuity for GR(1) specifications

Autorzy: Shahar Maoz; Rafi Shalom
Opublikowane w: ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Strona(/y) 99-110, ISBN 978-1-4503-7043-1
Wydawca: ACM
DOI: 10.1145/3368089.3409669

Unrealizable Cores for Reactive Systems Specifications

Autorzy: Shahar Maoz; Rafi Shalom
Opublikowane w: ICSE'21, 2021
Wydawca: IEEE
DOI: 10.1109/icse43902.2021.00016

Symbolic Repairs for GR(1) Specifications

Autorzy: Shahar Maoz; Jan Oliver Ringert; Rafi Shalom
Opublikowane w: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, Strona(/y) 1016-1026, ISBN 978-1-7281-0869-8
Wydawca: IEEE
DOI: 10.1109/icse.2019.00106

A symbolic justice violations transition system for unrealizable GR(1) specifications

Autorzy: Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
Opublikowane w: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, 2017, Strona(/y) 362-372, ISBN 9781-450351058
Wydawca: ACM Press
DOI: 10.1145/3106237.3106240

On well-separation of GR(1) specifications

Autorzy: Shahar Maoz, Jan Oliver Ringert
Opublikowane w: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, 2016, Strona(/y) 362-372, ISBN 9781-450342186
Wydawca: ACM Press
DOI: 10.1145/2950290.2950300

GR(1) synthesis for LTL specification patterns

Autorzy: Shahar Maoz, Jan Oliver Ringert
Opublikowane w: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015, 2015, Strona(/y) 96-106, ISBN 9781-450336758
Wydawca: ACM Press
DOI: 10.1145/2786805.2786824

GR(1)*: GR(1) specifications extended with existential guarantees

Autorzy: Gal Amram; Shahar Maoz; Or Pistiner
Opublikowane w: Formal Aspects of Computing, Numer Volume 33, Numer 4-5, 2021, Strona(/y) 729–761, ISSN 0934-5043
Wydawca: Springer Verlag
DOI: 10.1007/s00165-021-00535-6

Performance heuristics for GR(1) synthesis and related algorithms

Autorzy: Elizabeth Firman; Shahar Maoz; Jan Oliver Ringert
Opublikowane w: Acta Informatica, Numer 57, 1-2, 2020, Strona(/y) 37--79, ISSN 0001-5903
Wydawca: Springer Verlag
DOI: 10.1007/s00236-019-00351-9

Performance Heuristics for GR(1) Synthesis and Related Algorithms

Autorzy: Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 260, 2017, Strona(/y) 62-80, ISSN 2075-2180
Wydawca: EPTCS
DOI: 10.4204/EPTCS.260.7

Synthesizing a Lego Forklift Controller in GR(1): A Case Study

Autorzy: Shahar Maoz, Jan Oliver Ringert
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 202, 2016, Strona(/y) 58-72, ISSN 2075-2180
Wydawca: EPTCS
DOI: 10.4204/EPTCS.202.5

Symbolic BDD and ADD Algorithms for Energy Games

Autorzy: Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Opublikowane w: Electronic Proceedings in Theoretical Computer Science, Numer 229, 2016, Strona(/y) 35-54, ISSN 2075-2180
Wydawca: EPTCS
DOI: 10.4204/EPTCS.229.5

Spectra: a specification language for reactive systems

Autorzy: Shahar Maoz; Jan Oliver Ringert
Opublikowane w: Software and Systems Modeling, Numer 20, 2021, Strona(/y) 1553–1586, ISSN 1619-1366
Wydawca: Springer Verlag
DOI: 10.1007/s10270-021-00868-z

Energy mu-Calculus: Symbolic Fixed-Point Algorithms for omega-Regular Energy Games

Autorzy: Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Opublikowane w: CoRR, 2020
Wydawca: Arxiv.org
DOI: 10.48550/arxiv.2005.00641

Publikacje

Udostępnij tę stronę

Pobierz