Search Sciweavers | Sciweavers

149 search results - page 8 / 30

» SAT-based Unbounded Model Checking of Timed Automata

170

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

16 years 1 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

175

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

16 years 1 months ago

Download www.stringology.org

Moshe Y. Vardi

claim paper

Read More »

176

Voted

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

15 years 12 months ago

Download www.brics.dk

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

claim paper

Read More »

158

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 11 months ago

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

137

click to vote

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers