default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDActa Informatica, Volume 57
Volume 57, Number 1-2, April 2020
- Roderick Bloem
, Paulo Tabuada:
Preface for the SYNT. 1 - Michael Luttenberger, Philipp J. Meyer, Salomon Sickert:
Practical synthesis of reactive systems from LTL specifications via parity games. 3-36 - Elizabeth Firman, Shahar Maoz, Jan Oliver Ringert:
Performance heuristics for GR(1) synthesis and related algorithms. 37-79 - Swen Jacobs, Mouhammad Sakr:
A symbolic algorithm for lazy synthesis of eager strategies. 81-106 - Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu:
Reactive synthesis with maximum realizability of linear temporal logic specifications. 107-135 - Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup:
Synthesis from hyperproperties. 137-163 - Hila Peleg, Shachar Itzhaky, Sharon Shoham, Eran Yahav:
Programming by predicates: a formal model for interactive synthesis. 165-193 - Daniel Neider, Alexander Weinert, Martin Zimmermann:
Synthesizing optimally resilient controllers. 195-221 - Alessandro Abate, Iury Bessa, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen:
Automated formal synthesis of provably safe digital controllers for continuous plants. 223-244 - Antoine Girard, Gregor Gößler:
Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. 245-269 - Nahal Mirzaie, Fathiyeh Faghih, Swen Jacobs, Borzoo Bonakdarpour:
Parameterized synthesis of self-stabilizing protocols in symmetric networks. 271-304
Volume 57, Number 3-5, October 2020
- Peter Höfner, Carroll Morgan, Vaughan R. Pratt:
Preface. 305-311 - Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
Synchronous and asynchronous communication(s) between three parties. 313-320 - Vaughan R. Pratt:
My time with Rob. 321-322 - Ansgar Fehnker:
Out for coffee: with Rob. 323-327 - Maciej Gazda, Wan J. Fokkink, Vittorio Massaro:
Congruence from the operator's point of view. 329-351 - Antti Valmari:
All congruences below stability-preserving fair testing or CFFD. 353-383 - Jan A. Bergstra, Alban Ponse:
Arithmetical datatypes with true fractions. 385-402 - David Mestel, A. W. Roscoe:
Translating between models of concurrency. 403-438 - Benjamin Bisping, Uwe Nestmann, Kirstin Peters:
Coupled similarity: the first 32 years. 439-463 - Christel Baier, Pedro R. D'Argenio, Holger Hermanns:
On the probabilistic bisimulation spectrum with silent moves. 465-512 - Walter Vogler, Gerald Lüttgen:
A linear-time branching-time perspective on interface automata. 513-550 - Mark Bouwman, Bas Luttik, Tim A. C. Willemse:
Off-the-shelf automated analysis of liveness properties for just paths. 551-590 - Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann:
Solving high-level Petri games. 591-626 - Xudong Qin, Simon Bliudze, Eric Madelaine, Zechen Hou, Yuxin Deng, Min Zhang:
SMT-based generation of symbolic automata. 627-656 - Chenyi Zhang:
Minimal consistent DFA from sample strings. 657-670 - Marc Jasper, Maximilian Schlüter, Bernhard Steffen:
Characteristic invariants in Hennessy-Milner logic. 671-687 - Mathias Claus Jensen, Kim Guldstrand Larsen:
A complete axiomatization of weighted branching bisimulation. 689-725 - Jörg Endrullis, Jan Willem Klop, Rena Bakhshi:
Transducer degrees: atoms, infima and suprema. 727-758
Volume 57, Number 6, December 2020
- Kirstin Peters, Simone Tini:
Preface to special issue: EXPRESS/SOS 2016 + 2017. 759-760 - Eduard Baranov, Simon Bliudze:
Expressiveness of component-based frameworks: a study of the expressiveness of BIP. 761-800 - Hans Hüttel:
Using session types for reasoning about boundedness in the π-calculus. 801-827 - Eduard Baranov, Simon Bliudze:
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. 829
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
