Foundations of Composition

Informacje na temat projektu

FouCo

Identyfikator umowy o grant: 892704

DOI 10.3030/892704

Realizacja projektu zakończyła się 31 Grudnia 2020

Data podpisania przez KE 23 Marca 2020

Data rozpoczęcia 1 Kwietnia 2020

Data zakończenia 31 Marca 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity € 212 933,76

Wkład UE € 212 933,76

Koordynowany przez

THE UNIVERSITY OF LIVERPOOL
United Kingdom

Publikacje

Conference proceedings (3)

On the Succinctness of Alternating Parity Good-for-Games Automata

Autorzy: Boker, Udi; Kuperberg, Denis; Lehtinen, Karoliina; Skrzypczak, Michał
Opublikowane w: 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), 2020, Strona(/y) 41:1--41:13, ISBN 978-3-95977-174-0
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.fsttcs.2020.41

Good-for-games ω-Pushdown Automata

Autorzy: Karoliina Lehtinen, Martin Zimmermann
Opublikowane w: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Strona(/y) 689-702, ISBN 9781450371049
Wydawca: ACM
DOI: 10.1145/3373718.3394737

The Best a Monitor Can Do

Autorzy: Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingolfsdottir and Karoliina Lehtinen
Opublikowane w: 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021, Strona(/y) 7:1--7:23, ISBN 978-3-95977-175-7
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.csl.2021.7

Peer reviewed articles (1)

An operational guide to monitorability with applications to regular properties

Autorzy: Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Opublikowane w: Software and Systems Modeling, Numer 05 February 2021, 2021, ISSN 1619-1366
Wydawca: Springer Verlag
DOI: 10.1007/s10270-020-00860-z