Search Sciweavers | Sciweavers

4962 search results - page 219 / 993

» Stochastic Model Checking

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

Download eprints.eemcs.utwente.nl

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

claim paper

Read More »

click to vote

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

14 years 4 months ago

Download www.lsv.ens-cachan.fr

Roméo Courbis, Pierre-Cyrille Héam, ...

claim paper

Read More »

click to vote

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

14 years 4 months ago

Download www-dssz.informatik.tu-cottbus.de

Martin Schwarick, Monika Heiner

claim paper

Read More »

click to vote

CONCUR
2009
Springer

97views Distributed And Parallel Com...» more CONCUR 2009»

Query-Based Model Checking of Ad Hoc Network Protocols

14 years 4 months ago

Download www.cs.sunysb.edu

Abstract. A prominent source of complexity in the veriﬁcation of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

claim paper

Read More »

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers