Search Sciweavers | Sciweavers

732 search results - page 26 / 147

» Axiomatising timed automata

180

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

16 years 1 months ago

Download eprints.eemcs.utwente.nl

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Al...

claim paper

Read More »

138

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 1 months ago

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

159

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 1 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

159

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

16 years 7 days ago

Download www.irccyn.fr

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

claim paper

Read More »

126

click to vote

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Real-Time Testing with Timed Automata Testers and Coverage Criteria

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers