Przemyslaw Daca
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2014–2020
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISoLA | Statistical Model Checking: Black or White? | Pranav Ashok, Przemyslaw Daca, Jan Kretnsk, Maximilian Weininger |
| 2017 | CAV | Value Iteration for Long-Run Average Reward in Markov Decision Processes. | Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretnsk, Tobias Meggendorfer |
| 2016 | CAV | Array Folds Logic. | Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov |
| 2016 | CONCUR | Linear Distances between Markov Chains. | Przemyslaw Daca, Thomas A. Henzinger, Jan Kretnsk, Tatjana Petrov |
| 2016 | TACAS | Faster Statistical Model Checking for Unbounded Temporal Properties. | Przemyslaw Daca, Thomas A. Henzinger, Jan Kretnsk, Tatjana Petrov |
| 2016 | VMCAI | Abstraction-driven Concolic Testing. | Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger |
| 2014 | CAV | CEGAR for Qualitative Analysis of Probabilistic Systems. | Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca |
| 2014 | ICST | Compositional Specifications for ioco Testing. | Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic |