Volume 53, Issue 4 | Acta Informatica

Search all Acta Informatica articles

Volume 53, Issue 4

June 2016

Special Issue: Rich Models, EU-COST Action IC0901 Rich-Model Toolkit

Issue Editors:

Bernd Finkbeiner,
Cesar Sanchez

5 articles in this issue

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit
Bernd Finkbeiner
Cesar Sanchez
Editorial 11 February 2016 Pages: 325 - 326
Symbolic automata for representing big code
Hila Peleg
Sharon Shoham
Hongseok Yang
Original Article 10 May 2015 Pages: 327 - 356
Verification of heap manipulating programs with ordered data by extended forest automata
Parosh Aziz Abdulla
Lukáš Holík
Tomáš Vojnar
Original Article 07 May 2015 Pages: 357 - 385
Guiding Craig interpolation with domain-specific abstractions
Jérôme Leroux
Philipp Rümmer
Pavle Subotić
Original Article 15 May 2015 Pages: 387 - 424
Synthesizing efficient systems in probabilistic environments
Christian von Essen
Barbara Jobstmann
Rahul Varshneya
Original Article 13 May 2015 Pages: 425 - 457