Formal methods in system design

Keyphrases

Publications

volume 61, number 1, 2023

Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
The probabilistic termination tool amber. Formal methods in system design 61 (1) (2023)

volume 60, number 3, 2023

Mathias Fleury, Armin Biere
Mining definitions in Kissat with Kittens. Formal methods in system design 60 (3) (2023)
Sepideh Asadi, Martin Blicha, Antti E J Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
SMT-based verification of program changes through summary repair. Formal methods in system design 60 (3) (2023)

2022

Maurice H Ter Beek, Annabelle McIver
Formal methods: practical applications and foundations: Editorial. Formal methods in system design (2022)

volume 59, number 1-3, 2022

Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal methods in system design 59 (1-3) (2022)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal methods in system design 59 (1-3) (2022)

2021

Maurice H Ter Beek, Annabelle McIver
Formal methods: practical applications and foundations: Editorial. Formal methods in system design (2021)

volume 57, number 3, 2021

Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J Meyer
Towards efficient verification of population protocols. Formal methods in system design 57 (3) (2021)

volume 56, number 1, 2019

Daniela Kaufmann, Armin Biere, Manuel Kauers
Incremental column-wise verification of arithmetic circuits using computer algebra. Formal methods in system design 56 (1) (2019)

volume 55, number 2, 2019

Roderick Bloem, Goerschwin Fey, Fabian Greif, Robert Könighofer, Ingo Pill, Heinz Riener, Franz Röck
Synthesizing adaptive test strategies from temporal logic specifications. Formal methods in system design 55 (2) (2019)

volume 54, number 3, 2019

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring hyperproperties. Formal methods in system design 54 (3) (2019)

volume 53, number 1, 2018

Stefan Jakšić, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Ničković
Quantitative monitoring of STL with edit distance. Formal methods in system design 53 (1) (2018)

volume 52, number 3, 2017

Andrzej S Murawski, Nikos Tzevelekos
Algorithmic games for full ground references. Formal methods in system design 52 (3) (2017)

volume 51, number 2, 2017

Igor Konnov, Marijana Lazić, Helmut Veith, Josef Widder
Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal methods in system design 51 (2) (2017)
Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang
Shield synthesis. Formal methods in system design 51 (2) (2017)

volume 50, number 2, 2017

Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical software metrics for benchmarking of verification tools. Formal methods in system design 50 (2) (2017)

volume 50, number 2, 2016

Pavol Černý, Edmund M Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach
From non-preemptive to preemptive scheduling using synchronization synthesis. Formal methods in system design 50 (2) (2016)

volume 47, 2015

Daniel Kroening, Matt Lewis, Georg Weissenbacher
Under-approximating loops in C programs for fast counterexample detection. Formal methods in system design 47 (2015)

volume 44, 2013

Thomas Reinbacher, Matthias Függer, Jörg Brauer
Runtime verification of embedded real-time systems. Formal methods in system design 44 (2013)