Bernhard Kragl

Henzinger_Thomas Group

11 Publications

Mark all

[11]
2021 | Published | Conference Paper | IST-REx-ID: 10688 | OA
Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152.
[Published Version] View | Files available | DOI
 
[10]
2020 | Published | Conference Paper | IST-REx-ID: 8012 | OA
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
[9]
2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
[Published Version] View | Files available | DOI | WoS
 
[8]
2020 | Published | Thesis | IST-REx-ID: 8332 | OA
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
[7]
2020 | Published | Conference Paper | IST-REx-ID: 7348 | OA
Ferrere T, Henzinger TA, Kragl B. 2020. Monitoring event frequencies. 28th EACSL Annual Conference on Computer Science Logic. CSL: Computer Science Logic, LIPIcs, vol. 152, 20.
[Published Version] View | Files available | DOI | arXiv
 
[6]
2018 | Published | Conference Paper | IST-REx-ID: 133 | OA
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.
[Published Version] View | Files available | DOI
 
[5]
2018 | Published | Conference Paper | IST-REx-ID: 160 | OA
Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.
[Published Version] View | Files available | DOI | WoS
 
[4]
2017 | Published | Technical Report | IST-REx-ID: 6426 | OA
Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.
[Published Version] View | Files available | DOI
 
[3]
2017 | Published | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201, 287–313.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
[2]
2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 185–200.
[Submitted Version] View | Files available | DOI
 
[1]
2013 | Published | Conference Paper | IST-REx-ID: 2237 | OA
Blanc R, Gupta A, Kovács L, Kragl B. 2013. Tree interpolation in Vampire. 8312, 173–181.
[Submitted Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed

Grants


11 Publications

Mark all

[11]
2021 | Published | Conference Paper | IST-REx-ID: 10688 | OA
Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152.
[Published Version] View | Files available | DOI
 
[10]
2020 | Published | Conference Paper | IST-REx-ID: 8012 | OA
Kragl B, Enea C, Henzinger TA, Mutluergil SO, Qadeer S. 2020. Inductive sequentialization of asynchronous programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 227–242.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
[9]
2020 | Published | Conference Paper | IST-REx-ID: 8195 | OA
Kragl B, Qadeer S, Henzinger TA. 2020. Refinement for structured concurrent programs. Computer Aided Verification. , LNCS, vol. 12224, 275–298.
[Published Version] View | Files available | DOI | WoS
 
[8]
2020 | Published | Thesis | IST-REx-ID: 8332 | OA
Kragl B. 2020. Verifying concurrent programs: Refinement, synchronization, sequentialization. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
[7]
2020 | Published | Conference Paper | IST-REx-ID: 7348 | OA
Ferrere T, Henzinger TA, Kragl B. 2020. Monitoring event frequencies. 28th EACSL Annual Conference on Computer Science Logic. CSL: Computer Science Logic, LIPIcs, vol. 152, 20.
[Published Version] View | Files available | DOI | arXiv
 
[6]
2018 | Published | Conference Paper | IST-REx-ID: 133 | OA
Kragl B, Qadeer S, Henzinger TA. 2018. Synchronizing the asynchronous. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 118, 21.
[Published Version] View | Files available | DOI
 
[5]
2018 | Published | Conference Paper | IST-REx-ID: 160 | OA
Kragl B, Qadeer S. 2018. Layered Concurrent Programs. CAV: Computer Aided Verification, LNCS, vol. 10981, 79–102.
[Published Version] View | Files available | DOI | WoS
 
[4]
2017 | Published | Technical Report | IST-REx-ID: 6426 | OA
Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.
[Published Version] View | Files available | DOI
 
[3]
2017 | Published | Conference Paper | IST-REx-ID: 1011 | OA
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201, 287–313.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
[2]
2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta A, Kovács L, Kragl B, Voronkov A. 2014. Extensional crisis and proving identity. ATVA 2014. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 8837, 185–200.
[Submitted Version] View | Files available | DOI
 
[1]
2013 | Published | Conference Paper | IST-REx-ID: 2237 | OA
Blanc R, Gupta A, Kovács L, Kragl B. 2013. Tree interpolation in Vampire. 8312, 173–181.
[Submitted Version] View | Files available | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed