Search Sciweavers | Sciweavers

921 search results - page 54 / 185

» On Interleaving in Timed Automata

172

click to vote

ACSD
2007
IEEE

93views Hardware» more ACSD 2007»

SAT-based Unbounded Model Checking of Timed Automata

15 years 8 months ago

Download www.ipipan.waw.pl

We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...

Wojciech Penczek, Maciej Szreter

claim paper

Read More »

166

click to vote

HYBRID
2010
Springer

156views Control Systems» more HYBRID 2010»

Succinct discrete time approximations of distributed hybrid automata

16 years 1 months ago

Download www2.ee.kth.se

P. S. Thiagarajan, Shaofa Yang

claim paper

Read More »

148

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

16 years 13 days ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

109

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

16 years 13 days ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

146

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers