Sciweavers

19 search results - page 1 / 4

» qest 2010

16

QEST
2010
IEEE

155views Modeling and Simulation» more QEST 2010»

Abstraction and Model Checking in the PEPA Plug-In for Eclipse

13 years 2 months ago

Abstraction and Model Checking in the PEPA Plug-In for Eclipse

Download lanther.co.uk

Michael J. A. Smith

claim paper

Read More »

11

QEST
2010
IEEE

123views Modeling and Simulation» more QEST 2010»

From Systems to Components: Constructive Methods for Product-Form Solutions

13 years 2 months ago

From Systems to Components: Constructive Methods for Product-Form Solutions

Download www.doc.ic.ac.uk

Andrea Marin, Maria Grazia Vigliotti

claim paper

Read More »

10

QEST
2010
IEEE

127views Modeling and Simulation» more QEST 2010»

p-Automata: New Foundations for Discrete-Time Probabilistic Verification

13 years 2 months ago

p-Automata: New Foundations for Discrete-Time Probabilistic Verification

Download www.doc.ic.ac.uk

Michael Huth, Nir Piterman, Daniel Wagner

claim paper

Read More »

13

QEST
2010
IEEE

170views Modeling and Simulation» more QEST 2010»

Compositional Verification of Probabilistic Systems Using Learning

13 years 2 months ago

Compositional Verification of Probabilistic Systems Using Learning

Download www.prismmodelchecker.org

Lu Feng, Marta Z. Kwiatkowska, David Parker

claim paper

Read More »

13

QEST
2010
IEEE

124views Modeling and Simulation» more QEST 2010»

A Prediction Model for Software Performance in Symmetric Multiprocessing Environments

13 years 2 months ago

A Prediction Model for Software Performance in Symmetric Multiprocessing Environments

Download sdqweb.ipd.kit.edu

Jens Happe, Henning Groenda, Michael Hauck, Ralf H...

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »