Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th QEST 2017: Berlin, Germany
- Nathalie Bertrand
, Luca Bortolussi:
Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings. Lecture Notes in Computer Science 10503, Springer 2017, ISBN 978-3-319-66334-0
Probabilistic Modelling
- Vijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan:
Extending Parikh's Theorem to Weighted and Probabilistic Context-Free Grammars. 3-19 - Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario:
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. 20-35 - Elvio Gilberto Amparore, Susanna Donatelli:
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). 36-51
Smart Energy Systems over the Cloud (Special Session)
- YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee:
Quantitative Model Checking for a Smart Grid Pricing. 55-71 - Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate:
Aggregated Markov Models of a Heterogeneous Population of Photovoltaic Panels. 72-87 - Marijn R. Jongerden, Boudewijn R. Haverkort:
Battery Aging, Battery Charging and the Kinetic Battery Model: A First Exploration. 88-103
Petri Nets and Performance Modelling
- Armin Zimmermann, Thomas Hotz, Andrés Canabal Lavista:
A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri Nets. 107-122 - Marco 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. 123-139 - Loïc Hélouët, Hervé Marchand:
On the Cost of Diagnosis with Disambiguation. 140-156 - Paul D. Ezhilchelvan, Isi Mitrani:
Multi-class Resource Sharing with Batch Arrivals and Complete Blocking. 157-169
Parametric Verification
- Anicet Bart, Benoît Delahaye, Didier Lime, Éric Monfroy, Charlotte Truchet:
Reachability in Parametric Interval Markov Chains Using Constraints. 173-189 - Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák:
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. 190-206 - Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini:
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes. 207-223 - Paul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher:
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking. 224-239
Machine Learning and Formal Methods (Special Session)
- Michalis Michaelides, Jane Hillston, Guido Sanguinetti:
Statistical Abstraction for Multi-scale Spatio-Temporal Systems. 243-258 - Elizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate:
Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. 259-274 - Carmen Cheh, Binbin Chen, William G. Temple, William H. Sanders:
Data-Driven Model-Based Detection of Malicious Insiders via Physical Access Logs. 275-291
Tools
- Chen Li, 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. 295-299 - Armin Zimmermann:
Modelling and Performance Evaluation with TimeNET 4.4. 300-303 - Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. 304-308 - Pushpak Jagtap, Majid Zamani:
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. 309-313
Statistical Model Checking
- Ludovica 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. 317-332 - Cyrille Jégourel, Jun Sun, Jin Song Dong:
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking. 333-350 - Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan:
Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems. 351-367
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 21:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
