Acta informatica

Keyphrases

Publications

volume 59, number 4, 2022

Hans-Joachim Böckenhauer, Elisabet Burjons, Martin Raszyk, Peter Rossmanith
Reoptimization of parameterized problems. Acta informatica 59 (4) (2022)

volume 58, number 5, 2020

Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N Mosaad, Naijun Zhan
Indecision and delays are the parents of failure-taming them algorithmically by synthesizing delay-resilient control. Acta informatica 58 (5) (2020)

volume 57, number 1, 2019

Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert
Performance heuristics for GR(1) synthesis and related algorithms. Acta informatica 57 (1) (2019)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesis from hyperproperties. Acta informatica 57 (1) (2019)
Alessandro Abate, Iury Bessa, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen
Automated formal synthesis of provably safe digital controllers for continuous plants. Acta informatica 57 (1) (2019)

volume 56, number 7, 2019

Jurriaan Rot
Distributive laws for monotone specifications. Acta informatica 56 (7) (2019)

volume 54, number 3, 2016

Dimitrios Kouzapas, Jorge A Pérez, Nobuko Yoshida
Characteristic bisimulation for higher-order session processes. Acta informatica 54 (3) (2016)

volume 54, number 4, 2016

Mohammad Mahdi Jaghoori, Frank de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
Compositional schedulability analysis of real-time actor-based systems. Acta informatica 54 (4) (2016)