Synthesis Technologies for Reactive Systems Software Engineers

Project Information

SYNTECH

Grant agreement ID: 638049

DOI

10.3030/638049

Project closed

EC signature date 13 March 2015

Start date 1 April 2015

End date 31 March 2022

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 477 000,00

EU contribution

€ 1 477 000,00

Coordinated by

TEL AVIV UNIVERSITY
Israel

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (9)

Efficient Algorithms for Omega-Regular Energy Games

Author(s): Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Published in: International Symposium on Formal Methods (FM 2021), 2021, Page(s) 163–181, ISBN 978-3-030-90869-0
Publisher: Springer
DOI: 10.1007/978-3-030-90870-6_9

On the software engineering challenges of applying reactive synthesis to robotics

Author(s): Shahar Maoz; Jan Oliver Ringert
Published in: Proceedings of the 1st International Workshop on Robotics Software Engineering, RoSE@ICSE 2018, 2018, Page(s) 17-22, ISBN 978-1-4503-5760-9
Publisher: ACM
DOI: 10.1145/3196558.3196561

Just-In-Time Reactive Synthesis

Author(s): Shahar Maoz; Ilia Shevrin
Published in: ASE '20: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Page(s) 635-646, ISBN 978-1-4503-6768-4
Publisher: IEEE
DOI: 10.1145/3324884.3416557

Inherent vacuity for GR(1) specifications

Author(s): Shahar Maoz; Rafi Shalom
Published 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, Page(s) 99-110, ISBN 978-1-4503-7043-1
Publisher: ACM
DOI: 10.1145/3368089.3409669

Unrealizable Cores for Reactive Systems Specifications

Author(s): Shahar Maoz; Rafi Shalom
Published in: ICSE'21, 2021
Publisher: IEEE
DOI: 10.1109/icse43902.2021.00016

Symbolic Repairs for GR(1) Specifications

Author(s): Shahar Maoz; Jan Oliver Ringert; Rafi Shalom
Published in: 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 2019, Page(s) 1016-1026, ISBN 978-1-7281-0869-8
Publisher: IEEE
DOI: 10.1109/icse.2019.00106

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

Author(s): Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
Published in: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, 2017, Page(s) 362-372, ISBN 9781-450351058
Publisher: ACM Press
DOI: 10.1145/3106237.3106240

On well-separation of GR(1) specifications

Author(s): Shahar Maoz, Jan Oliver Ringert
Published in: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, 2016, Page(s) 362-372, ISBN 9781-450342186
Publisher: ACM Press
DOI: 10.1145/2950290.2950300

GR(1) synthesis for LTL specification patterns

Author(s): Shahar Maoz, Jan Oliver Ringert
Published in: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015, 2015, Page(s) 96-106, ISBN 9781-450336758
Publisher: ACM Press
DOI: 10.1145/2786805.2786824

Peer reviewed articles (6)

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

Author(s): Gal Amram; Shahar Maoz; Or Pistiner
Published in: Formal Aspects of Computing, Issue Volume 33, Issue 4-5, 2021, Page(s) 729–761, ISSN 0934-5043
Publisher: Springer Verlag
DOI: 10.1007/s00165-021-00535-6

Performance heuristics for GR(1) synthesis and related algorithms

Author(s): Elizabeth Firman; Shahar Maoz; Jan Oliver Ringert
Published in: Acta Informatica, Issue 57, 1-2, 2020, Page(s) 37--79, ISSN 0001-5903
Publisher: Springer Verlag
DOI: 10.1007/s00236-019-00351-9

Performance Heuristics for GR(1) Synthesis and Related Algorithms

Author(s): Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 260, 2017, Page(s) 62-80, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.260.7

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

Author(s): Shahar Maoz, Jan Oliver Ringert
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 202, 2016, Page(s) 58-72, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.202.5

Symbolic BDD and ADD Algorithms for Energy Games

Author(s): Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 229, 2016, Page(s) 35-54, ISSN 2075-2180
Publisher: EPTCS
DOI: 10.4204/EPTCS.229.5

Spectra: a specification language for reactive systems

Author(s): Shahar Maoz; Jan Oliver Ringert
Published in: Software and Systems Modeling, Issue 20, 2021, Page(s) 1553–1586, ISSN 1619-1366
Publisher: Springer Verlag
DOI: 10.1007/s10270-021-00868-z

Other (1)

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

Author(s): Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Published in: CoRR, 2020
Publisher: Arxiv.org
DOI: 10.48550/arxiv.2005.00641