Search Sciweavers | Sciweavers

3169 search results - page 24 / 634

» Robust Timed Automata

click to vote

CORR
2010
Springer

144views Education» more CORR 2010»

Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata

15 years 2 days ago

Download www-verimag.imag.fr

nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...

Karine Altisen, Yanhong Liu, Matthieu Moy

claim paper

Read More »

117

click to vote

LICS
2009
IEEE

118views Automated Reasoning» more LICS 2009»

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

15 years 8 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

15 years 8 months ago

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

101

click to vote

QEST
2008
IEEE

127views Modeling and Simulation» more QEST 2008»

Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

15 years 8 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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers