13 citations · 13 across the 3 of their papers we have counts for
3 papers
Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola
Jan Baumeister, Bernd Finkbeiner, Eduard Müller +2
RTLola is a stream-based specification language designed for asynchronous real-time systems. While many temporal specifications naturally refer to future behavior, RTLola currently…
Smart Contract Synthesis Modulo Hyperproperties
Norine Coenen, Bernd Finkbeiner, Jana Hofmann +1
Smart contracts are small but highly security-critical programs that implement wallets, token systems, auctions, crowd funding systems, elections, and other multi-party transaction…
Formal Specifications from Natural Language
Christopher Hahn, Frederik Schmitt, Julia J. Tillman +3
We study the generalization abilities of language models when translating natural language into formal specifications with complex semantics. In particular, we fine-tune language m…