Conferences in DBLP

Quantitative Evaluation of Systems (qest)
2008 (conf/qest/2008)

1. 
   Autonomous Model Learning for Reinforcement Learning. [Citation Graph (, )][DBLP]
   
   
2. 
   A Control-Theoretic Modeling Approach for Service Differentiation in Multi-hop Ad-hoc Networks. [Citation Graph (, )][DBLP]
   
   
3. 
   On the Data Delivery Delay taken by Random Walks in Wireless Sensor Networks. [Citation Graph (, )][DBLP]
   
   
4. 
   Analysis of an M/G/1 Queue with Repeated Inhomogeneous Vacations with Application to IEEE 802.16e Power Saving Mechanism. [Citation Graph (, )][DBLP]
   
   
5. 
   CaVi -- Simulation and Model Checking for Wireless Sensor Networks. [Citation Graph (, )][DBLP]
   
   
6. 
   Performance Model Generation for MPSoC Design-Space Exploration. [Citation Graph (, )][DBLP]
   
   
7. 
   Möbius Trace Analysis with Traviando. [Citation Graph (, )][DBLP]
   
   
8. 
   Reduction Techniques for Model Checking Markov Decision Processes. [Citation Graph (, )][DBLP]
   
   
9. 
   Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. [Citation Graph (, )][DBLP]
   
   
10. 
    Symbolic Partition Refinement with Dynamic Balancing of Time and Space. [Citation Graph (, )][DBLP]
    
    
11. 
    Cell Assisted APMC. [Citation Graph (, )][DBLP]
    
    
12. 
    ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. [Citation Graph (, )][DBLP]
    
    
13. 
    Prism2Promela. [Citation Graph (, )][DBLP]
    
    
14. 
    KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes. [Citation Graph (, )][DBLP]
    
    
15. 
    VATS: Virtualized-Aware Automated Test Service. [Citation Graph (, )][DBLP]
    
    
16. 
    Symbolic Magnifying Lens Abstraction in Markov Decision Processes. [Citation Graph (, )][DBLP]
    
    
17. 
    Recent Extensions to the Stochastic Process Algebra Tool CASPA. [Citation Graph (, )][DBLP]
    
    
18. 
    A Tool Supporting Evaluation of Non-markovian Fault Trees. [Citation Graph (, )][DBLP]
    
    
19. 
    The Performability Tool P'ility. [Citation Graph (, )][DBLP]
    
    
20. 
    Composing Web Services in an Open World: QoS Issues. [Citation Graph (, )][DBLP]
    
    
21. 
    A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues. [Citation Graph (, )][DBLP]
    
    
22. 
    Product Form Approximations for Communicating Markov Processes. [Citation Graph (, )][DBLP]
    
    
23. 
    Discrete Time Markov Chains Competing over Resources: Product Form Steady-State Distribution. [Citation Graph (, )][DBLP]
    
    
24. 
    Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. [Citation Graph (, )][DBLP]
    
    
25. 
    Hintikka Games for PCTL on Labeled Markov Chains. [Citation Graph (, )][DBLP]
    
    
26. 
    Regular Expressions for PCTL Counterexamples. [Citation Graph (, )][DBLP]
    
    
27. 
    Debugging of Dependability Models Using Interactive Visualization of Counterexamples. [Citation Graph (, )][DBLP]
    
    
28. 
    Linear Programming, Lyapunov Functions, and Performance Analysis. [Citation Graph (, )][DBLP]
    
    
29. 
    Automatic Translation of UML Sequence Diagrams into PEPA Models. [Citation Graph (, )][DBLP]
    
    
30. 
    Analysis of Large Scale Interacting Systems by Mean Field Method. [Citation Graph (, )][DBLP]
    
    
31. 
    Polynomial Throughput Bounds for Equal Conflict Petri Nets with Multi-guarded Transitions. [Citation Graph (, )][DBLP]
    
    
32. 
    New Solvers for Asymmetric Systems in GreatSPN. [Citation Graph (, )][DBLP]
    
    
33. 
    A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation. [Citation Graph (, )][DBLP]
    
    
34. 
    An Experimental Framework for PIPE2. [Citation Graph (, )][DBLP]
    
    
35. 
    Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems. [Citation Graph (, )][DBLP]
    
    
36. 
    Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata. [Citation Graph (, )][DBLP]
    
    
37. 
    Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games. [Citation Graph (, )][DBLP]
    
    
38. 
    Conflict-Tolerant Real-Time Features. [Citation Graph (, )][DBLP]
    
    
39. 
    Cross-Profiling for Embedded Java Processors. [Citation Graph (, )][DBLP]
    
    
40. 
    Characterization of the E-commerce Storage Subsystem Workload. [Citation Graph (, )][DBLP]
    
    
41. 
    Modeling Peer-to-Peer Botnets. [Citation Graph (, )][DBLP]
    
    
42. 
    Perfect Generation, Monotonicity and Finite Queueing Networks. [Citation Graph (, )][DBLP]
    
    
43. 
    Randomness in Wireless Networks: How to Deal with It. [Citation Graph (, )][DBLP]
    
    
44. 
    Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. [Citation Graph (, )][DBLP]
    
    
45. 
    Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains. [Citation Graph (, )][DBLP]