Conferences in DBLP
Reviewers. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:- [Conf ] Message from the General Chair. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:- [Conf ] Message from the Program Chairs. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:- [Conf ] Technical Program Committee. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:- [Conf ] Michele Curti , Davide Prandi , Linda Brodo Formal Executable Descriptions of Biological Systems. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:2-12 [Conf ] Giacomo Bucci , R. Piovosi , Luigi Sassoli , Enrico Vicario Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:13-22 [Conf ] Souheib Baarir , Claude Dutheillet , Serge Haddad , Jean-Michel Ilié On the use of exact lumpability in partially symmetricalWell-formed Nets. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:23-32 [Conf ] Jane Hillston Fluid Flow Approximation of PEPA models. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:33-43 [Conf ] Roberto Segala , Andrea Turrini Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:44-53 [Conf ] Alexandre Bouchard-Côté , Norm Ferns , Prakash Panangaden , Doina Precup An approximation algorithm for labelled Markov processes: towards realistic approximation. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:54-62 [Conf ] Alix L. H. Chow , Leana Golubchik , John C. S. Lui Toward Picture-perfect Streaming on the Internet. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:63-73 [Conf ] C. Murray Woodside , Tao Zheng , Marin Litoiu The Use of Optimal Filters to Track Parameters of Performance Models. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:74-84 [Conf ] Marco Gribaudo , Francesco Moscato , Nicola Mazzocca , Valeria Vittorini Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:85-94 [Conf ] Eleftheria Athanasopoulou , Purvesh Thakker , William H. Sanders Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:95-104 [Conf ] Eitan Bachmat On the performance of D-redundant disk systems. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:105-113 [Conf ] András Horváth Steady State Solution for Models with Geometric and Finite Support Activity Duration. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:114-123 [Conf ] Gábor Horváth , Miklós Telek , Peter Buchholz A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:124-133 [Conf ] Peter Bazan , Reinhard German Approximate Analysis of Stochastic Models by Self-Correcting Aggregation. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:134-144 [Conf ] Lucia Cloth , Boudewijn R. Haverkort Model Checking for Survivability. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:145-154 [Conf ] Mihalis Yannakakis , Kousha Etessami Checking LTL Properties of Recursive Markov Chains. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:155-165 [Conf ] Thomas Sterling Challenges to Evaluating Petaflops Systems. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:166-167 [Conf ] Qi Zhang , Alma Riska , Erik Riedel Workload Propagation - Overload in Bursty Servers. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:179-188 [Conf ] S. Govind , R. Govindarajan Performance Modeling and Architecture Exploration of Network Processors. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:189-198 [Conf ] Matthew Curtis-Maury , Tanping Wang Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:199-209 [Conf ] Benny Van Houdt , Chris Blondia QBDs with Marked Time Epochs: a Framework for Transient Performance Measures. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:210-219 [Conf ] Victor F. Nicola , Tatiana S. Zaburnenko Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:220-229 [Conf ] Werner Sandmann On Optimal Importance Sampling for Discrete Time Markov Chains. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:230-240 [Conf ] Lorenzo Falai , Andrea Bondavalli , Felicita Di Giandomenico NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:241-242 [Conf ] Joost-Pieter Katoen , Maneesh Khattri , Ivan S. Zapreev A Markov Reward Model Checker. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:243-244 [Conf ] YoungMin Kwon , Gul A. Agha iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:245-246 [Conf ] Elena Gómez-Martínez , José Merseguer A Software Performance Engineering Tool based on the UML-SPT. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:247-248 [Conf ] G. Rajeshwari , Santonu Sarkar SAM: A Tool for Software Architecture Modeling and Performance Analysis. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:249-250 [Conf ] Koushik Sen , Mahesh Viswanathan , Gul A. Agha VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:251-252 [Conf ] Max Walter , Carsten Trinitis OpenSESAME Simple but Extensive Structured Availability Modeling Environment. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:253-254 [Conf ] Marisa Llorens , Javier Oliver MCReNet: a tool for Marked-Controlled Reconfigurable Nets. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:255-256 [Conf ] Marco Gribaudo , Daniele Codetta Raiteri , Giuliana Franceschinis Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:257-258 [Conf ] Tod Courtney , Salem Derisavi , Shravan Gaonkar , Mark Griffith , Vinh Vi Lam , Michael G. McQuinn , Eric Rozier , William H. Sanders The Mobius Modeling Environment: Recent Extensions - 2005. [Citation Graph (0, 0)][DBLP ] QEST, 2005, pp:259-260 [Conf ]