Search Sciweavers | Sciweavers

3750 search results - page 56 / 750

» Timed Automata Patterns

129

Voted

ACSD
2007
IEEE

93views Hardware» more ACSD 2007»

SAT-based Unbounded Model Checking of Timed Automata

15 years 4 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 »

126

Voted

HYBRID
2010
Springer

156views Control Systems» more HYBRID 2010»

Succinct discrete time approximations of distributed hybrid automata

15 years 9 months ago

Download www2.ee.kth.se

P. S. Thiagarajan, Shaofa Yang

claim paper

Read More »

101

Voted

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

15 years 8 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

Voted

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

15 years 8 months ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

Voted

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers