Sciweavers

3229 search results - page 43 / 646

» The Theory of Timed Automata

123

CONCUR
2004
Springer

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

Timed vs. Time-Triggered Automata

15 years 9 months ago

Timed vs. Time-Triggered Automata

Download www.comp.nus.edu.sg

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

claim paper

Read More »

138

DSRT
2004
IEEE

112views Modeling and Simulation» more DSRT 2004»

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

15 years 9 months 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 »

117

CONCUR
2010
Springer

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

Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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

131

JSS
2006

73views more JSS 2006»

Structural translation from Time Petri Nets to Timed Automata

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

162

ICALP
2009
Springer

126views Programming Languages» more ICALP 2009»

Weak Alternating Timed Automata

16 years 5 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 »