1 citations · 1 across the 5 of their papers we have counts for
7 papers
Resilience to Denial-of-Service and Integrity Attacks: A Structured Systems Approach
Bhaskar Ramasubramanian, M. A. Rajan, M. Girish Chandra +2
The resilience of cyberphysical systems to denial-of-service (DoS) and integrity attacks is studied in this paper. The cyberphysical system is modeled as a linear structured system…
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…
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…
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…
A Tableau Construction for Finite Linear-Time Temporal Logic
Samuel Huang, Rance Cleaveland
This paper describes a method for converting formulas in finite propositional linear-time temporal logic (Finite LTL) into finite-state automata whose languages are the models of t…
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees
James Ferlez, Rance Cleaveland, Steve Marcus
In this work, we develop a generalization of Hennessy-Milner Logic (HML) for Generalized Synchronization Trees (GSTs) that we call Generalized Hennessy Milner Logic (GHML). Importa…