Search results for "QEST"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Peter Buchholz 0001, Jan Kriege	Aggregation of Markovian Models - An Alternating Least Squares Approach.	QEST	2012	DBLP DOI BibTeX RDF
1	Michele Boreale, Francesca Pampaloni	Quantitative Multirun Security under Active Adversaries.	QEST	2012	DBLP DOI BibTeX RDF
1	Michael Benedikt, Rastislav Lenhardt, James Worrell 0001	Verification of Two-Variable Logic Revisited.	QEST	2012	DBLP DOI BibTeX RDF
1	Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund	Static Partial Order Reduction for Probabilistic Concurrent Systems.	QEST	2012	DBLP DOI BibTeX RDF
1	Yang Zhao 0011, Gianfranco Ciardo	A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs.	QEST	2012	DBLP DOI BibTeX RDF
1	Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou	Interference-Sensitive Preorders for MANETs.	QEST	2012	DBLP DOI BibTeX RDF
1	Vinodh Venkatesan, Ilias Iliadis	A General Reliability Model for Data Storage Systems.	QEST	2012	DBLP DOI BibTeX RDF
1	Ernst Moritz Hahn, Gethin Norman, David Parker 0001, Björn Wachter, Lijun Zhang 0001	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	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	Peter Buchholz 0001, 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		Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011	QEST	2011	DBLP BibTeX RDF
1	Rena Bakhshi, Daniela Gavidia, Wan J. 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, Flemming Nielson, Hanne Riis Nielson	Controlling Modelling Artifacts.	QEST	2011	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Abstraction, Performance Modelling, Model Validation
1	Benny Van Houdt	Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems.	QEST	2011	DBLP DOI BibTeX RDF
1	Chunyan Mu, David Clark 0001	A Tool: Quantitative Analyser for Programs.	QEST	2011	DBLP DOI BibTeX RDF	security, measurement, tool, language, flow
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	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	Giuliano Casale, Mirco Tribastone	Fluid Analysis of Queueing in Two-Stage Random Environments.	QEST	2011	DBLP DOI BibTeX RDF
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	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	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	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	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	Geoffrey Smith 0001	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	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, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis	Probe Automata for Passage Time Specification.	QEST	2011	DBLP DOI BibTeX RDF	passage time, Markov chains, GSPN
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	Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan 0001, 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	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	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	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	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	Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu 0001	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	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	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	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	Parijat Dube, Seetharami Seelam, Yanbin Liu, Megumi Ito, Thomas Ling, Michel Hack, Liana Fong, Graeme Johnson, Michael Dawson 0001, 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	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	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	Adetokunbo Makanju, 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	Joseph L. Hellerstein	The Role of Quantitative Models in Building Scalable Cloud Infrastructures.	QEST	2010	DBLP DOI BibTeX RDF
1	Martin R. Neuhäußer, Lijun Zhang 0001	Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision 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	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	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	Jasper Berendsen, David N. Jansen, Frits W. Vaandrager	Fortuna: Model Checking Priced Probabilistic Timed Automata.	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	Michael J. A. Smith	Abstraction and Model Checking in the PEPA Plug-In for Eclipse.	QEST	2010	DBLP DOI BibTeX RDF
1	William H. Sanders	Quantitative Evaluation of Security Metrics.	QEST	2010	DBLP DOI BibTeX RDF
1	Jens Happe, Henning Groenda, Michael Hauck 0001, Ralf H. Reussner	A Prediction Model for Software Performance in Symmetric Multiprocessing Environments.	QEST	2010	DBLP DOI BibTeX RDF
1	Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001, 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	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	Ashutosh Trivedi 0001, Dominik Wojtczak	Timed Branching Processes.	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	Vijay Anand Korthikanti, Mahesh Viswanathan 0001, Gul Agha, YoungMin Kwon	Reasoning about MDPs as Transformers of Probability Distributions.	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	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	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	Falko Bause, Peter Buchholz 0001, Jan Kriege	ProFiDo - The Processes Fitting Toolkit Dortmund.	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	Lu Feng 0001, Marta Z. Kwiatkowska, David Parker 0001	Compositional Verification of Probabilistic Systems Using Learning.	QEST	2010	DBLP DOI BibTeX RDF
1	Elvio Gilberto Amparore, Susanna Donatelli	MC4CSLTA: An Efficient Model Checking Tool for CSLTA.	QEST	2010	DBLP DOI BibTeX RDF
1	Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar 0016, Dean Glazeski	On the Theory of Stochastic Processors.	QEST	2010	DBLP DOI BibTeX RDF
1	Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. 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	Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova	Information Hiding in Probabilistic Concurrent Systems.	QEST	2010	DBLP DOI BibTeX RDF
1	William J. Stewart 0001	Reflections on the Numerical Solution of Markov Chains.	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	Lawrence Leemis	Reliability Models.	QEST	2010	DBLP DOI BibTeX RDF
1	Luca Cardelli, Radu Mardare	The Measurable Space of Stochastic Processes.	QEST	2010	DBLP DOI BibTeX RDF
1	Erika Ábrahám, Nils Jansen 0001, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001	DTMC Model Checking by SCC Reduction.	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	Michael Huth 0001, Nir Piterman, Daniel Wagner 0002	p-Automata: New Foundations for Discrete-Time Probabilistic Verification.	QEST	2010	DBLP DOI BibTeX RDF
1	Mirco Tribastone	Scalable Differential Analysis of Large Process Algebra Models.	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	Béatrice Bérard, John Mullins, Mathieu Sassolas	Quantifying Opacity.	QEST	2010	DBLP DOI BibTeX RDF
1	Falko Bause, Gábor Horváth 0002	Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes.	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	Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson	Model Checking Multivariate State Rewards.	QEST	2010	DBLP DOI BibTeX RDF
1	Levente Bodrog, Peter Buchholz 0001, Jan Kriege, Miklós Telek	Canonical Form Based MAP(2) Fitting.	QEST	2010	DBLP DOI BibTeX RDF
1	Max Walter, Sebastian Esch, Philipp Limbourg	COBAREA: The COpula-BAsed REliability and Availability Modeling Environment.	QEST	2009	DBLP DOI BibTeX RDF	reliability block diagrams, dependent basic events, reliability, software tool, availability, copula, fault trees
1	Martin Schoeberl, Walter Binder, Philippe Moret, Alex Villazón	Design Space Exploration for Java Processors with Cross-Profiling.	QEST	2009	DBLP DOI BibTeX RDF	processor architecture evaluation, cross-profiling, embedded systems, Java virtual machine
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	Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston	The Bio-PEPA Tool Suite.	QEST	2009	DBLP DOI BibTeX RDF
1	Juan F. Pérez, Benny Van Houdt	Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes.	QEST	2009	DBLP DOI BibTeX RDF	Structured Markov Chains, Quasi-Birth-and-Death processes
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	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	Reza Pulungan, Holger Hermanns	Acyclic Minimality by Construction---Almost.	QEST	2009	DBLP DOI BibTeX RDF	Acyclic phase-type distributions, minimality, minimal representation
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	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	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	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	Peter Buchholz 0001, Jan Kriege	A Heuristic Approach for Fitting MAPs to Moments and Joint Moments.	QEST	2009	DBLP DOI BibTeX RDF	Acyclic Phase Type Distributions, Fitting Procedures, Markovian Arrival Processes, Moments
1	Axel Legay, Mahesh Viswanathan 0001	Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems.	QEST	2009	DBLP DOI BibTeX RDF	simulation, Probability, hypothesis testing
1	Qi Zhang 0012, Armin Heindl, Evgenia Smirni, Andreas Stathopoulos	Comparison of Two Output Models for the BMAP/MAP/1 Departure Process.	QEST	2009	DBLP DOI BibTeX RDF	departure process, BMAP/MAP/1 queue, Matrix-Exponential Processes (MEPs), Markovian Arrival Processes(MAPs)
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
1	Philippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni, Martin Schoeberl	Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling.	QEST	2009	DBLP DOI BibTeX RDF	cross-profiling, cross-profiles visualization, Java Virtual Machine, Embedded software, calling-context
1	Ricardo M. Czekster, Paulo Fernandes 0001, Thais Webber	GTAexpress: A Software Package to Handle Kronecker Descriptors.	QEST	2009	DBLP DOI BibTeX RDF	Kronecker descriptors, Numerical solution

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