Parametric Quantitative Temporal Reasoning

Parametric Quantitative Temporal Reasoning

Cached

Download Links

by E. Allen Emerson, Richard J. Trefler

Citations:

BibTeX

@MISC{Emerson_parametricquantitative,
    author = {E. Allen Emerson and Richard J. Trefler},
    title = {Parametric Quantitative Temporal Reasoning },
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

7320	Introduction to Algorithms - CORMEN, LEISERSON, et al. - 1985
1009	Temporal and modal logic - Emerson - 1990
999	The temporal logic of programs - Pnueli - 1977
339	D.: Model-checking for real-time systems - Alur, Courcourbetis, et al. - 1990
283	A.: On the development of reactive systems - Harel, Pnueli - 1985
220	Safety analysis of timing properties in real-time systems - Jahanian, AK - 1986
213	A really temporal logic - Alur, TA - 1994
173	Logics and models of real time: A survey - Alur, Henzinger - 1991
91	Faster algorithms for the shortest path problem - Ahuja, Mehlhorn, et al.
73	Parametric real-time reasoning - Alur, Henzinger, et al. - 1993
59	RuleBase: an industry-oriented formal verification tool - Beer, Ben-David, et al. - 1996
39	Computing quantitative characteristics of finite-state real-time systems - Campos, Clarke, et al. - 1994
26	On the verification problem of nonregular properties for nonregular processes - Bouajjani, Echahed, et al. - 1995
26	Design and verification of synchronization skeletons using branshing time temporal logic - Clarke, Emerson - 1981
14	Specification and verification of concurrent programs - Queille, P, et al. - 1982
14	Symbolic model checking for event-driven real-time systems - Yang, Mok, et al. - 1993
12	Verifying infinite state processes with sequential and parallel composition - Bouajjani, Echahed, et al. - 1995
11	Parametric timing analysis for real-time systems - Wang - 1996
8	Generalized quantitative temporal reasoning: An automata-theoretic approach - Emerson, Trefler - 1997
6	Temporal and Modal Logic, chapter 16 - Emerson - 1990
3	A Modal _-Calculus for Durational Transition Systems - Seidl - 1995
1	Real-time and the _-calculus - Emerson - 1992