Foundations of Composition

Project Information

FouCo

Grant agreement ID: 892704

DOI

10.3030/892704

Project terminated on 31 December 2020

EC signature date 23 March 2020

Start date 1 April 2020

End date 31 March 2022

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 212 933,76

EU contribution

€ 212 933,76

Coordinated by

THE UNIVERSITY OF LIVERPOOL
United Kingdom

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 (3)

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

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

Good-for-games ω-Pushdown Automata

Author(s): Karoliina Lehtinen, Martin Zimmermann
Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Page(s) 689-702, ISBN 9781450371049
Publisher: ACM
DOI: 10.1145/3373718.3394737

The Best a Monitor Can Do

Author(s): Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingolfsdottir and Karoliina Lehtinen
Published in: 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021, Page(s) 7:1--7:23, ISBN 978-3-95977-175-7
Publisher: 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

Author(s): Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
Published in: Software and Systems Modeling, Issue 05 February 2021, 2021, ISSN 1619-1366
Publisher: Springer Verlag
DOI: 10.1007/s10270-020-00860-z