| JBMC: A bounded model checking tool for verifying Java bytecode L Cordeiro, P Kesseli, D Kroening, P Schrammel, M Trtik International Conference on Computer Aided Verification, 183-190, 2018 | 126 | 2018 |
| Safety Verification and Refutation by k-invariants and k-induction M Brain, S Joshi, D Kroening, P Schrammel Static Analysis, 145-161, 2015 | 98 | 2015 |
| Abstract acceleration of general linear loops B Jeannet, P Schrammel, S Sankaranarayanan Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 94 | 2014 |
| 2LS for Program Analysis: (Competition Contribution) P Schrammel, D Kroening International Conference on Tools and Algorithms for the Construction and …, 2016 | 51 | 2016 |
| Sound static deadlock analysis for C/Pthreads D Kroening, D Poetzl, P Schrammel, B Wachter Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 49 | 2016 |
| Synthesising interprocedural bit-precise termination proofs (T) HY Chen, C David, D Kroening, P Schrammel, B Wachter 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 46 | 2015 |
| Incremental bounded model checking for embedded software P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller Formal Aspects of Computing 29 (5), 911-931, 2017 | 44 | 2017 |
| JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) LC Cordeiro, D Kroening, P Schrammel Tools and Algorithms for the Construction and Analysis of Systems - 25 Years …, 2019 | 42 | 2019 |
| Logico-numerical abstract acceleration and application to the verification of data-flow programs P Schrammel, B Jeannet International Static Analysis Symposium, 233-248, 2011 | 41 | 2011 |
| Effective verification of low-level software with nested interrupts D Kroening, L Liang, T Melham, P Schrammel, M Tautschnig 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 229-234, 2015 | 35 | 2015 |
| Abstract acceleration in linear relation analysis L Gonnord, P Schrammel Science of Computer Programming 93, 125-153, 2014 | 34 | 2014 |
| Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015 | 32 | 2015 |
| Parallel bug-finding in concurrent programs via reduced interleaving instances TL Nguyen, P Schrammel, B Fischer, S La Torre, G Parlato 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 28 | 2017 |
| Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration D Cattaruzza, A Abate, P Schrammel, D Kroening Static Analysis, 312-331, 2015 | 28* | 2015 |
| From hybrid data-flow languages to hybrid automata: A complete translation P Schrammel, B Jeannet Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 28 | 2012 |
| Bit-precise procedure-modular termination analysis HY Chen, C David, D Kroening, P Schrammel, B Wachter ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-38, 2017 | 26* | 2017 |
| Accelerated test execution using gpus A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 26 | 2014 |
| Chaining test cases for reactive system testing P Schrammel, T Melham, D Kroening IFIP International Conference on Testing Software and Systems, 133-148, 2013 | 20 | 2013 |
| Template-based verification of heap-manipulating programs V Malík, M Hruska, P Schrammel, T Vojnar 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018 | 19 | 2018 |
| Applying abstract acceleration to (co-) reachability analysis of reactive programs P Schrammel, B Jeannet Journal of Symbolic Computation 47 (12), 1512-1532, 2012 | 19 | 2012 |
Daniel KroeningAmazonVerified email at amazon.com
