Sciweavers

3229 search results - page 43 / 646

» The Theory of Timed Automata

22

CONCUR
2004
Springer

109views Distributed And Parallel Com...» more CONCUR 2004»

Timed vs. Time-Triggered Automata

14 years 14 days ago

Timed vs. Time-Triggered Automata

Download www.comp.nus.edu.sg

Pavel Krcál, Leonid Mokrushin, P. S. Thiaga...

claim paper

Read More »

24

DSRT
2004
IEEE

112views Modeling and Simulation» more DSRT 2004»

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

14 years 14 days ago

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

Download www.lisyc.univ-brest.fr

Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques...

claim paper

Read More »

19

CONCUR
2010
Springer

137views Distributed And Parallel Com...» more CONCUR 2010»

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

13 years 9 months ago

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

Download www.fi.muni.cz

Tomás Brázdil, Jan Krcál, Jan...

claim paper

Read More »

21

JSS
2006

73views more JSS 2006»

Structural translation from Time Petri Nets to Timed Automata

13 years 8 months ago

Structural translation from Time Petri Nets to Timed Automata

Download www.irccyn.ec-nantes.fr

Franck Cassez, Olivier H. Roux

claim paper

Read More »

30

ICALP
2009
Springer

126views Programming Languages» more ICALP 2009»

Weak Alternating Timed Automata

14 years 9 months ago

Weak Alternating Timed Automata

Download www.labri.fr

Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for the automata is deci...

Pawel Parys, Igor Walukiewicz

claim paper

Read More »

« Prev « First page 43 / 646 Last » Next »