ISTA Research Explorer

Przemyslaw Daca

Henzinger_Thomas Group

15 Publications

[15]

2017 | Journal Article | IST-REx-ID: 471 |

Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 2017;18(2). doi:10.1145/3060139

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

[14]

2017 | Conference Paper | IST-REx-ID: 645 |

Ashok P, Chatterjee K, Daca P, Kretinsky J, Meggendorfer T. Value iteration for long run average reward in markov decision processes. In: Majumdar R, Kunčak V, eds. Vol 10426. Springer; 2017:201-221. doi:10.1007/978-3-319-63387-9_10

[Submitted Version] View | DOI | Download Submitted Version (ext.)

[13]

2017 | Thesis | IST-REx-ID: 1155 |

Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730

[Published Version] View | Files available | DOI

[12]

2016 | Conference Paper | IST-REx-ID: 1093 |

Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.20

[Published Version] View | Files available | DOI

[11]

2016 | Conference Paper | IST-REx-ID: 1234 |

Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi:10.1007/978-3-662-49674-9_7

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[10]

2016 | Conference Paper | IST-REx-ID: 1230 |

Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[9]

2016 | Conference Paper | IST-REx-ID: 1391 |

Daca P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi:10.1007/978-3-319-41540-6_13

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[8]

2015 | Conference Paper | IST-REx-ID: 1502 |

Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:10.1145/2737166.2737175

[Submitted Version] View | Files available | DOI

[7]

2015 | Journal Article | IST-REx-ID: 1501 |

Chatterjee K, Chmelik M, Daca P. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 2015;47(2):230-264. doi:10.1007/s10703-015-0235-2

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[6]

2014 | Technical Report | IST-REx-ID: 5411 |

Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional Specifications for IOCO Testing. IST Austria; 2014. doi:10.15479/AT:IST-2014-148-v2-1

[Published Version] View | Files available | DOI

[5]

2014 | Technical Report | IST-REx-ID: 5413 |

Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2

[Published Version] View | Files available | DOI

[4]

2014 | Technical Report | IST-REx-ID: 5414 |

Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v3-1

[Published Version] View | Files available | DOI

[3]

2014 | Technical Report | IST-REx-ID: 5412 |

Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1

[Published Version] View | Files available | DOI

[2]

2014 | Conference Paper | IST-REx-ID: 2167 |

Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for IOCO testing. In: IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE; 2014. doi:10.1109/ICST.2014.50

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[1]

2014 | Conference Paper | IST-REx-ID: 2063

Chatterjee K, Chmelik M, Daca P. CEGAR for qualitative analysis of probabilistic systems. In: Vol 8559. Springer; 2014:473-490. doi:10.1007/978-3-319-08867-9_31

View | Files available | DOI

15 Publications

Mark all

[15]

2017 | Journal Article | IST-REx-ID: 471 |

Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 2017;18(2). doi:10.1145/3060139

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

[14]

2017 | Conference Paper | IST-REx-ID: 645 |

[Submitted Version] View | DOI | Download Submitted Version (ext.)

[13]

2017 | Thesis | IST-REx-ID: 1155 |

Daca P. Statistical and logical methods for property checking. 2017. doi:10.15479/AT:ISTA:TH_730

[Published Version] View | Files available | DOI

[12]

2016 | Conference Paper | IST-REx-ID: 1093 |

Daca P, Henzinger TA, Kretinsky J, Petrov T. Linear distances between Markov chains. In: Vol 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2016. doi:10.4230/LIPIcs.CONCUR.2016.20

[Published Version] View | Files available | DOI

[11]

2016 | Conference Paper | IST-REx-ID: 1234 |

Daca P, Henzinger TA, Kretinsky J, Petrov T. Faster statistical model checking for unbounded temporal properties. In: Vol 9636. Springer; 2016:112-129. doi:10.1007/978-3-662-49674-9_7

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[10]

2016 | Conference Paper | IST-REx-ID: 1230 |

Daca P, Gupta A, Henzinger TA. Abstraction-driven concolic testing. In: Vol 9583. Springer; 2016:328-347. doi:10.1007/978-3-662-49122-5_16

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[9]

2016 | Conference Paper | IST-REx-ID: 1391 |

Daca P, Henzinger TA, Kupriyanov A. Array folds logic. In: Vol 9780. Springer; 2016:230-248. doi:10.1007/978-3-319-41540-6_13

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[8]

2015 | Conference Paper | IST-REx-ID: 1502 |

Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:10.1145/2737166.2737175

[Submitted Version] View | Files available | DOI

[7]

2015 | Journal Article | IST-REx-ID: 1501 |

[Preprint] View | Files available | DOI | Download Preprint (ext.)

[6]

2014 | Technical Report | IST-REx-ID: 5411 |

Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional Specifications for IOCO Testing. IST Austria; 2014. doi:10.15479/AT:IST-2014-148-v2-1

[Published Version] View | Files available | DOI

[5]

2014 | Technical Report | IST-REx-ID: 5413 |

Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v2-2

[Published Version] View | Files available | DOI

[4]

2014 | Technical Report | IST-REx-ID: 5414 |

Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v3-1

[Published Version] View | Files available | DOI

[3]

2014 | Technical Report | IST-REx-ID: 5412 |

Chatterjee K, Daca P, Chmelik M. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria; 2014. doi:10.15479/AT:IST-2014-153-v1-1

[Published Version] View | Files available | DOI

[2]

2014 | Conference Paper | IST-REx-ID: 2167 |

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

[1]

2014 | Conference Paper | IST-REx-ID: 2063

Chatterjee K, Chmelik M, Daca P. CEGAR for qualitative analysis of probabilistic systems. In: Vol 8559. Springer; 2014:473-490. doi:10.1007/978-3-319-08867-9_31

View | Files available | DOI

Przemyslaw Daca

15 Publications

Search

Filter Publications

Display / Sort

Export / Embed

15 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Przemyslaw Daca

15 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

15 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options