29 citations · 40 across the 13 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.LO2020
Temporal-Logic Query Checking over Finite Data Streams
Samuel Huang, Rance Cleaveland
This paper describes a technique for inferring temporal-logic properties for sets of finite data streams. Such data streams arise in many domains, including server logs, program te…
cs.FL2020
Timed Automata Benchmark Description
Peter Fontana, Rance Cleaveland
This report contains the descriptions of the timed automata (models) and the properties (specifications) that are used as the "benchmark examples in Data structure choices for on-t…
cs.FL2020
Better Automata through Process Algebra
Rance Cleaveland
This paper shows how the use of Structural Operational Semantics (SOS) in the style popularized by the process-algebra community can lead to a more succinct and useful construction…