Search results for "QEST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Girish B. C., R. Govindarajan	A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor.	QEST	2007	DBLP DOI BibTeX RDF
1	Björn Wachter, Lijun Zhang 0001, Holger Hermanns	Probabilistic Model Checking Modulo Theories.	QEST	2007	DBLP DOI BibTeX RDF
1	Alastair F. Donaldson, Alice Miller 0001, David Parker 0001	GRIP: Generic Representatives in PRISM.	QEST	2007	DBLP DOI BibTeX RDF
1	Benjamin Gorry, Andrew Ireland, Peter King	PARTES: Performance Analysis of Real-Time Embedded Systems.	QEST	2007	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova	ProbDiVinE: A Parallel Qualitative LTL Model Checker.	QEST	2007	DBLP DOI BibTeX RDF
1	Daniel Lüdtke, Dietmar Tutsch, Matthias Kühm	Quantile Estimation for Performance Measures in Network Simulations with CINSim.	QEST	2007	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay	Qualitative Logics and Equivalences for Probabilistic Systems.	QEST	2007	DBLP DOI BibTeX RDF
1	Christel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera 0001	Stochastic Game Logic.	QEST	2007	DBLP DOI BibTeX RDF
1	Connie U. Smith, Catalina M. Lladó, Ramón Puigjaner, Lloyd G. Williams	Interchange Formats for Performance Models: Experimentation and Ouput.	QEST	2007	DBLP DOI BibTeX RDF
1	Bart D. Theelen	A Performance Analysis Tool for Scenario-Aware Streaming Applications.	QEST	2007	DBLP DOI BibTeX RDF
1	Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen	Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata.	QEST	2006	DBLP DOI BibTeX RDF
1	Philipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter	The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web Services.	QEST	2006	DBLP DOI BibTeX RDF
1		Message from the Program Committee Chairs.	QEST	2006	DBLP DOI BibTeX RDF
1	Alma Riska, Erik Riedel	Long-Range Dependence at the Disk Drive Level.	QEST	2006	DBLP DOI BibTeX RDF
1	Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié	Efficient lumpability check in partially symmetric systems.	QEST	2006	DBLP DOI BibTeX RDF
1	Bernard Berthomieu, François Vernadat 0001	Time Petri Nets Analysis with TINA.	QEST	2006	DBLP DOI BibTeX RDF
1	Mouad Ben Mamoun, Nihal Pekergin, Sana Younès	Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions.	QEST	2006	DBLP DOI BibTeX RDF
1	Michael Knoke, Armin Zimmermann	Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0.	QEST	2006	DBLP DOI BibTeX RDF
1	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer 0001, Bernd Becker 0001	Compositional Performability Evaluation for STATEMATE.	QEST	2006	DBLP DOI BibTeX RDF
1	Ningfang Mi, Qi Zhang 0012, Alma Riska, Evgenia Smirni	Load Balancing for Performance Differentiation in Dual-Priority Clustered Servers.	QEST	2006	DBLP DOI BibTeX RDF
1	Peter Kemper, Carsten Tepper	Traviando - Debugging Simulation Traces with Message Sequence Charts.	QEST	2006	DBLP DOI BibTeX RDF
1	Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner	A PMIF Semantic Validation Tool.	QEST	2006	DBLP DOI BibTeX RDF
1	José M. Martínez, Boudewijn R. Haverkort	MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF	DSPNs, CSL, model checking, Markov process, Markov regenerative process
1		Message from the General Chair.	QEST	2006	DBLP DOI BibTeX RDF
1	Anne Remke, Boudewijn R. Haverkort, Lucia Cloth	A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.	QEST	2006	DBLP DOI BibTeX RDF
1	Frank Ciesinski, Christel Baier	LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems.	QEST	2006	DBLP DOI BibTeX RDF
1	Roger Kalden, Boudewijn R. Haverkort	Measuring and Modeling of Application Flow Length in Commercial GPRS Networks.	QEST	2006	DBLP DOI BibTeX RDF
1	Michele Garetto, Marco Gribaudo	Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques.	QEST	2006	DBLP DOI BibTeX RDF
1	Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston	CSL Model Checking for Generalized Stochastic Petri Nets.	QEST	2006	DBLP DOI BibTeX RDF
1	Mengjun Xie, Keywan Tabatabai, Haining Wang	Identifying Low-ProfileWeb Server's IP Fingerprint.	QEST	2006	DBLP DOI BibTeX RDF
1	Seetharami R. Seelam, Jayaraman Suresh Babu, Patricia J. Teller	Rate-Controlled Scheduling of Expired Writes for Volatile Caches.	QEST	2006	DBLP DOI BibTeX RDF
1		Technical Program Committee.	QEST	2006	DBLP DOI BibTeX RDF
1	Peter Buchholz 0001, Peter Kemper	Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques.	QEST	2006	DBLP DOI BibTeX RDF
1	David Daly, Peter Buchholz 0001, William H. Sanders	Bound-Preserving Composition for Markov Reward Models.	QEST	2006	DBLP DOI BibTeX RDF
1	Ana Busic, Mouad Ben Mamoun, Jean-Michel Fourneau	Modeling Fiber Delay Loops in an All Optical Switch.	QEST	2006	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen, Ivan S. Zapreev	Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.	QEST	2006	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Game-based Abstraction for Markov Decision Processes.	QEST	2006	DBLP DOI BibTeX RDF
1	Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders	Data Analysis and Visualization within the Möbius Modeling Environment.	QEST	2006	DBLP DOI BibTeX RDF
1	Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet	APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.	QEST	2006	DBLP DOI BibTeX RDF
1	Levente Bodrog, Gábor Horváth 0002, Sándor Rácz, Miklós Telek	A tool support for automatic analysis based on the tagged customer approach.	QEST	2006	DBLP DOI BibTeX RDF	Tagged customer approach, Numerical analysis, Markov reward models
1	Samuel Kounev, Christofer Dutz, Alejandro P. Buchmann	QPME - Queueing Petri Net Modeling Environment.	QEST	2006	DBLP DOI BibTeX RDF
1	Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri	Integration of an MPS Modeling Approach into Mobius.	QEST	2006	DBLP DOI BibTeX RDF
1	Arif Merchant	Designing and managing storage systems: issues, techniques, and challenges.	QEST	2006	DBLP DOI BibTeX RDF
1	Ho Woo Lee, Jung Woo Baek	Threshold Workload Control in the BMAP/G/1 Queue.	QEST	2006	DBLP DOI BibTeX RDF
1	Giuliano Casale	On Single-Class Load-Dependent Normalizing Constant Equations.	QEST	2006	DBLP DOI BibTeX RDF
1	David Thornley, Harf Zatschler	Exploring correctness and accuracy of solutions to matrix polynomial equations in queues.	QEST	2006	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga	Compositional Quantitative Reasoning.	QEST	2006	DBLP DOI BibTeX RDF
1	Alexander Chobanyan, Matt W. Mutka, Shlomo Levental, Ning Xi 0001	Behavior of Available End-to-end Bandwidth: Non-Parametric Approach.	QEST	2006	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi 0001, Martijn Hendriks	UPPAAL 4.0.	QEST	2006	DBLP DOI BibTeX RDF
1	Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, Christos D. Antonopoulos	PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors.	QEST	2006	DBLP DOI BibTeX RDF
1	Pierre L'Ecuyer	Modeling and Optimization Problems in Contact Centers.	QEST	2006	DBLP DOI BibTeX RDF
1	Jasen Markovski, Nikola Trcka	Lumping Markov Chains with Silent Steps.	QEST	2006	DBLP DOI BibTeX RDF
1	Joseph Y. Halpern	Causality, Responsibility, and Blame: A Structural-Model Approach.	QEST	2006	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger	Strategy Improvement for Concurrent Reachability Games.	QEST	2006	DBLP DOI BibTeX RDF
1	Luigi Sassoli, Enrico Vicario	Analysis of Real Time Systems through the ORIS Tool.	QEST	2006	DBLP DOI BibTeX RDF
1		Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA	QEST	2006	DBLP BibTeX RDF
1	Marco Bertoli, Giuliano Casale, Giuseppe Serazzi	Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis.	QEST	2006	DBLP DOI BibTeX RDF
1	Greg Franks, Dorina C. Petriu, C. Murray Woodside, Jing Xu 0024, Peter Tregunno	Layered Bottlenecks and Their Mitigation.	QEST	2006	DBLP DOI BibTeX RDF
1	Jalil Boukhobza, Claude Timsit	Toolbox for Dimensioning Windows Storage Systems.	QEST	2006	DBLP DOI BibTeX RDF
1	Andrea Camesi, Jarle Hulaas, Walter Binder	Continuous Bytecode Instruction Counting for CPU Consumption Estimation.	QEST	2006	DBLP DOI BibTeX RDF
1	Yezekael Hayel, Víctor Manuel Ramos Ramos, Bruno Tuffin	Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass Traffic.	QEST	2006	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg	Limiting Behavior of Markov Chains with Eager Attractors.	QEST	2006	DBLP DOI BibTeX RDF
1	Héctor Cancela 0001, Pablo Rodríguez-Bocca	Optimization of Cache Expiration Dates in Content Networks.	QEST	2006	DBLP DOI BibTeX RDF
1		Reviewers.	QEST	2006	DBLP DOI BibTeX RDF
1	Werner Sandmann	On Optimal Importance Sampling for Discrete Time Markov Chains.	QEST	2005	DBLP DOI BibTeX RDF	Simulation, Markov Chains, Importance Sampling, Variance Reduction, Rare Events
1		Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy	QEST	2005	DBLP BibTeX RDF
1	Qi Zhang 0012, Alma Riska, Erik Riedel	Workload Propagation - Overload in Bursty Servers.	QEST	2005	DBLP DOI BibTeX RDF	overload conditions, TPC-W, workload characterization, multi-tiered systems
1		Message from the Program Chairs.	QEST	2005	DBLP DOI BibTeX RDF
1	Roberto Segala, Andrea Turrini	Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models.	QEST	2005	DBLP DOI BibTeX RDF
1	Peter Bazan, Reinhard German	Approximate Analysis of Stochastic Models by Self-Correcting Aggregation.	QEST	2005	DBLP DOI BibTeX RDF
1	Marco Gribaudo, Francesco Moscato 0001, Nicola Mazzocca, Valeria Vittorini	Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.	QEST	2005	DBLP DOI BibTeX RDF
1	Max Walter, Carsten Trinitis	OpenSESAME Simple but Extensive Structured Availability Modeling Environment.	QEST	2005	DBLP DOI BibTeX RDF
1	Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico	NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms.	QEST	2005	DBLP DOI BibTeX RDF
1	Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders	Evaluating the Dependability of a LEO Satellite Network for Scientific Applications.	QEST	2005	DBLP DOI BibTeX RDF
1	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.	QEST	2005	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev	A Markov Reward Model Checker.	QEST	2005	DBLP DOI BibTeX RDF
1	Jane Hillston	Fluid Flow Approximation of PEPA models.	QEST	2005	DBLP DOI BibTeX RDF
1	Marisa Llorens, Javier Oliver 0001	MCReNet: a tool for Marked-Controlled Reconfigurable Nets.	QEST	2005	DBLP DOI BibTeX RDF
1	Thomas L. Sterling	Challenges to Evaluating Petaflops Systems.	QEST	2005	DBLP DOI BibTeX RDF
1		Technical Program Committee.	QEST	2005	DBLP DOI BibTeX RDF
1	Eitan Bachmat	On the performance of D-redundant disk systems.	QEST	2005	DBLP DOI BibTeX RDF
1	Victor F. Nicola, Tatiana S. Zaburnenko	Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks.	QEST	2005	DBLP DOI BibTeX RDF
1	Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié	On the use of exact lumpability in partially symmetricalWell-formed Nets.	QEST	2005	DBLP DOI BibTeX RDF
1	Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis	Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.	QEST	2005	DBLP DOI BibTeX RDF
1	Alix L. H. Chow, Leana Golubchik, John C. S. Lui	Toward Picture-perfect Streaming on the Internet.	QEST	2005	DBLP DOI BibTeX RDF
1		Message from the General Chair.	QEST	2005	DBLP DOI BibTeX RDF
1	S. Govind, R. Govindarajan	Performance Modeling and Architecture Exploration of Network Processors.	QEST	2005	DBLP DOI BibTeX RDF
1	Gábor Horváth 0002, Miklós Telek, Peter Buchholz 0001	A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation.	QEST	2005	DBLP DOI BibTeX RDF	Markov arrival process fitting, inter-arrival time distribution, lag correlation
1		Reviewers.	QEST	2005	DBLP DOI BibTeX RDF
1	Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario	Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems.	QEST	2005	DBLP DOI BibTeX RDF
1	Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup	An approximation algorithm for labelled Markov processes: towards realistic approximation.	QEST	2005	DBLP DOI BibTeX RDF
1	Matthew Curtis-Maury, Tanping Wang	Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications.	QEST	2005	DBLP DOI BibTeX RDF
1	YoungMin Kwon, Gul A. Agha	iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.	QEST	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Mahesh Viswanathan 0001, Gul A. Agha	VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.	QEST	2005	DBLP DOI BibTeX RDF
1	G. Rajeshwari, Santonu Sarkar	SAM: A Tool for Software Architecture Modeling and Performance Analysis.	QEST	2005	DBLP DOI BibTeX RDF
1	Benny Van Houdt, Chris Blondia	QBDs with Marked Time Epochs: a Framework for Transient Performance Measures.	QEST	2005	DBLP DOI BibTeX RDF
1	Elena Gómez-Martínez, José Merseguer	A Software Performance Engineering Tool based on the UML-SPT.	QEST	2005	DBLP DOI BibTeX RDF
1	András Horváth	Steady State Solution for Models with Geometric and Finite Support Activity Duration.	QEST	2005	DBLP DOI BibTeX RDF
1	C. Murray Woodside, Tao Zheng, Marin Litoiu	The Use of Optimal Filters to Track Parameters of Performance Models.	QEST	2005	DBLP DOI BibTeX RDF	Parameter Tracking Performance Modeling, Layered Queuing, Autonomic systems, Software performance, Model Building
1	Lucia Cloth, Boudewijn R. Haverkort	Model Checking for Survivability.	QEST	2005	DBLP DOI BibTeX RDF

Publications at "QEST"( http://dblp.L3S.de/Venues/QEST )