Search Sciweavers | Sciweavers

5015 search results - page 159 / 1003

» Model Checking a Path

136

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

Checking Architectural and Implementation Constraints for Domain-Specific Component Frameworks Using Models

16 years 1 months ago

Download soft.vub.ac.be

Carlos Noguera, Frédéric Loiret

claim paper

Read More »

click to vote

IPPS
2009
IEEE

109views Distributed And Parallel Com...» more IPPS 2009»

Efficient large-scale model checking

16 years 29 days ago

Download www.cs.vu.nl

Kees Verstoep, Henri E. Bal, Jiri Barnat, Lubos Br...

claim paper

Read More »

168

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 28 days ago

Download eprints.eemcs.utwente.nl

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

claim paper

Read More »

154

click to vote

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

16 years 27 days ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

132

click to vote

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers