MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On probabilistic timed automata." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

53 documents found, showing 1 through 10. Next 10 →

ATOM

Weak Bisimulation for Probabilistic Timed Automata
by And Applications To, Ruggero Lanotte, Andrea Maggiolo-schettini, Angelo Troina — 2003 — In Proc. of SEFM’03, IEEE
…Weak Bisimulation for Probabilistic Timed Automata and Applications to Security ∗ Ruggero Lanotte…
Add To MetaCart

Symbolic Model Checking for Probabilistic Timed Automata
by Marta Kwiatkowska Gethin, Marta Kwiatkowska, Gethin Norman, Jeremy Sproston — 2000
…Symbolic Model Checking for Probabilistic Timed Automata Marta Kwiatkowska 1 , Gethin Norman 1…
Add To MetaCart

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security
by Ruggero Lanotte, Andrea Maggiolo-schettini, Angelo Troina — 2003 — In Proc. of SEFM’03, IEEE
…Weak Bisimulation for Probabilistic Timed Automata and Applications to Security ∗ Ruggero Lanotte…
Cited by 11 (6 self) – Add To MetaCart

Verifying quantitative properties of continuous probabilistic timed automata
by Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000
…Verifying Quantitative Properties of Continuous Probabilistic Timed Automata ⋆ Marta Kwiatkowska 1…
Cited by 26 (7 self) – Add To MetaCart

Troina: Information Flow Analysis for Probabilistic Timed Automata
by Ruggero Lanotte, Andrea Maggiolo-schettini, Angelo Troina — 2004 — Proc. of FAST’04, Springer IFIP 173
…INFORMATION FLOW ANALYSIS FOR PROBABILISTIC TIMED AUTOMATA Ruggero Lanotte 1 , Andrea Maggiolo…
Cited by 5 (2 self) – Add To MetaCart

On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties
by Dang Van Hung, Zhang Miaomiao — 2005 — in the proceedings of IEEE conference RTCSA 2007, Daugu
… Institute for Software Technology P.O. Box 3058 Macau On Verification of Probabilistic Timed Automata…
Cited by 2 (1 self) – Add To MetaCart

Model checking probabilistic timed automata with one or two clocks
by Marcin Jurdziński, François Laroussinie, Jeremy Sproston — 2007 — In TACAS 2007, volume 4424 of LNCS
…Model Checking Probabilistic Timed Automata with One or Two Clocks ⋆ Marcin Jurdziński 1…
Cited by 1 (1 self) – Add To MetaCart

J.Sproston. Verifying soft deadlines with probabilistic timed automata
by Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston — 2000 — In Proc. of the Workshop on Advances in Verification (WAVe
…Verifying Soft Deadlines with Probabilistic Timed Automata ⋆ Marta Kwiatkowska 1 , Gethin Norman 1…
Cited by 1 (0 self) – Add To MetaCart

An MTBDD-based implementation of forward reachability for probabilistic timed automata
by Fuzhi Wang, Marta Kwiatkowska — 2005 — Proc. 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA’05), volume 3707 of LNCS
…An MTBDD-based Implementation of Forward Reachability for Probabilistic Timed Automata Fuzhi Wang…
Cited by 1 (1 self) – Add To MetaCart

Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability
by Marta Kwiatkowska, Gethin Norman, Jeremy Sproston — 2000
…Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability Marta…
Cited by 18 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB