Search results for "QEST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke	Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE).	QEST	2011	DBLP DOI BibTeX RDF	Quantitative Security Metrics, State-based Security Model, Adversary Attack Decisions
1	Jeremy Sproston	Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata.	QEST	2011	DBLP DOI BibTeX RDF	Markov decision processes, probabilistic model checking, hybrid automata, stochastic games, controller synthesis
1	András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario	Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.	QEST	2011	DBLP DOI BibTeX RDF	Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking
1	Polyvios Tsirimpas, William J. Knottenbelt	SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies.	QEST	2011	DBLP DOI BibTeX RDF	betting exchange, strategy, trading
1	Laura Aspirot, Ernesto Mordecki, Gerardo Rubino	Fluid Limits Applied to Peer to Peer Network Analysis.	QEST	2011	DBLP DOI BibTeX RDF	BitTorrent, fluid limits, mean fields
1	Chunyan Mu, David Clark	A Tool: Quantitative Analyser for Programs.	QEST	2011	DBLP DOI BibTeX RDF	security, measurement, tool, language, flow
1	Giuliano Casale, Mirco Tribastone	Fluid Analysis of Queueing in Two-Stage Random Environments.	QEST	2011	DBLP DOI BibTeX RDF
1	Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis	Probe Automata for Passage Time Specification.	QEST	2011	DBLP DOI BibTeX RDF	passage time, Markov chains, GSPN
1	Axel Schröpfer, Florian Kerschbaum	Forecasting Run-Times of Secure Two-Party Computation.	QEST	2011	DBLP DOI BibTeX RDF	Security, Performance Model, Multi-party Computation
1	Luca Bortolussi	Hybrid Limits of Continuous Time Markov Chains.	QEST	2011	DBLP DOI BibTeX RDF	Fluid Approximation, Piecewise Smooth Dynamical Systems, Discontinuous Rate Functions, Hybrid Systems, Mean Field
1	Parijat Dube, Seetharami Seelam, Yanbin Liu, Megumi Ito, Thomas Ling, Michel Hack, Liana Fong, Graeme Johnson, Michael Dawson, Li Zhang 0002, Yuqing Gao	A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions.	QEST	2011	DBLP DOI BibTeX RDF	Java native, light weight tracing, thread management, commercial benchmarks, memory management
1	Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley	GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems.	QEST	2011	DBLP DOI BibTeX RDF	Fluid analysis, Scalability, Optimisation, Tool
1	David Daly, Parijat Dube, Kaoutar El Maghraoui, Dan E. Poff, Li Zhang 0002	A Hybrid Approach for Large Cache Performance Studies.	QEST	2011	DBLP DOI BibTeX RDF	large caches, traces, counters, analytical performance modeling
1	Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin	COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic.	QEST	2011	DBLP DOI BibTeX RDF	Statistical Model Checking, Discrete Event Stochastic Processes, Stochastic Logic, Hybrid Automata
1		Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011	QEST	2011	DBLP BibTeX RDF
1	Douglas Eskins, William H. Sanders	The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems.	QEST	2011	DBLP DOI BibTeX RDF	Quantitative Security Model, State-based Security Model, Cyber-Human Systems, Human Decision Points
1	Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu	Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.	QEST	2011	DBLP DOI BibTeX RDF	unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking
1	Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon	Model Checking MDPs with a Unique Compact Invariant Set of Distributions.	QEST	2011	DBLP DOI BibTeX RDF	Model Checking, Semantics, Markov Decision Processes, Probability Distributions
1	Benny Van Houdt	Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems.	QEST	2011	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang	Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems.	QEST	2011	DBLP DOI BibTeX RDF	probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis
1	Mark Timmer	SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes.	QEST	2011	DBLP DOI BibTeX RDF	SCOOP, probabilistic process algebra, data-dependent probabilistic choice, symbolic optimisations, state space reduction, linearisation
1	Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen	Learning Probabilistic Automata for Model Checking.	QEST	2011	DBLP DOI BibTeX RDF	Probabilistic Linear Time Temporal Logic, Model Checking, Learning, Probabilistic Automata
1	Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski	APAC: A Tool for Reasoning about Abstract Probabilistic Automata.	QEST	2011	DBLP DOI BibTeX RDF
1	Laura Carnevali, Lorenzo Ridi, Enrico Vicario	Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models.	QEST	2011	DBLP DOI BibTeX RDF	symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net
1	Raluca Halalai, Thomas A. Henzinger, Vasu Singh	Quantitative Evaluation of BFT Protocols.	QEST	2011	DBLP DOI BibTeX RDF	BFT protocols, performance evaluation, model checking
1	Geoffrey Smith	Quantifying Information Flow Using Min-Entropy.	QEST	2011	DBLP DOI BibTeX RDF
1	Martin Schwarick, Monika Heiner, Christian Rohr	MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly.	QEST	2011	DBLP DOI BibTeX RDF	Interval Decision Diagram, Continuous Stochastic Logic, Fast Adaptive Uniformization, Model Checking, Stochastic Simulation, Continuous Time Markov Chain, Generalized Stochastic Petri Net, Rewards, Computation Tree Logic
1	Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson	Controlling Modelling Artifacts.	QEST	2011	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Abstraction, Performance Modelling, Model Validation
1	Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen	A Modeling Framework for Gossip-based Information Spread.	QEST	2011	DBLP DOI BibTeX RDF	dependable gossiping, performance evaluation, formal modelling, large-scale networks, gossip protocols, experimental validation
1	Michael J. A. Smith	Compositional Abstractions for Long-Run Properties of Stochastic Systems.	QEST	2011	DBLP DOI BibTeX RDF	Stochastic Bounds, Compositional Abstraction, Performance Evaluation, Stochastic Process Algebra
1	Lothar Thiele	Temperature-aware Real-Time Scheduling - Extended Abstract.	QEST	2011	DBLP DOI BibTeX RDF	temperature analysis, temperature guarantee, real-time systems, multiprocessor systems
1	Peter Buchholz, Miklós Telek	Composition and Equivalence of Markovian and Non-Markovian Models.	QEST	2011	DBLP DOI BibTeX RDF	Rational Processes, Aggregation, Markov Models, Equivalence, Compositional Modeling
1	Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate	Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems.	QEST	2011	DBLP DOI BibTeX RDF	Stochastic Hybrid Systems, Reachability and Safety, Approximations, Markov Chains, Abstractions
1	Elvio Gilberto Amparore, Susanna Donatelli	MC4CSLTA: An Efficient Model Checking Tool for CSLTA.	QEST	2010	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel	Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.	QEST	2010	DBLP DOI BibTeX RDF
1	Mirco Tribastone	Scalable Differential Analysis of Large Process Algebra Models.	QEST	2010	DBLP DOI BibTeX RDF
1	Benny Van Houdt	A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian Queue.	QEST	2010	DBLP DOI BibTeX RDF
1	Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson	Model Checking Multivariate State Rewards.	QEST	2010	DBLP DOI BibTeX RDF
1	Béatrice Bérard, John Mullins, Mathieu Sassolas	Quantifying Opacity.	QEST	2010	DBLP DOI BibTeX RDF
1	Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan Fokkink, Boudewijn R. Haverkort	Automating the Mean-Field Method for Large Dynamic Gossip Networks.	QEST	2010	DBLP DOI BibTeX RDF
1	Junaid Babar, Andrew S. Miner	Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY.	QEST	2010	DBLP DOI BibTeX RDF
1		QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010	QEST	2010	DBLP BibTeX RDF
1	Ana Busic, Bruno Gaujal, Gaël Gorgo, Jean-Marc Vincent	PSI2: Envelope Perfect Sampling of Non Monotone Systems.	QEST	2010	DBLP DOI BibTeX RDF
1	Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort	Rare Event Simulation for Highly Dependable Systems with Fast Repairs.	QEST	2010	DBLP DOI BibTeX RDF
1	András Horváth, Lorenzo Ridi, Enrico Vicario	Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes.	QEST	2010	DBLP DOI BibTeX RDF
1	Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski	On the Theory of Stochastic Processors.	QEST	2010	DBLP DOI BibTeX RDF
1	Lawrence Leemis	Reliability Models.	QEST	2010	DBLP DOI BibTeX RDF
1	Joseph L. Hellerstein	The Role of Quantitative Models in Building Scalable Cloud Infrastructures.	QEST	2010	DBLP DOI BibTeX RDF
1	Falko Bause, Peter Buchholz, Jan Kriege	ProFiDo - The Processes Fitting Toolkit Dortmund.	QEST	2010	DBLP DOI BibTeX RDF
1	Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova	Information Hiding in Probabilistic Concurrent Systems.	QEST	2010	DBLP DOI BibTeX RDF
1	Jasper Berendsen, David N. Jansen, Frits W. Vaandrager	Fortuna: Model Checking Priced Probabilistic Timed Automata.	QEST	2010	DBLP DOI BibTeX RDF
1	William H. Sanders	Quantitative Evaluation of Security Metrics.	QEST	2010	DBLP DOI BibTeX RDF
1	William J. Stewart	Reflections on the Numerical Solution of Markov Chains.	QEST	2010	DBLP DOI BibTeX RDF
1	Luca Cardelli, Radu Mardare	The Measurable Space of Stochastic Processes.	QEST	2010	DBLP DOI BibTeX RDF
1	Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon	Reasoning about MDPs as Transformers of Probability Distributions.	QEST	2010	DBLP DOI BibTeX RDF
1	Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone	Hybrid Semantics for PEPA.	QEST	2010	DBLP DOI BibTeX RDF
1	Ashutosh Trivedi, Dominik Wojtczak	Timed Branching Processes.	QEST	2010	DBLP DOI BibTeX RDF
1	Xin Zhang, Franck van Breugel	Model Checking Randomized Algorithms with Java PathFinder.	QEST	2010	DBLP DOI BibTeX RDF
1	Martin Pinzger 0002, Gabriele Kotsis	AWPS - Simulation Based Automated Web Performance Analysis and Prediction.	QEST	2010	DBLP DOI BibTeX RDF
1	Falko Bause, Gábor Horváth	Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes.	QEST	2010	DBLP DOI BibTeX RDF
1	Jayanand Asok Kumar, Shobha Vasudevan	Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs.	QEST	2010	DBLP DOI BibTeX RDF
1	Michael J. A. Smith	Abstraction and Model Checking in the PEPA Plug-In for Eclipse.	QEST	2010	DBLP DOI BibTeX RDF
1	Lu Feng, Marta Z. Kwiatkowska, David Parker	Compositional Verification of Probabilistic Systems Using Learning.	QEST	2010	DBLP DOI BibTeX RDF
1	Elvio Gilberto Amparore, Susanna Donatelli	DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN.	QEST	2010	DBLP DOI BibTeX RDF
1	Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf	SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.	QEST	2010	DBLP DOI BibTeX RDF
1	Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski	Compositional Design Methodology with Constraint Markov Chains.	QEST	2010	DBLP DOI BibTeX RDF
1	Michael Huth, Nir Piterman, Daniel Wagner	p-Automata: New Foundations for Discrete-Time Probabilistic Verification.	QEST	2010	DBLP DOI BibTeX RDF
1	Andrea Marin, Maria Grazia Vigliotti	From Systems to Components: Constructive Methods for Product-Form Solutions.	QEST	2010	DBLP DOI BibTeX RDF
1	Jens Happe, Henning Groenda, Michael Hauck, Ralf H. Reussner	A Prediction Model for Software Performance in Symmetric Multiprocessing Environments.	QEST	2010	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker	DTMC Model Checking by SCC Reduction.	QEST	2010	DBLP DOI BibTeX RDF
1	Adetokunbo Makanju, A. Nur Zincir-Heywood, Evangelos E. Milios	An Evaluation of Entropy Based Approaches to Alert Detection in High Performance Cluster Logs.	QEST	2010	DBLP DOI BibTeX RDF
1	Martin R. Neuhäußer, Lijun Zhang	Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes.	QEST	2010	DBLP DOI BibTeX RDF
1	Ana Busic, Jean-Michel Fourneau	A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC.	QEST	2010	DBLP DOI BibTeX RDF
1	Derek Doran, Swapna S. Gokhale	Searching for Heavy Tails in Web Robot Traffic.	QEST	2010	DBLP DOI BibTeX RDF
1	Levente Bodrog, Peter Buchholz, Jan Kriege, Miklós Telek	Canonical Form Based MAP(2) Fitting.	QEST	2010	DBLP DOI BibTeX RDF
1	Elina Pacini Naumovich, Simona Bernardi	Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality.	QEST	2009	DBLP DOI BibTeX RDF	Interval Time Petri Net (ITPN), performance bound analysis, tool inter-operability
1	Gianfranco Ciardo	Petri Net Analysis Using Decision Diagrams.	QEST	2009	DBLP DOI BibTeX RDF
1	Afonso Sales, Brigitte Plateau	Reachable State Space Generation for Structured Models which Use Functional Transitions.	QEST	2009	DBLP DOI BibTeX RDF	Decision Diagrams, Kronecker Algebra, Stochastic Automata Networks, State Space Generation
1	Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue	Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples.	QEST	2009	DBLP DOI BibTeX RDF	Probabilistic FMEA, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Stochastic Modelling, Dependability Analysis
1	Antonius Erdmann, Dietmar Weber	PerDaCol and PerfAnalysis - A Tool Set for Performance Measurement Data Collection and Evaluation of Real-Time Communication Systems.	QEST	2009	DBLP DOI BibTeX RDF	unix-like software architecture, evaluation, performance measurement, IMS, data collection
1	Parosh Aziz Abdulla	Infinite-State Verification: From Transition Systems to Markov Chains.	QEST	2009	DBLP DOI BibTeX RDF	Model Checking, Markov Chains, Program Verification, Infinite-State Systems
1	Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston	The Bio-PEPA Tool Suite.	QEST	2009	DBLP DOI BibTeX RDF
1	Ruth Lamprecht, Peter Kemper	On the Detection of Symmetries in Compositional Markov Models.	QEST	2009	DBLP DOI BibTeX RDF	lumpability, Markov Chains, compositional models, symmetry detection
1	Rena Bakhshi, Ansgar Fehnker	On the Impact of Modelling Choices for Distributed Information Spread.	QEST	2009	DBLP DOI BibTeX RDF	Information Spread, PeerSim, Model Checking, Distributed Algorithms, PRISM
1	Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes	Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.	QEST	2009	DBLP DOI BibTeX RDF	logical characterization, measurable, bisimulation, nondeterminism
1	Melinda Magyar, István Majzik	Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach.	QEST	2009	DBLP DOI BibTeX RDF	UML based modeling, modular model construction, dependability evaluation, Stochastic Activity Networks
1	Giuliano Casale	The Multi-branched Method of Moments for Queueing Networks.	QEST	2009	DBLP DOI BibTeX RDF
1	Serge Haddad, Nihal Pekergin	Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains.	QEST	2009	DBLP DOI BibTeX RDF	probabistic model checking, stochastic comparison
1	Jonathan Bogdoll, Holger Hermanns, Lijun Zhang	FlowSim Simulation Benchmarking Platform.	QEST	2009	DBLP DOI BibTeX RDF	probabilistic simulation, Markov chain, decision algorithm
1	Ricardo M. Czekster, Paulo Fernandes, Thais Webber	GTAexpress: A Software Package to Handle Kronecker Descriptors.	QEST	2009	DBLP DOI BibTeX RDF	Kronecker descriptors, Numerical solution
1	Tugrul Dayar	Analyzing Large Sparse Markov Chains of Kronecker Products.	QEST	2009	DBLP DOI BibTeX RDF	block iterative methods, preconditioned projection methods, Markov chains, grouping, reordering, multilevel methods, Kronecker products, lumping
1	Abigail S. Lebrecht, Nicholas J. Dingle, William J. Knottenbelt	A Performance Model of Zoned Disk Drives with I/O Request Reordering.	QEST	2009	DBLP DOI BibTeX RDF	Queueing theory, stochastic modelling, storage systems
1	Gerardo Rubino, Bruno Tuffin	An Introduction to Monte Carlo Methods and Rare Event Simulation.	QEST	2009	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen	The Ins and Outs of the Probabilistic Model Checker MRMC.	QEST	2009	DBLP DOI BibTeX RDF	none
1	Hiroyuki Okamura, Tadashi Dohi	Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes.	QEST	2009	DBLP DOI BibTeX RDF	continuous hidden Markov model, EM algorithm, Maximum likelihood estimation, Markovian arrival process
1	Andras Farago	Quantifying the Trade-off Between the Level of Connectivity and Local Complexity in Random Wireless Network Topologies.	QEST	2009	DBLP DOI BibTeX RDF	random network topology, scalability, connectivity
1	Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen	Time-Bounded Reachability in Tree-Structured QBDs by Abstraction.	QEST	2009	DBLP DOI BibTeX RDF	Applications, Abstraction, Probabilistic model checking, Infinite-state systems
1		QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009	QEST	2009	DBLP BibTeX RDF
1	Axel Legay, Mahesh Viswanathan	Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems.	QEST	2009	DBLP DOI BibTeX RDF	simulation, Probability, hypothesis testing
1	Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders	Remote Job Management in the Mobius Modeling Framework.	QEST	2009	DBLP DOI BibTeX RDF	parallel simulation execution, Simulation, modeling, discrete-event systems, compute clusters

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