Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Automating Timed Automata Design

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

Clock Reduction in Timed Automata While Preserving Design Parameters (opens in new window)

Author(s): Beyazit Yalcinkaya, Ebru Aydin Gol
Published in: 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019, Page(s) 31-40, ISBN 978-1-7281-3373-7
Publisher: IEEE
DOI: 10.1109/formalise.2019.00010

Cause Mining and Controller Synthesis with STL (opens in new window)

Author(s): Irmak Saglam, Ebru Aydin Gol
Published in: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Page(s) 4589-4594, ISBN 978-1-7281-1398-2
Publisher: IEEE
DOI: 10.1109/cdc40024.2019.9029894

Adaptive Cruise Control with Timed Automata (opens in new window)

Author(s): Mustafa Yavuz Kara, Ebru Aydin Gol
Published in: IFAC-PapersOnLine, Issue 53/2, 2020, Page(s) 1918-1923, ISSN 2405-8963
Publisher: IFAC Publisher in partnership with Elsevier
DOI: 10.1016/j.ifacol.2020.12.2585

ATAC: A Tool for Automating Timed Automata Construction

Author(s): Yalcinkaya, Beyazit; Gol, Ebru Aydin
Published in: CoRR, Issue 1, 2019
Publisher: Arxiv

An automated system repair framework with signal temporal logic (opens in new window)

Author(s): Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Published in: Acta Informatica, 2021, ISSN 0001-5903
Publisher: Springer Verlag
DOI: 10.1007/s00236-021-00403-z

Control synthesis for parametric timed automata under reachability (opens in new window)

Author(s): Ebru AYDIN GOL
Published in: TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, 2021, Page(s) 1751-1764, ISSN 1303-6203
Publisher: Tubitak
DOI: 10.3906/elk-2007-170

Timed Automata Relaxation for Reachability (opens in new window)

Author(s): Jaroslav Bendík, Ahmet Sencan, Ebru Aydin Gol, Ivana Černá
Published in: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I, Issue 12651, 2021, Page(s) 291-310, ISBN 978-3-030-72015-5
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-72016-2_16

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0