Search Sciweavers | Sciweavers

144 search results - page 10 / 29

» Model checking the probabilistic pi-calculus

101

click to vote

DDECS
2008
IEEE

111views Hardware» more DDECS 2008»

Probabilistic Model Checking and Reliability of Results

15 years 10 months ago

Download ira.informatik.uni-freiburg.de

Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Be...

claim paper

Read More »

112

click to vote

FOSSACS
2005
Springer

106views Software Engineering» more FOSSACS 2005»

Model Checking Durational Probabilistic Systems

15 years 9 months ago

Download www.lsv.ens-cachan.fr

François Laroussinie, Jeremy Sproston

claim paper

Read More »

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 7 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

Voted

DC
1998

77views Internet Technology» more DC 1998»

Model Checking for a Probabilistic Branching Time Logic with Fairness

15 years 3 months ago

Download www.uni-koblenz.de

Christel Baier, Marta Z. Kwiatkowska

claim paper

Read More »

118

click to vote

ICFEM
2010
Springer

152views Software Engineering» more ICFEM 2010»

Model Checking Hierarchical Probabilistic Systems

15 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers