Volume 55, Issue 8 | Acta Informatica

Search all Acta Informatica articles

Volume 55, Issue 8

December 2018

Special issue: The 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015)

Issue Editors:

Bernd Finkbeiner,
Geguang Pu,
Lijun Zhang

5 articles in this issue

Preface for the special issue for ATVA 2015
Bernd Finkbeiner
Geguang Pu
Lijun Zhang
Editorial 28 November 2018 Pages: 625 - 626
Looking at mean payoff through foggy windows
Paul Hunter
Guillermo A. Pérez
Jean-François Raskin
Original Article 11 October 2017 Pages: 627 - 647
TSO-to-TSO linearizability is undecidable
Chao Wang
Yi Lv
Peng Wu
Original Article 23 October 2017 Pages: 649 - 668
Hierarchical information and the synthesis of distributed strategies
Dietmar Berwanger
Anup Basil Mathew
Marie van den Bogaard
Original Article 17 October 2017 Pages: 669 - 701
Spanning the spectrum from safety to liveness
Rachel Faran
Orna Kupferman
Original Article 23 October 2017 Pages: 703 - 732