Search Sciweavers | Sciweavers

321 search results - page 15 / 65

» Symbolic Model Checking for Probabilistic Timed Automata

107

click to vote

QEST
2010
IEEE

127views Modeling and Simulation» more QEST 2010»

p-Automata: New Foundations for Discrete-Time Probabilistic Verification

15 years 1 months ago

Download www.doc.ic.ac.uk

Michael Huth, Nir Piterman, Daniel Wagner

claim paper

Read More »

105

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

15 years 9 months ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...

claim paper

Read More »

103

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

15 years 9 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

105

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

15 years 7 months ago

Download www.brics.dk

Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...

claim paper

Read More »

103

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers