3 papers
cs.DC2025
bittide: Control Time, Not Flows
Martijn Bastiaan, Christiaan Baaij, Martin Izzard +3
This paper presents the first hardware implementation of bittide, a decentralized clock synchronization mechanism for achieving logical synchrony in distributed systems. We detail…
cs.LO2017
Temporal Stream Logic: Synthesis beyond the Bools
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Reactive systems that operate in environments with complex data, such as mobile apps or embedded controllers with many sensors, are difficult to synthesize. Synthesis tools usually…
cs.LO2016
A High-Level LTL Synthesis Format: TLSF v1.0
Swen Jacobs, Felix Klein
We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but…