Search results for "Quantitative Evaluation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Wei Li, Véronique Haese-Coat, Joseph Ronsin	Quantitative evaluation of detail-preserving and noise-removal abilities of morphological filters. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	detail-preserving abilities, noise-removal abilities, edge sharpness preservation, general morphological gradient criterion, local spatial activity levels, local mean-square-error, local mean-absolute-error, simulated images, combined filter structure, performances, image processing, image segmentation, noise, mathematical morphology, nonlinear filters, filtering theory, quantitative evaluation, morphological filters, image regions, interference suppression, noise suppression
2	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
2	Raluca Halalai, Thomas A. Henzinger, Vasu Singh	Quantitative Evaluation of BFT Protocols.	QEST	2011	DBLP DOI BibTeX RDF	BFT protocols, performance evaluation, model checking
2	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
2	William H. Sanders	Quantitative Evaluation of Security Metrics.	QEST	2010	DBLP DOI BibTeX RDF
2	Jane Hillston, Marta Z. Kwiatkowska, Miklós Telek	Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
2	Geraldine Vache	Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security.	SAFECOMP	2009	DBLP DOI BibTeX RDF
2	András Horváth, Enrico Vicario	Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets.	QEST	2009	DBLP DOI BibTeX RDF	non-Markovian stochastic Petri nets, stochastic state classes, steady state analysis, stochastic time Petri nets
2	Tadashi Kobayashi, Hiromasa Nakatani	Mapping of Usability Guidelines onto User's Temporal Viewpoint Matrix.	HCI	2009	DBLP DOI BibTeX RDF	temporal viewpoint, usability principles, utilization pattern, quantitative evaluation, Usability guidelines
2	Francisco J. Estrada, Allan D. Jepson	Benchmarking Image Segmentation Algorithms.	International Journal of Computer Vision	2009	DBLP DOI BibTeX RDF	Boundary matching, Computer vision, Image segmentation, Quantitative evaluation
2	Bai Xiao, Richard C. Wilson, Edwin R. Hancock	Quantitative Evaluation on Heat Kernel Permutation Invariants.	SSPR/SPR	2008	DBLP DOI BibTeX RDF
2	Sancheng Peng, Weijia Jia, Guojun Wang	Quantitative Evaluation Model for Survivability in Large-Scale MANETs Based on Reliability Theory.	ICYCS	2008	DBLP DOI BibTeX RDF
2	Franklin César Flores, Roberto de Alencar Lotufo	Benchmark for Quantitative Evaluation of Assisted Object Segmentation Methods to Image Sequences.	SIBGRAPI	2008	DBLP DOI BibTeX RDF
2	Omar Hammami, Zhoukun Wang, Virginie Fresse, Dominique Houzet	A quantitative evaluation of C-based synthesis on heterogeneous embedded systems design.	ISCAS	2008	DBLP DOI BibTeX RDF
2	Enrico Vicario	Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes.	QEST	2008	DBLP DOI BibTeX RDF
2	Arquimedes Canedo, Masahiro Sowa, Ben A. Abderazek	Quantitative Evaluation of Common Subexpression Elimination on Queue Machines.	ISPAN	2008	DBLP DOI BibTeX RDF	Queue Computation Model, Queue Processor, Optimization, Compiler
2	Rohit Gupta, Gang Fang, Blayne Field, Michael Steinbach, Vipin Kumar	Quantitative evaluation of approximate frequent pattern mining algorithms.	KDD	2008	DBLP DOI BibTeX RDF	approximate frequent itemsets, error tolerance, quantitative evaluation, association analysis
2	Keiki Takadama, Takahiro Majima, Daisuke Watanabe, Mitsujiro Katsuhara	Exploring Quantitative Evaluation Criteria for Service and Potentials of New Service in Transportation: Analyzing Transport Networks of Railway, Subway, and Waterbus.	IDEAL	2007	DBLP DOI BibTeX RDF	complex network, transportation, service science, evaluation criteria
2	Tsuneo Yoshikawa, Masanao Koeda, Munetaka Sugihashi	A Quantitative Evaluation Method of Handedness Using Haptic Virtual Reality Technology.	RO-MAN	2007	DBLP DOI BibTeX RDF
2	Patrick Popp, Marco Di Natale, Paolo Giusto, Sri Kanajan, Claudio Pinello	Interactive presentation: Towards a methodology for the quantitative evaluation of automotive architectures.	DATE	2007	DBLP DOI BibTeX RDF
2	Yogendra Narain Singh, Phalguni Gupta	Quantitative Evaluation of Normalization Techniques of Matching Scores in Multimodal Biometric Systems.	ICB	2007	DBLP DOI BibTeX RDF
2	Makoto Hasegawa, Yukuo Isomoto	Quantitative evaluation of Intelligent Ability with Computer Games.	ICALT	2007	DBLP DOI BibTeX RDF
2	Mohammad Faisal, John Barron	High Accuracy Optical Flow Method Based on a Theory for Warping: Implementation and Qualitative/Quantitative Evaluation.	ICIAR	2007	DBLP DOI BibTeX RDF	multiscale pyramid, brightness/gradient, optical flow, regularization, warping, smoothing constraints
2	Jeong-Dong Kim, Dongwon Jeong, Jinhyung Kim, Yixin Jing, Doo-Kwon Baik	Implementation and Quantitative Evaluation of UbiMDR Framework.	UIC	2007	DBLP DOI BibTeX RDF
2	Kilsup Lee, Sung Jong Lee	A Quantitative Evaluation Model Using the ISO/IEC 9126 Quality Model in the Component Based Development Process.	ICCSA	2006	DBLP DOI BibTeX RDF
2	Francisco J. Estrada, Allan D. Jepson	Quantitative Evaluation of a Novel Image Segmentation Algorithm.	CVPR	2005	DBLP DOI BibTeX RDF
2	Xia Liu, Qing Wang	Study on Application of a Quantitative Evaluation Approach for Software Architecture Adaptability.	QSIC	2005	DBLP DOI BibTeX RDF
2	Ramin Pichevar, Jean Rouat	A Quantitative Evaluation of a Bio-inspired Sound Segregation Technique for Two- and Three-Source Mixtures.	Summer School on Neural Networks	2004	DBLP DOI BibTeX RDF
2	Qinglin Zhang, Ailisha Li, Jiayi Hu, Weiyuan Wang	In-Process Quantitative Evaluation for Network-Based Learning.	ICWL	2003	DBLP DOI BibTeX RDF
2	Stefanie Tellex, Boris Katz, Jimmy J. Lin, Aaron Fernandes, Gregory Marton	Quantitative evaluation of passage retrieval algorithms for question answering.	SIGIR	2003	DBLP DOI BibTeX RDF	question answering, passage retrieval
2	Luigi di Stefano, Massimiliano Marchionni, Stefano Mattoccia, Giovanni Neri	Quantitative evaluation of area-based stereo matching.	ICARCV	2002	DBLP DOI BibTeX RDF
2	Yoshio Kataoka, Takeo Imai, Hiroki Andou, Tetsuji Fukaya	A Quantitative Evaluation of Maintainability Enhancement by Refactoring. (PDF / PS)	ICSM	2002	DBLP DOI BibTeX RDF
2	Yuichiro Hayashi, Kensaku Mori, Jun-ichi Hasegawa, Yasuhito Suenaga, Jun-ichiro Toriwaki	A Method for Detecting Undisplayed Regions in Virtual Colonoscopy and Its Application to Quantitative Evaluation of Fly-Through Methods.	MICCAI	2002	DBLP DOI BibTeX RDF
2	Josep M. Codina, Josep Llosa, Antonio González	A comparative study of modulo scheduling techniques.	ICS	2002	DBLP DOI BibTeX RDF	instruction level parallel architectures, instruction scheduling, Modulo scheduling, comparative study, quantitative evaluation
2	M. Lyra, K. Skouroliakou, C. Georgosopoulos, C. Stefanides, J. Jordanou	Single Photon Emission Computed Tomography and 3 Dimensional Quantitative Evaluation in Renal Scintigraphy.	MICCAI	2001	DBLP DOI BibTeX RDF
2	Hideaki Goto, Masahiro Mambo, Kenjiro Matsumura, Hiroki Shizuya	An Approach to the Objective and Quantitative Evaluation of Tamper-Resistant Software.	ISW	2000	DBLP DOI BibTeX RDF
2	Rodolphe Ortalo, Yves Deswarte, Mohamed Kaâniche	Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	operational vulnerabilities, privilege graph, quantitative evaluation, Security assessment
2	A. P. Flores, André Costi Nacul, L. Silva, J. Netto, Carlos Eduardo Pereira, Luiz F. Bacellar	Quantitative Evaluation of Distributed Object-Oriented Programming Environments for Real-Time Applications.	ISORC	1999	DBLP DOI BibTeX RDF
2	José L. Fernández, Bárbara Álvarez, Francisco José García Izquierdo, Ángel Pérez, Juan Antonio de la Puente	A Case Study in Quantitative Evaluation of Real-Time Software Architectures.	Ada-Europe	1998	DBLP DOI BibTeX RDF
2	Thomas Kunz	Evaluating process clusters to support automatic program understanding. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	process cluster evaluation, automatic program understanding, static source analysis, application execution, reverse engineering, software maintenance, software maintenance, distributed processing, software tools, software tools, software design, distributed application, program debugging, program diagnostics, interprocess communication, program development, distributed debugging, quantitative evaluation, application design, prototypical tools
2	Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey	Knowledge-Based assistance for real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	Real-Time Scheduling Assistant, RTSA knowledge base, multiple scheduling algorithms, knowledge-based assistance, scheduling, real-time systems, real-time systems, graphical user interface, knowledge based systems, scheduling algorithms, inference mechanisms, processor scheduling, quantitative evaluation, performance characteristics, forward chaining, complex real-time systems
2	Ben-Kwei Jang, Roland T. Chin	One-Pass Parallel Thinning: Analysis, Properties, and Quantitative Evaluation.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	one-pass parallel thinning, unit-width convergence, pipeline processing model, skeletal connectivity, parallel algorithms, image recognition, shape analysis, pipeline processing, convergence of numerical methods, noise immunity, medial axis approximation
1	P. Miller, D. Coope, G. Thompson, A. Jackson, Karl Herholz	Quantitative evaluation of white matter tract DTI parameter changes in gliomas using nonlinear registration.	NeuroImage	2012	DBLP DOI BibTeX RDF
1	Paula Escudeiro, Nuno Filipe Escudeiro	Evaluation of Serious Games in Mobile Platforms with QEF: QEF (Quantitative Evaluation Framework).	WMUTE	2012	DBLP DOI BibTeX RDF
1	Louchka Popova-Zeugmann	Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks.	Natural Computing	2011	DBLP DOI BibTeX RDF
1	Ansi Wang, Yi Luo, Guangyu Tu, Pei Liu	Quantitative Evaluation of Human-Reliability Based on Fuzzy-Clonal Selection.	IEEE Transactions on Reliability	2011	DBLP DOI BibTeX RDF
1	Andreas Hansson, Kees Goossens	A quantitative evaluation of a Network on Chip design flow for multi-core consumer multimedia applications.	Design Autom. for Emb. Sys.	2011	DBLP DOI BibTeX RDF
1	Hannes Holm, Teodor Sommestad, Jonas Almroth, Mats Persson	A quantitative evaluation of vulnerability scanning.	Inf. Manag. Comput. Security	2011	DBLP BibTeX RDF
1	Sheena Xin Liu, Luis F. Gutiérrez, Douglas Stanton	Quantitative evaluation for accumulative calibration error and video-CT registration errors in electromagnetic-tracked endoscopy.	Int. J. Computer Assisted Radiology and Surgery	2011	DBLP DOI BibTeX RDF
1	Wen Zeng, Aad P. A. van Moorsel	Quantitative Evaluation of Enterprise DRM Technology.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Kyung-Hoe Huh, Erika Benavides, Young-Tak Jo, Bo-Ram Choi, Won-Jin Yi, Min-Suk Heo, Sam-Sun Lee, Soon-Chul Choi	Quantitative Evaluation of Patient Movement during Simulated Acquisition of Cephalometric Radiographs.	J. Digital Imaging	2011	DBLP DOI BibTeX RDF
1	Loredana Zollo, Luca Rossini, Marco Bravi, Giovanni Magrone, Silvia Sterzi, Eugenio Guglielmelli	Quantitative evaluation of upper-limb motor control in robot-aided rehabilitation.	Med. Biol. Engineering and Computing	2011	DBLP DOI BibTeX RDF
1	Michael Dixon, Robert Glaubius, Philip Freeman, Robert Pless, Michael P. Gleason, Matthew M. Thomas, William D. Smart	Measuring optical distortion in aircraft transparencies: a fully automated system for quantitative evaluation.	Mach. Vis. Appl.	2011	DBLP DOI BibTeX RDF
1	Pierre Fillard, Maxime Descoteaux, Alvina Goh, Sylvain Gouttard, Ben Jeurissen, James Malcolm, Alonso Ramirez-Manzanares, Marco Reisert, Ken Sakaie, Fatima Tensaouti, Ting Yo, Jean-François Mangin, Cyril Poupon	Quantitative evaluation of 10 tractography algorithms on a realistic diffusion MR phantom.	NeuroImage	2011	DBLP DOI BibTeX RDF
1	Noriyuki Fujima, Kohsuke Kudo, Satoshi Terae, Kinya Ishizaka, Rie Yazu, Yuri Zaitsu, Khin Khin Tha, Daisuke Yoshida, Akiko Tsukahara, Mark E. Haacke, Makoto Sasaki, Hiroki Shirato	Non-invasive measurement of oxygen saturation in the spinal vein using SWI: Quantitative evaluation under conditions of physiological and caffeine load.	NeuroImage	2011	DBLP DOI BibTeX RDF
1	Kathrin Peter, Gisela Lanza	Company-specific quantitative evaluation of lean production methods.	Production Engineering	2011	DBLP DOI BibTeX RDF
1	Debashis Sen, Sankar K. Pal	Automatic Exact Histogram Specification for Contrast Enhancement and Visual System Based Quantitative Evaluation.	IEEE Transactions on Image Processing	2011	DBLP DOI BibTeX RDF
1	Andreea Iancu, Bogdan Popescu, Marius Brezovan, Eugen Ganea	Quantitative Evaluation of Color Image Segmentation Algorithms.	IJCSA	2011	DBLP BibTeX RDF
1	Itebeddine Ghorbel, Florence Rossant, Isabelle Bloch, Sarah Tick, Michel Pâques	Automated segmentation of macular layers in OCT images and quantitative evaluation of performances.	Pattern Recognition	2011	DBLP DOI BibTeX RDF
1	Oleksii Baranovskyi	Content - Monitoring as a new trend in quantitative evaluation of changes in social processes.	IDAACS	2011	DBLP DOI BibTeX RDF
1	Jie Chen 0009, Yu Li, Xianzhong Wen, Chunsheng Li	Quantitative evaluation for compact polarimetric SAR image reconstruction based on information-theoretic analysis.	IGARSS	2011	DBLP DOI BibTeX RDF
1	Heiko Desruelle, Dieter Blomme, Frank Gielen	Adaptive Mobile Web Applications: A Quantitative Evaluation Approach.	ICWE	2011	DBLP DOI BibTeX RDF
1	Junhua Zhang, Jing Wang, Xiaoteng Liang, Shaomei Zhang, Shengtao Zang	Study of Quantitative Evaluation of the Effect of Prestack Noise Attenuation on Angle Gather.	CSEE	2011	DBLP DOI BibTeX RDF
1	Yoko Nishihara, Yukio Ohsawa	Quantitative Evaluation Method of Criticism in Value Creating Conversation.	KES	2011	DBLP DOI BibTeX RDF
1	Khalil Niazmand, Karin Tonn, Anastasios Kalaras, Urban M. Fietzek, Jan-Hinnerk Mehrkens, Tim C. Lueth	Quantitative evaluation of Parkinson's disease using sensor based smart glove.	CBMS	2011	DBLP DOI BibTeX RDF
1	Raghavendra U., Krishnamoorthi Makkithaya, Karunakar A. K.	Qualitative and Quantitative Evaluation of Correlation Based Stereo Matching Algorithms.	ADCONS	2011	DBLP DOI BibTeX RDF
1	Lassi A. Liikkanen, Matti M. Hämäläinen, Anders Häggman, Tua Björklund, Mikko P. Koskinen	Quantitative Evaluation of the Effectiveness of Idea Generation in the Wild.	HCI	2011	DBLP DOI BibTeX RDF
1	Hitoshi Masaki, Masao Ohira, Hidetake Uwano, Ken-ichi Matsumoto	A Quantitative Evaluation on the Software Use Experience with Electroencephalogram.	HCI	2011	DBLP DOI BibTeX RDF
1	Hongtao Jiang, Wei Qi, Qimei Liao, Haitao Zhao, Wei Lei, Li Guo, Hongbing Lu	Quantitative Evaluation of Lumbar Disc Herniation Based on MRI Image.	Abdominal Imaging	2011	DBLP DOI BibTeX RDF
1		Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011	QEST	2011	DBLP BibTeX RDF
1	Ivan Cabezas, María Trujillo	A Non-linear Quantitative Evaluation Approach for Disparity Estimation - Pareto Dominance Applied in Stereo Vision.	VISAPP	2011	DBLP BibTeX RDF
1	Mohamad Kassab, Ghizlane El-Boussaidi, Hafedh Mili	A Quantitative Evaluation of the Impact of Architectural Patterns on Quality Requirements.	SERA (selected papers)	2011	DBLP DOI BibTeX RDF
1	Soharab Hossain Shaikh, Asis Kumar Maiti, Nabendu Chaki	On Creation of Reference Image for Quantitative Evaluation of Image Thresholding Method.	CISIM	2011	DBLP DOI BibTeX RDF
1	Marianna Apidianaki, Tim Van de Cruys	A Quantitative Evaluation of Global Word Sense Induction.	CICLing	2011	DBLP DOI BibTeX RDF
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	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	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	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