Conferences in DBLP
Message from the Program Committee Chairs. [Citation Graph (0, 0)][DBLP ] Conf ] Technical Program Committee. [Citation Graph (0, 0)][DBLP ] Conf ] Reviewers. [Citation Graph (0, 0)][DBLP ] Conf ] Message from the General Chair. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern Causality, Responsibility, and Blame: A Structural-Model Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Chobanyan , Matt W. Mutka , Shlomo Levental , Ning Xi Behavior of Available End-to-end Bandwidth: Non-Parametric Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Camesi , Jarle Hulaas , Walter Binder Continuous Bytecode Instruction Counting for CPU Consumption Estimation. [Citation Graph (0, 0)][DBLP ] Conf ] Jalil Boukhobza , Claude Timsit Toolbox for Dimensioning Windows Storage Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alma Riska , Erik Riedel Long-Range Dependence at the Disk Drive Level. [Citation Graph (0, 0)][DBLP ] Conf ] Seetharami R. Seelam , Jayaraman Suresh Babu , Patricia J. Teller Rate-Controlled Scheduling of Expired Writes for Volatile Caches. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Remke , Boudewijn R. Haverkort , Lucia Cloth A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Garetto , Marco Gribaudo Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Roger Kalden , Boudewijn R. Haverkort Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Ana Busic , Mouad Ben Mamoun , Jean-Michel Fourneau Modeling Fiber Delay Loops in an All Optical Switch. [Citation Graph (0, 0)][DBLP ] Conf ] Greg Franks , Dorina C. Petriu , C. Murray Woodside , Jing Xu , Peter Tregunno Layered Bottlenecks and Their Mitigation. [Citation Graph (0, 0)][DBLP ] Conf ] Samuel Kounev , Christofer Dutz , Alejandro P. Buchmann QPME - Queueing Petri Net Modeling Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Knoke , Armin Zimmermann Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Bertoli , Giuliano Casale , Giuseppe Serazzi Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Garcia , Catalina M. Lladó , Connie U. Smith , Ramón Puigjaner A PMIF Semantic Validation Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Berthomieu , François Vernadat Time Petri Nets Analysis with TINA. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Behrmann , Alexandre David , Kim Guldstrand Larsen , John Håkansson , Paul Pettersson , Wang Yi , Martijn Hendriks UPPAAL 4.0. [Citation Graph (0, 0)][DBLP ] Conf ] Luigi Sassoli , Enrico Vicario Analysis of Real Time Systems through the ORIS Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Hérault , Richard Lassaigne , Sylvain Peyronnet APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Ciesinski , Christel Baier LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jose M. Martinez , Boudewijn R. Haverkort MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Kemper , Carsten Tepper Traviando - Debugging Simulation Traces with Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Bondavalli , Silvano Chiaradonna , Paolo Lollini , Fabrizio Squittieri Integration of an MPS Modeling Approach into Mobius. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Curtis-Maury , Dimitrios S. Nikolopoulos , Christos D. Antonopoulos PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre L'Ecuyer Modeling and Optimization Problems in Contact Centers. [Citation Graph (0, 0)][DBLP ] Conf ] Marta Z. Kwiatkowska , Gethin Norman , David Parker Game-based Abstraction for Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Eckard Böde , Marc Herbstritt , Holger Hermanns , Sven Johr , Thomas Peikenkamp , Reza Pulungan , Ralf Wimmer , Bernd Becker Compositional Performability Evaluation for STATEMATE. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnendu Chatterjee , Luca de Alfaro , Marco Faella , Thomas A. Henzinger , Rupak Majumdar , Mariëlle Stoelinga Compositional Quantitative Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Mouad Ben Mamoun , Nihal Pekergin , Sana Younès Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. [Citation Graph (0, 0)][DBLP ] Conf ] Davide Cerotti , Susanna Donatelli , András Horváth , Jeremy Sproston CSL Model Checking for Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] M. Beccuti , Giuliana Franceschinis , Souheib Baarir , J-M. Ilie Efficient lumpability check in partially symmetric systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jasen Markovski , Nikola Trcka Lumping Markov Chains with Silent Steps. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Buchholz , Peter Kemper Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] David Daly , Peter Buchholz , William H. Sanders Bound-Preserving Composition for Markov Reward Models. [Citation Graph (0, 0)][DBLP ] Conf ] Parosh Aziz Abdulla , Noomene Ben Henda , Richard Mayr , Sven Sandberg Limiting Behavior of Markov Chains with Eager Attractors. [Citation Graph (0, 0)][DBLP ] Conf ] Arif Merchant Designing and managing storage systems: issues, techniques, and challenges. [Citation Graph (0, 0)][DBLP ] Conf ] Hector Cancela , Pablo Rodríguez-Bocca Optimization of Cache Expiration Dates in Content Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Yezekael Hayel , Víctor Manuel Ramos Ramos , Bruno Tuffin Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass Traffic. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnendu Chatterjee , Luca de Alfaro , Thomas A. Henzinger Strategy Improvement for Concurrent Reachability Games. [Citation Graph (0, 0)][DBLP ] Conf ] Joost-Pieter Katoen , Ivan S. Zapreev Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. [Citation Graph (0, 0)][DBLP ] Conf ] Jasper Berendsen , David N. Jansen , Joost-Pieter Katoen Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Levente Bodrog , Gábor Horváth , Sándor Rácz , Miklós Telek A tool support for automatic analysis based on the tagged customer approach. [Citation Graph (0, 0)][DBLP ] Conf ] Giuliano Casale On Single-Class Load-Dependent Normalizing Constant Equations. [Citation Graph (0, 0)][DBLP ] Conf ] David Thornley , Harf Zatschler Exploring correctness and accuracy of solutions to matrix polynomial equations in queues. [Citation Graph (0, 0)][DBLP ] Conf ] Ho Woo Lee , Jung Woo Baek Threshold Workload Control in the BMAP/G/1 Queue. [Citation Graph (0, 0)][DBLP ] Conf ] Mengjun Xie , Keywan Tabatabai , Haining Wang Identifying Low-ProfileWeb Server's IP Fingerprint. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Ningfang Mi , Qi Zhang , Alma Riska , Evgenia Smirni Load Balancing for Performance Differentiation in Dual-Priority Clustered Servers. [Citation Graph (0, 0)][DBLP ] Conf ] 