Synthesis Technologies for Reactive Systems Software Engineers

Informations projet

SYNTECH

N° de convention de subvention: 638049

DOI

10.3030/638049

Projet clôturé

Date de signature de la CE 13 Mars 2015

Date de début 1 Avril 2015

Date de fin 31 Mars 2022

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 477 000,00

Contribution de l’UE

€ 1 477 000,00

Coordonné par

TEL AVIV UNIVERSITY
Israel

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (9)

Efficient Algorithms for Omega-Regular Energy Games

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

On the software engineering challenges of applying reactive synthesis to robotics

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

Just-In-Time Reactive Synthesis

Auteurs: Shahar Maoz; Ilia Shevrin
Publié dans: 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
Éditeur: IEEE
DOI: 10.1145/3324884.3416557

Inherent vacuity for GR(1) specifications

Auteurs: Shahar Maoz; Rafi Shalom
Publié dans: 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
Éditeur: ACM
DOI: 10.1145/3368089.3409669

Unrealizable Cores for Reactive Systems Specifications

Auteurs: Shahar Maoz; Rafi Shalom
Publié dans: ICSE'21, 2021
Éditeur: IEEE
DOI: 10.1109/icse43902.2021.00016

Symbolic Repairs for GR(1) Specifications

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

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

Auteurs: Aviv Kuvent, Shahar Maoz, Jan Oliver Ringert
Publié dans: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, 2017, Page(s) 362-372, ISBN 9781-450351058
Éditeur: ACM Press
DOI: 10.1145/3106237.3106240

On well-separation of GR(1) specifications

Auteurs: Shahar Maoz, Jan Oliver Ringert
Publié dans: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016, 2016, Page(s) 362-372, ISBN 9781-450342186
Éditeur: ACM Press
DOI: 10.1145/2950290.2950300

GR(1) synthesis for LTL specification patterns

Auteurs: Shahar Maoz, Jan Oliver Ringert
Publié dans: Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015, 2015, Page(s) 96-106, ISBN 9781-450336758
Éditeur: ACM Press
DOI: 10.1145/2786805.2786824

Peer reviewed articles (6)

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

Auteurs: Gal Amram; Shahar Maoz; Or Pistiner
Publié dans: Formal Aspects of Computing, Numéro Volume 33, Numéro 4-5, 2021, Page(s) 729–761, ISSN 0934-5043
Éditeur: Springer Verlag
DOI: 10.1007/s00165-021-00535-6

Performance heuristics for GR(1) synthesis and related algorithms

Auteurs: Elizabeth Firman; Shahar Maoz; Jan Oliver Ringert
Publié dans: Acta Informatica, Numéro 57, 1-2, 2020, Page(s) 37--79, ISSN 0001-5903
Éditeur: Springer Verlag
DOI: 10.1007/s00236-019-00351-9

Performance Heuristics for GR(1) Synthesis and Related Algorithms

Auteurs: Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 260, 2017, Page(s) 62-80, ISSN 2075-2180
Éditeur: EPTCS
DOI: 10.4204/EPTCS.260.7

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

Auteurs: Shahar Maoz, Jan Oliver Ringert
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 202, 2016, Page(s) 58-72, ISSN 2075-2180
Éditeur: EPTCS
DOI: 10.4204/EPTCS.202.5

Symbolic BDD and ADD Algorithms for Energy Games

Auteurs: Shahar Maoz, Or Pistiner, Jan Oliver Ringert
Publié dans: Electronic Proceedings in Theoretical Computer Science, Numéro 229, 2016, Page(s) 35-54, ISSN 2075-2180
Éditeur: EPTCS
DOI: 10.4204/EPTCS.229.5

Spectra: a specification language for reactive systems

Auteurs: Shahar Maoz; Jan Oliver Ringert
Publié dans: Software and Systems Modeling, Numéro 20, 2021, Page(s) 1553–1586, ISSN 1619-1366
Éditeur: Springer Verlag
DOI: 10.1007/s10270-021-00868-z

Other (1)

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

Auteurs: Gal Amram; Shahar Maoz; Or Pistiner; Jan Oliver Ringert
Publié dans: CoRR, 2020
Éditeur: Arxiv.org
DOI: 10.48550/arxiv.2005.00641