No. Title Author Year
1 Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491) Filieri, Antonio et al. 2016
2 Model Checking and Strategy Synthesis for Stochastic Games: From Theory to Practice (Invited Talk) Kwiatkowska, Marta Z. 2016
3 Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) Kounev, Samuel et al. 2015
4 Parameter synthesis for probabilistic real-time systems (Invited Paper) Kwiatkowska, Marta 2015
5 Automated Verification of Quantitative Properties of Cardiac Pacemaker Software Kwiatkowska, Marta et al. 2014
6 Frontmatter, Table of Contents, Preface, Workshop Organization Turau, Volker et al. 2014
7 OASIcs, Volume 36, MCPS'14, Complete Volume Turau, Volker et al. 2014
8 10051 Abstracts Collection -- Quantitative and Qualitative Analysis of Network Protocols Jonsson, Bengt et al. 2010
9 10051 Executive Summary -- Quantitative and Qualitative Analysis of Network Protocols Jonsson, Bengt et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint Published by LZI