Search Sciweavers | Sciweavers

3229 search results - page 42 / 646

» The Theory of Timed Automata

125

click to vote

ICTAC
2009
Springer

91views Applied Computing» more ICTAC 2009»

IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata

16 years 9 days ago

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

140

click to vote

QEST
2008
IEEE

127views Modeling and Simulation» more QEST 2008»

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

16 years 4 days ago

Download www.lsv.ens-cachan.fr

Najla Chamseddine, Marie Duflot, Laurent Fribourg,...

claim paper

Read More »

146

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

15 years 11 months ago

Download www.irccyn.fr

Béatrice Bérard, Franck Cassez, Serg...

claim paper

Read More »

115

click to vote

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Real-Time Testing with Timed Automata Testers and Coverage Criteria

15 years 11 months ago

Download www-verimag.imag.fr

Moez Krichen, Stavros Tripakis

claim paper

Read More »

126

click to vote

RSP
2002
IEEE

84views Control Systems» more RSP 2002»

Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers