Search Sciweavers | Sciweavers

1926 search results - page 63 / 386

» Modeling and Model Checking Software Product Lines

153

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

148

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

160

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

16 years 4 days ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

131

click to vote

FATES
2004
Springer

86views Software Engineering» more FATES 2004»

An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components

16 years 1 hour ago

Download www.eecs.wsu.edu

Gaoyan Xie, Zhe Dang

claim paper

Read More »

121

click to vote

FSTTCS
2003
Springer

74views Software Engineering» more FSTTCS 2003»

Real-Time Model-Checking: Parameters Everywhere

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers