Conferences in DBLP

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

1. 
   A Generic Mean Field Convergence Result for Systems of Interacting Objects. [Citation Graph (, )][DBLP]
   
   
2. 
   A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor. [Citation Graph (, )][DBLP]
   
   
3. 
   CSL^TA: an Expressive Logic for Continuous-Time Markov Chains. [Citation Graph (, )][DBLP]
   
   
4. 
   Performance Trees: Expressiveness and Quantitative Semantics. [Citation Graph (, )][DBLP]
   
   
5. 
   Cluster Grid based Response-time analysis module for the PIPE Tool. [Citation Graph (, )][DBLP]
   
   
6. 
   The PEPA Plug-in Project. [Citation Graph (, )][DBLP]
   
   
7. 
   The ipclib PEPA Library. [Citation Graph (, )][DBLP]
   
   
8. 
   Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. [Citation Graph (, )][DBLP]
   
   
9. 
   Relations in the Central Limit Theorem Version of the Response Time Law. [Citation Graph (, )][DBLP]
   
   
10. 
    Simultaneous Transient Analysis of QBD Markov Chains for all Initial Configurations using a Level Based Recursion. [Citation Graph (, )][DBLP]
    
    
11. 
    Interchange Formats for Performance Models: Experimentation and Ouput. [Citation Graph (, )][DBLP]
    
    
12. 
    Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior. [Citation Graph (, )][DBLP]
    
    
13. 
    Quantile Estimation for Performance Measures in Network Simulations with CINSim. [Citation Graph (, )][DBLP]
    
    
14. 
    Psi² a Software Tool for the Perfect Simulation of Finite Queueing Networks. [Citation Graph (, )][DBLP]
    
    
15. 
    GRIP: Generic Representatives in PRISM. [Citation Graph (, )][DBLP]
    
    
16. 
    Probabilistic Model-Checking Support for FMEA. [Citation Graph (, )][DBLP]
    
    
17. 
    Probabilistic Model Checking Modulo Theories. [Citation Graph (, )][DBLP]
    
    
18. 
    Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping. [Citation Graph (, )][DBLP]
    
    
19. 
    Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations. [Citation Graph (, )][DBLP]
    
    
20. 
    Design of Experiments within the Mobius Modeling Environment. [Citation Graph (, )][DBLP]
    
    
21. 
    PEPS2007 - Stochastic Automata Networks Software Tool. [Citation Graph (, )][DBLP]
    
    
22. 
    A framework to design and solve Markov Decision Well-formed Net models. [Citation Graph (, )][DBLP]
    
    
23. 
    Model checking the probabilistic pi-calculus. [Citation Graph (, )][DBLP]
    
    
24. 
    Symbolic Bisimulations for Probabilistic Systems. [Citation Graph (, )][DBLP]
    
    
25. 
    Basic Observables for Probabilistic May Testing. [Citation Graph (, )][DBLP]
    
    
26. 
    Performance Modeling of a Quorum Pattern in Layered Service Systems. [Citation Graph (, )][DBLP]
    
    
27. 
    CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage time. [Citation Graph (, )][DBLP]
    
    
28. 
    Distritrack: Automated Average-Case Analysis. [Citation Graph (, )][DBLP]
    
    
29. 
    ProbDiVinE: A Parallel Qualitative LTL Model Checker. [Citation Graph (, )][DBLP]
    
    
30. 
    Invited Talk: A Process Algebra Master Equation. [Citation Graph (, )][DBLP]
    
    
31. 
    Stochastic Game Logic. [Citation Graph (, )][DBLP]
    
    
32. 
    Qualitative Logics and Equivalences for Probabilistic Systems. [Citation Graph (, )][DBLP]
    
    
33. 
    A business-oriented load dispatching framework for online auction sites. [Citation Graph (, )][DBLP]
    
    
34. 
    Analysis of Local Address Scanning by Puppetnets. [Citation Graph (, )][DBLP]
    
    
35. 
    A Performance Analysis Tool for Scenario-Aware Streaming Applications. [Citation Graph (, )][DBLP]
    
    
36. 
    PARTES: Performance Analysis of Real-Time Embedded Systems. [Citation Graph (, )][DBLP]
    
    
37. 
    A Productivity Centered Tools Framework for Application Performance Tuning. [Citation Graph (, )][DBLP]
    
    
38. 
    Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 System. [Citation Graph (, )][DBLP]
    
    
39. 
    Closed G-networks with Resets: product form solution. [Citation Graph (, )][DBLP]