Search Sciweavers | Sciweavers

3750 search results - page 28 / 750

» Timed Automata Patterns

click to vote

ATVA
2008
Springer

102views Hardware» more ATVA 2008»

Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions

13 years 9 months ago

Download cc.ee.ntu.edu.tw

The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...

Farn Wang

claim paper

Read More »

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

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

14 years 2 months ago

Download eprints.eemcs.utwente.nl

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

claim paper

Read More »

click to vote

ICTAC
2009
Springer

91views Applied Computing» more ICTAC 2009»

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

14 years 2 months ago

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

click to vote

QEST
2008
IEEE

127views Modeling and Simulation» more QEST 2008»

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

14 years 1 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers