Przemyslaw Daca

According to our database, Przemyslaw Daca authored at least 10 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Statistical Model Checking: Black or White?

Pranav Ashok, Przemyslaw Daca, Jan Kretínský, Maximilian Weininger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2017

Faster Statistical Model Checking for Unbounded Temporal Properties.

Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov

ACM Trans. Comput. Log., 2017

Value Iteration for Long-Run Average Reward in Markov Decision Processes.

Pranav Ashok, Krishnendu Chatterjee, Przemyslaw Daca, Jan Kretínský, Tobias Meggendorfer

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Abstraction-driven Concolic Testing.

Przemyslaw Daca, Ashutosh Gupta, Thomas A. Henzinger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Linear Distances between Markov Chains.

Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Array Folds Logic.

Przemyslaw Daca, Thomas A. Henzinger, Andrey Kupriyanov

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

CEGAR for compositional analysis of qualitative properties in Markov decision processes.

Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca

Formal Methods Syst. Des., 2015

Complete Composition Operators for IOCO-Testing Theory.

Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

2014

Compositional Specifications for ioco Testing.

Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

CEGAR for Qualitative Analysis of Probabilistic Systems.

Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca

Proceedings of the Computer Aided Verification - 26th International Conference, 2014