The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/qest

Publication years (Num. hits)
2004 (46) 2005 (38) 2006 (54) 2007 (40) 2008 (46) 2009 (42) 2010 (42) 2011 (33) 2012 (32) 2013 (33) 2014 (32) 2015 (21) 2016 (25) 2017 (25) 2018 (26) 2019 (22)
Publication types (Num. hits)
inproceedings(541) proceedings(16)
Venues (Conferences, Journals, ...)
QEST(557)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 193 occurrences of 142 keywords

Results
Found 557 publication records. Showing 557 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1André Platzer The Logical Path to Autonomous Cyber-Physical Systems. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Marin, Carla Piazza, Sabina Rossi A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gerrit Großmann, Luca Bortolussi Reducing Spreading Processes on Networks to Markov Population Models. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastian Biewer, Pedro D'Argenio, Holger Hermanns Doping Tests for Cyber-Physical Systems. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Viraj Brian Wijesuriya, Alessandro Abate Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvio Gilberto Amparore, Peter Buchholz 0001, Susanna Donatelli Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Mikkel Hansen, Kim Guldstrand Larsen Model Checking Constrained Markov Reward Models with Uncertainties. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Parker 0001, Verena Wolf (eds.) Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Tomás Brázdil, Krishnendu Chatterjee, Jan Kretínský, Christoph H. Lampert, Viktor Toman Strategy Representation by Decision Trees with Linear Classifiers. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto End-User Probabilistic Programming. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Julia Eisentraut, Jan Kretínský Expected Cost Analysis of Attack-Defense Trees. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo Fast Falsification of Hybrid Systems Using Probabilistically Adaptive Input. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate Safety Guarantees for the Electricity Grid with Significant Renewables Generation. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin UTOPIC: Under-Approximation Through Optimal Control. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Francesca Cairoli Bayesian Abstraction of Markov Population Models. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arnault Ioualalen, Matthieu Martel Neural Network Precision Tuning. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuliya Butkova, Arnd Hartmanns, Holger Hermanns A Modest Approach to Modelling and Checking Markov Automata. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gildas Kouko, Josée Desharnais, François Laviolette Finite Approximation of LMPs for Exact Verification of Reachability Properties. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chunyan Mu Automated Game-Theoretic Verification of Security Systems. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pranav Ashok, Jan Kretínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Borzoo Bonakdarpour HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Bacci 0001, Mikkel Hansen, Kim Guldstrand Larsen On the Verification of Weighted Kripke Structures Under Uncertainty. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dimitrios Milios, Guido Sanguinetti, David Schnoerr Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe Model Checking for Safe Navigation Among Humans. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1B. Maryam Elahi, Carey Williamson On Saturation Effects in Coupled Speed Scaling. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Marin, Isi Mitrani, B. Maryam Elahi, Carey Williamson Control and Optimization of the SRPT Service Policy by Frequency Scaling. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos Automated Verification of Concurrent Stochastic Games. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi A Robust Genetic Algorithm for Learning Temporal Specifications from Data. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario Hospital Inventory Management Through Markov Decision Processes @runtime. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ratan Lal, Pavithra Prabhakar Bounded Verification of Reachability of Probabilistic Hybrid Systems. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Annabelle McIver, Andras Horvath (eds.) Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Meike Nauta, Doina Bucur, Mariëlle Stoelinga LIFT: Learning Fault Trees from Observational Data. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova Parameter-Independent Strategies for pMDPs via POMDPs. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hongfei Fu 0001, Yi Li, Jianlin Li Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael J. Rausch, Ahmed M. Fawaz, Ken Keefe, William H. Sanders Modeling Humans: A General Agent Model for the Evaluation of Security. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yaping Jing, Andrew S. Miner Action and State Based Computation Tree Measurement Language and Algorithms. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Marin, Sabina Rossi, Matteo Sottana Biased Processor Sharing in Fork-Join Queues. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Piho, Jane Hillston Policy Synthesis for Collective Dynamics. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Richard Schumi How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001 On the Additive Capacity Problem for Quantitative Information Flow. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Gainer, Ernst Moritz Hahn, Sven Schewe Incremental Verification of Parametric and Reconfigurable Markov Chains. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carmen Cheh, Binbin Chen, William G. Temple, William H. Sanders Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chen Li 0009, Taghreed Altamimi, Mana Hassanzadeh Zargari, Giuliano Casale, Dorina C. Petriu Tulsa: A Tool for Transforming UML to Layered Queueing Networks for Performance Analysis of Data Intensive Applications. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher 0001 Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvio Gilberto Amparore, Susanna Donatelli alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marijn R. Jongerden, Boudewijn R. Haverkort Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michalis Michaelides, Jane Hillston, Guido Sanguinetti Statistical Abstraction for Multi-scale Spatio-Temporal Systems. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Loïc Hélouët, Hervé Marchand On the Cost of Diagnosis with Disambiguation. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pushpak Jagtap, Majid Zamani QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Armin Zimmermann Modelling and Performance Evaluation with TimeNET 4.4. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee Quantitative Model Checking for a Smart Grid Pricing. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nathalie Bertrand 0001, Luca Bortolussi (eds.) Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Radu Calinescu, Milan Ceska Jr., Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Armin Zimmermann, Thomas Hotz, Andrés Canabal Lavista A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Cyrille Jégourel, Jun Sun 0001, Jin Song Dong Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anicet Bart, Benoît Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet Reachability in Parametric Interval Markov Chains Using Constraints. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paul D. Ezhilchelvan, Isi Mitrani Multi-class Resource Sharing with Batch Arrivals and Complete Blocking. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michalis Michaelides, Dimitrios Milios, Jane Hillston, Guido Sanguinetti Property-Driven State-Space Coarsening for Continuous Time Markov Chains. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja Inferring Covariances for Probabilistic Programs. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jan Kriege, Peter Buchholz 0001 Traffic Modeling with Phase-Type Distributions and VARMA Processes. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Misikir Eyob Gebrehiwot, Samuli Aalto, Pasi E. Lassila Energy-Aware Server with SRPT Scheduling: Analysis and Optimization. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael J. Rausch, Brett Feddersen, Ken Keefe, William H. Sanders A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate Data-Efficient Bayesian Verification of Parametric Markov Chains. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Luca Bortolussi, Tomás Brázdil, Dimitrios Milios, Guido Sanguinetti Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrea Marin, Sabina Rossi Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan Haar, Simon Theissing Decoupling Passenger Flows for Improved Load Prediction. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Simonetta Balsamo, Andrea Marin, Ivan Stojic Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Cheng Feng 0004, Jane Hillston, Daniël Reijsbergen Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benoît Barbot, Nicolas Basset, Marc Beunardeau, Marta Kwiatkowska Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvio Gilberto Amparore, Susanna Donatelli Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanni Neglia, Sara Alouf, Abdulhalim Dandoush, Sébastien Simoens, Pierre Dersin, Alina Tuholukova, Jérôme Billion, Pascal Derouet Performance Evaluation of Train Moving-Block Control. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter Buchholz 0001, Tugrul Dayar, Jan Kriege, M. Can Orhan Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jane Hillston, Michele Loreti CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Javier Esparza, Philipp Hoffmann, Ratul Saha Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw, Rolando Trujillo-Rasua Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Huaming Wu, William J. Knottenbelt, Katinka Wolter, Yi Sun An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Andrea Turrini Exploiting Robust Optimization for Interval Probabilistic Bisimulation. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sofie Haesaert, Alessandro Abate, Paul M. J. Van den Hof Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gul Agha, Benny Van Houdt (eds.) Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Steffen Bondorf, Jens B. Schmitt Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses. Search on Bibsonomy QEST The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Bortolussi, Dimitrios Milios, Guido Sanguinetti U-Check: Model Checking and Parameter Synthesis Under Uncertainty. Search on Bibsonomy QEST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ulya Bayram, Kristin Yvonne Rozier, Eric William Davis Rozier Characterizing Data Dependence Constraints for Dynamic Reliability Using N-Queens Attack Domains. Search on Bibsonomy QEST The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 557 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license