Search Sciweavers | Sciweavers

9067 search results - page 147 / 1814

» Adaptive Model Checking

118

click to vote

EUROMICRO
2009
IEEE

164views Software Engineering» more EUROMICRO 2009»

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

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

15 years 11 months ago

Download www.cs.vu.nl

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

claim paper

Read More »

147

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

Download eprints.eemcs.utwente.nl

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

claim paper

Read More »

132

click to vote

WIA
2009
Springer

230views Artificial Intelligence» more WIA 2009»

TAGED Approximations for Temporal Properties Model-Checking

15 years 11 months ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

109

click to vote

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers