Search Sciweavers | Sciweavers

3750 search results - page 56 / 750

» Timed Automata Patterns

click to vote

ACSD
2007
IEEE

93views Hardware» more ACSD 2007»

SAT-based Unbounded Model Checking of Timed Automata

13 years 9 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 »

click to vote

HYBRID
2010
Springer

156views Control Systems» more HYBRID 2010»

Succinct discrete time approximations of distributed hybrid automata

14 years 2 months ago

Download www2.ee.kth.se

P. S. Thiagarajan, Shaofa Yang

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

14 years 1 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

click to vote

WIA
2007
Springer

124views Artificial Intelligence» more WIA 2007»

Linear-Time Model Checking: Automata Theory in Practice

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers