Concepedia

Przemysław Daca

PD

2

Publications

47

Citations

2

H-Index

2015

Active since

Affiliations

Institute of Science and Technology Austria(Current)

Przemysław Daca is an author at Institute of Science and Technology Austria specializing in verification, systems engineering, and computer science.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringProbabilityComplex SystemsProgram Analysis

Publications per year

2015–2017

2

Publications

2

Faster Statistical Model Checking for Unbounded Temporal Properties

Przemysław Daca, Thomas A. Henzinger, Jan Křetínský et al. · ACM Transactions on Computational Logic · 2017 · 29 citations

Reachability Analysis, Engineering, Runtime Verification +14

Complete Composition Operators for IOCO-Testing Theory

Nikola Beneš, Przemysław Daca, Thomas A. Henzinger et al. · 2015 · 18 citations

Input-output Conformance, Engineering, Verification +20

Rows per page

1–2 of 2