![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
8th QAPL 2010: Paphos, Cyprus
- Alessandra Di Pierro, Gethin Norman:
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. EPTCS 28, 2010 - Alessandro Aldini
:
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior. 1-15 - Karine Altisen, Yanhong Liu, Matthieu Moy:
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. 16-33 - Damián Barsotti, Nicolás Wolovick:
Automatic Probabilistic Program Verification through Random Variable Abstraction. 34-47 - Alessandro Bianco, Marco Faella, Fabio Mogavero
, Aniello Murano
:
Quantitative Fairness Games. 48-63 - David Cachera, Arnaud Jobin:
Injecting Abstract Interpretations into Linear Cost Models. 64-81 - Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Angelo Troina:
Stochastic Calculus of Wrapped Compartments. 82-98 - Sonja Georgievska, Suzana Andova:
Testing Reactive Probabilistic Processes. 99-113 - Matthias Güdemann
, Frank Ortmeier:
Probabilistic Model-Based Safety Analysis. 114-128 - Ukachukwu Ndukwu, Annabelle McIver
:
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs. 129-143 - Markus N. Rabe, Sven Schewe
:
Optimal Time-Abstract Schedulers for CTMDPs and Markov Games. 144-158 - Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
A new tool for the performance analysis of massively parallel computer systems. 159-181
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.