Przemyslaw Daca

18 papers A* 1A 2B 2Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2020 — conf
Statistical Model Checking: Black or White?
ISoLA (1)
Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger
2019 J jnl
Compositional Specifications for ioco Testing.
CoRR
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2017 J jnl
Faster Statistical Model Checking for Unbounded Temporal Properties.
ACM Trans. Comput. Log.
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2017 — conf
Value Iteration for Long-Run Average Reward in Markov Decision Processes.
CAV (1)
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
2017 J jnl
Value Iteration for Long-run Average Reward in Markov Decision Processes.
CoRR
Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer
2016 B conf
Abstraction-driven Concolic Testing.
VMCAI
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
2016 — conf
Array Folds Logic.
CAV (2)
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov
2016 J jnl
Array Folds Logic.
CoRR
Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov
2016 A conf
Faster Statistical Model Checking for Unbounded Temporal Properties.
TACAS
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2016 B conf
Linear Distances between Markov Chains.
CONCUR
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2016 J jnl
Linear Distances between Markov Chains.
CoRR
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2015 J jnl
Abstraction-driven Concolic Testing.
CoRR
Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger
2015 J jnl
CEGAR for compositional analysis of qualitative properties in Markov decision processes.
Formal Methods Syst. Des.
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2015 — conf
Complete Composition Operators for IOCO-Testing Theory.
CBSE
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic
2015 J jnl
Faster Statistical Model Checking for Unbounded Temporal Properties.
CoRR
Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov
2014 A* conf
CEGAR for Qualitative Analysis of Probabilistic Systems.
CAV
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2014 J jnl
CEGAR for Qualitative Analysis of Probabilistic Systems.
CoRR
Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca
2014 A conf
Compositional Specifications for ioco Testing.
ICST
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic