29 citations · 40 across the 13 of their papers we have counts for
5 papers · 1 filter
Expressiveness Results for Timed Modal Mu-Calculi
Rance Cleaveland, Jeroen J. A. Keiren, Peter Fontana
This paper establishes relative expressiveness results for several modal mu-calculi interpreted over timed automata. These mu-calculi combine modalities for expressing passage of (…
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…
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…
An extensible formal semantics for UML activity diagrams
Zamira Daw, Rance Cleaveland
This paper presents an operational semantics for UML activity diagrams. The purpose of this semantics is three-fold: to give a robust basis for verifying model correctness; to help…