Search Sciweavers | Sciweavers

732 search results - page 52 / 147

» Axiomatising timed automata

click to vote

JELIA
2004
Springer

107views Artificial Intelligence» more JELIA 2004»

Time Granularities and Ultimately Periodic Automata

14 years 2 months ago

Download users.dimi.uniud.it

Davide Bresolin, Angelo Montanari, Gabriele Puppis

claim paper

Read More »

click to vote

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

14 years 2 months ago

Download www.lsv.ens-cachan.fr

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...

claim paper

Read More »

click to vote

TACAS
2004
Springer

97views Algorithms» more TACAS 2004»

Resource-Optimal Scheduling Using Priced Timed Automata

14 years 2 months ago

Download planning.cis.strath.ac.uk

Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. S...

claim paper

Read More »

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods

14 years 2 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

click to vote

CAV
2001
Springer

88views Hardware» more CAV 2001»

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers