Sciweavers

3750 search results - page 59 / 750

» Timed Automata Patterns

22

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

14 years 4 days ago

Optimal Paths in Weighted Timed Automata

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

25

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

14 years 3 days ago

Linear Parametric Model Checking of Timed Automata

Download www.brics.dk

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

claim paper

Read More »

13

FSTTCS
1998
Springer

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

13 years 12 months ago

The Power of Reachability Testing for Timed Automata

Download www.brics.dk

Luca Aceto, Patricia Bouyer, Augusto Burgueñ...

claim paper

Read More »

24

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

13 years 12 months ago

Model Checking via Reachability Testing for Timed Automata

Download www.brics.dk

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

claim paper

Read More »

21

LICS
1997
IEEE

110views Automated Reasoning» more LICS 1997»

A Kleene Theorem for Timed Automata

13 years 12 months ago

A Kleene Theorem for Timed Automata

Download www-verimag.imag.fr

Eugene Asarin, Paul Caspi, Oded Maler

claim paper

Read More »

« Prev « First page 59 / 750 Last » Next »