ISTA Research Explorer

Bernhard Kragl

Henzinger_Thomas Group

11 Publications

[11]

2021 | Conference Paper | IST-REx-ID: 10688 |

Kragl B, Qadeer S. The Civl verifier. In: Ruzica P, Whalen MW, eds. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. Vol 2. TU Wien Academic Press; 2021:143–152. doi:10.34727/2021/isbn.978-3-85448-046-4_23

[Published Version] View | Files available | DOI

[10]

2020 | Conference Paper | IST-REx-ID: 7348 |

Ferrere T, Henzinger TA, Kragl B. Monitoring event frequencies. In: 28th EACSL Annual Conference on Computer Science Logic. Vol 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2020. doi:10.4230/LIPIcs.CSL.2020.20

[Published Version] View | Files available | DOI | arXiv

[9]

2020 | Conference Paper | IST-REx-ID: 8195 |

Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14

[Published Version] View | Files available | DOI | WoS

[8]

2020 | Conference Paper | IST-REx-ID: 8012 |

Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. Inductive sequentialization of asynchronous programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:227-242. doi:10.1145/3385412.3385980

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

[7]

2020 | Thesis | IST-REx-ID: 8332 |

Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332

[Published Version] View | Files available | DOI

[6]

2018 | Conference Paper | IST-REx-ID: 133 |

Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.21

[Published Version] View | Files available | DOI

[5]

2018 | Conference Paper | IST-REx-ID: 160 |

Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102. doi:10.1007/978-3-319-96145-3_5

[Published Version] View | Files available | DOI | WoS

[4]

2017 | Technical Report | IST-REx-ID: 6426 |

Henzinger TA, Kragl B, Qadeer S. Synchronizing the Asynchronous. IST Austria; 2017. doi:10.15479/AT:IST-2018-853-v2-2

[Published Version] View | Files available | DOI

[3]

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

Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11

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

[2]

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

Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: Cassez F, Raskin J-F, eds. ATVA 2014. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14

[Submitted Version] View | Files available | DOI

[1]

2013 | Conference Paper | IST-REx-ID: 2237 |

Blanc R, Gupta A, Kovács L, Kragl B. Tree interpolation in Vampire. 2013;8312:173-181. doi:10.1007/978-3-642-45221-5_13

[Submitted Version] View | Files available | DOI

11 Publications

Mark all

[11]

2021 | Conference Paper | IST-REx-ID: 10688 |

[Published Version] View | Files available | DOI

[10]

2020 | Conference Paper | IST-REx-ID: 7348 |

[Published Version] View | Files available | DOI | arXiv

[9]

2020 | Conference Paper | IST-REx-ID: 8195 |

Kragl B, Qadeer S, Henzinger TA. Refinement for structured concurrent programs. In: Computer Aided Verification. Vol 12224. Springer Nature; 2020:275-298. doi:10.1007/978-3-030-53288-8_14

[Published Version] View | Files available | DOI | WoS

[8]

2020 | Conference Paper | IST-REx-ID: 8012 |

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

[7]

2020 | Thesis | IST-REx-ID: 8332 |

Kragl B. Verifying concurrent programs: Refinement, synchronization, sequentialization. 2020. doi:10.15479/AT:ISTA:8332

[Published Version] View | Files available | DOI

[6]

2018 | Conference Paper | IST-REx-ID: 133 |

Kragl B, Qadeer S, Henzinger TA. Synchronizing the asynchronous. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.21

[Published Version] View | Files available | DOI

[5]

2018 | Conference Paper | IST-REx-ID: 160 |

Kragl B, Qadeer S. Layered Concurrent Programs. In: Vol 10981. Springer; 2018:79-102. doi:10.1007/978-3-319-96145-3_5

[Published Version] View | Files available | DOI | WoS

[4]

2017 | Technical Report | IST-REx-ID: 6426 |

Henzinger TA, Kragl B, Qadeer S. Synchronizing the Asynchronous. IST Austria; 2017. doi:10.15479/AT:IST-2018-853-v2-2

[Published Version] View | Files available | DOI

[3]

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

Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. Faster algorithms for weighted recursive state machines. In: Yang H, ed. Vol 10201. Springer; 2017:287-313. doi:10.1007/978-3-662-54434-1_11

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

[2]

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

Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: Cassez F, Raskin J-F, eds. ATVA 2014. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14

[Submitted Version] View | Files available | DOI

[1]

2013 | Conference Paper | IST-REx-ID: 2237 |

Blanc R, Gupta A, Kovács L, Kragl B. Tree interpolation in Vampire. 2013;8312:173-181. doi:10.1007/978-3-642-45221-5_13

[Submitted Version] View | Files available | DOI

Bernhard Kragl

11 Publications

Search

Filter Publications

Display / Sort

Export / Embed

11 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Bernhard Kragl

11 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

11 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options