48 citations · 362 across the 28 of their papers we have counts for
3 papers · 2 filters
Automatic and Incremental Repair for Speculative Information Leaks
Joachim Bard, Swen Jacobs, Yakir Vizel
We present CureSpec, the first model-checking based framework for automatic repair of programs with respect to information leaks in the presence of side-channels and speculative ex…
Parameterized Verification of Disjunctive Timed Networks
Étienne André, Paul Eichler, Swen Jacobs +1
We introduce new techniques for the parameterized verification of disjunctive timed networks (DTNs), i.e., networks of timed automata (TAs) that communicate via location guards tha…
The Temporal Logic Synthesis Format TLSF v1.2
Swen Jacobs, Guillermo A. Perez, Philipp Schlehuber-Caissier
We present an extension of the Temporal Logic Synthesis Format (TLSF). TLSF builds on standard LTL, but additionally supports high-level constructs, such as sets and functions, as…