| Using lightweight formal methods to validate a key-value storage node in Amazon S3 J Bornholt, R Joshi, V Astrauskas, B Cully, B Kragl, S Markle, K Sauri, ... Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021 | 95 | 2021 |
| Inductive Sequentialization of Asynchronous Programs B Kragl, C Enea, TA Henzinger, SO Mutluergil, S Qadeer PLDI 2020 (41st ACM SIGPLAN Conference on Programming Language Design and …, 2020 | 41 | 2020 |
| Synchronizing the Asynchronous B Kragl, S Qadeer, TA Henzinger CONCUR 2018 (29th International Conference on Concurrency Theory), 2018 | 41 | 2018 |
| Layered Concurrent Programs B Kragl, S Qadeer CAV 2018 (30th International Conference on Computer Aided Verification), 2018 | 36 | 2018 |
| Extensional Crisis and Proving Identity A Gupta, L Kovács, B Kragl, A Voronkov ATVA 2014 (12th International Symposium on Automated Technology for …, 2014 | 23 | 2014 |
| Tree Interpolation in Vampire R Blanc, A Gupta, L Kovács, B Kragl LPAR 2013 (19th International Conference on Logic for Programming …, 2013 | 23 | 2013 |
| The Civl Verifier B Kragl, S Qadeer FMCAD 2021 (Formal Methods in Computer-Aided Design), 2021 | 18 | 2021 |
| Refinement for Structured Concurrent Programs B Kragl, S Qadeer, TA Henzinger CAV 2020 (32nd International Conference on Computer Aided Verification), 2020 | 18 | 2020 |
| Monitoring Event Frequencies T Ferrère, TA Henzinger, B Kragl CSL 2020 (28th EACSL Annual Conference on Computer Science Logic), 2020 | 10 | 2020 |
| Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization B Kragl | 3 | 2020 |
| Faster Algorithms for Weighted Recursive State Machines K Chatterjee, B Kragl, S Mishra, A Pavlogiannis ESOP 2017 (26th European Symposium on Programming), 2017 | 3 | 2017 |
| Verifikation Nebenläufiger Programme B Kragl Ausgezeichnete Informatikdissertationen 2020, 189-198, 2021 | | 2021 |
| 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) V Cortier, A Dawar, A Jeż, D Kesner, E Bonelli, A Viso, I Tzameret, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020 | | 2020 |
| 29th International Conference on Concurrency Theory (CONCUR 2018) MY Vardi, Y Deng, R van Glabbeek, A Polyakov, MH Tsai, BY Wang, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
| Reasoning in first-order theories with extensionality B Kragl | | 2014 |
| Verifikation Nebenläufiger Programme: Verfeinerung, Synchronisation, Sequenziellisierung1 B Kragl | | |
Shaz QadeerMicrosoft確認したメール アドレス: microsoft.com
