Stop the war!Остановите войну!
for scientists:
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
a service of 
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-07-23 21:54 CEST 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:
