default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 61
Volume 61, Number 1, August 2022
- Marieke Huisman
, Corina S. Pasareanu, Naijun Zhan:
Preface for the formal methods in system design special issue on 'Formal Methods 2021'. 1-2 - Felipe Gorostiaga, César Sánchez:
Runtime verification of real-time event streams using the tool HStriver. 3-34 - Andrea Pferscher, Bernhard K. Aichernig:
Fingerprinting and analysis of Bluetooth devices with automata learning. 35-62 - Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw:
Integrating ADTs in KeY and their application to history-based reasoning about collection. 63-89 - Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács:
The probabilistic termination tool amber. 90-109 - Felix A. Wolf, Malte Schwerhoff, Peter Müller:
Concise outlines for a complex logic: a proof outline checker for TaDA. 110-136
Volume 61, Number 2, December 2022
- Elizabeth Polgreen, Guillermo Alberto Pérez:
Preface for the formal methods in system design special issue on SYNT 2021. 137-138 - Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu:
Finite-trace and generalized-reactivity specifications in temporal synthesis. 139-163 - Natasha Yogananda Jeppu, Tom Melham, Daniel Kroening:
Enhancing active model learning with equivalence checking using simulation relations. 164-197 - Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang:
Synbit: synthesizing bidirectional programs using unidirectional sketches. 198-247 - Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet:
Dissecting ltlsynt. 248-289 - Léo Exibard, Emmanuel Filiot, Ayrat Khalimov:
Church synthesis on register automata over linearly ordered data domains. 290-337 - Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy:
Symbolic encoding of LL(1) parsing and its applications. 338-379
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 2025-12-04 22:10 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:
