| Code-Level Model Checking In The Software Development Workflow At Amazon Web Services | 0 | 0.34 | 2021 |
| Model Checking Boot Code From Aws Data Centers | 0 | 0.34 | 2021 |
| Code-level model checking in the software development workflow | 3 | 0.40 | 2020 |
| CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). | 0 | 0.34 | 2019 |
| CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). | 1 | 0.36 | 2019 |
| Effective Verification for Low-Level Software with Competing Interrupts. | 1 | 0.48 | 2018 |
| Model Checking Boot Code From Aws Data Centers | 5 | 0.43 | 2018 |
| Tests from Witnesses - Execution-Based Validation of Verification Results. | 3 | 0.38 | 2018 |
| Concurrent Program Verification with Invariant-Guided Underapproximation. | 0 | 0.34 | 2017 |
| v2c - A Verilog to C Translator. | 3 | 0.40 | 2016 |
| Assisted Coverage Closure. | 0 | 0.34 | 2016 |
| smid: A Black-Box Program Driver. | 0 | 0.34 | 2016 |
| Closure properties and complexity of rational sets of regular languages | 0 | 0.34 | 2015 |
| Learning the Language of Error. | 5 | 0.45 | 2015 |
| Effective verification of low-level software with nested interrupts | 8 | 0.52 | 2015 |
| Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory | 47 | 1.46 | 2014 |
| Reusing Information in Multi-Goal Reachability Analyses. | 0 | 0.34 | 2014 |
| CBMC - C Bounded Model Checker - (Competition Contribution). | 15 | 0.73 | 2014 |
| Partial orders for efficient bounded model checking of concurrent software | 66 | 1.81 | 2013 |
| Partial Orders for Efficient BMC of Concurrent Software | 3 | 0.43 | 2013 |
| Software verification for weak memory via program transformation | 51 | 1.32 | 2013 |
| Information reuse for multi-goal reachability analyses | 11 | 0.51 | 2013 |
| On the Structure and Complexity of Rational Sets of Regular Languages | 2 | 0.36 | 2013 |
| PINCETTE: validating changes and upgrades in networked software | 0 | 0.34 | 2013 |
| Herding Cats. | 0 | 0.34 | 2013 |
| Proving Reachability Using FShell - (Competition Contribution). | 1 | 0.35 | 2012 |
| Numeric bounds analysis with conflict-driven learning | 28 | 0.86 | 2012 |
| satabs: A Bit-Precise Verifier for C Programs - (Competition Contribution). | 1 | 0.36 | 2012 |
| Counterexample-guided abstraction refinement for symmetric concurrent programs | 12 | 0.57 | 2012 |
| Soundness of data flow analyses for weak memory models | 9 | 0.56 | 2011 |
| Improving the Confidence in Measurement-Based Timing Analysis | 7 | 0.48 | 2011 |
| Making software verification tools really work | 10 | 0.67 | 2011 |
| Seamless testing for models and code | 5 | 0.48 | 2011 |
| How did you specify your test suite | 15 | 0.58 | 2010 |
| An introduction to test specification in FQL | 6 | 0.44 | 2010 |
| Seamless model-driven development put into practice | 2 | 0.38 | 2010 |
| Timely Time Estimates | 2 | 0.38 | 2010 |
| Short Regular Expressions from Finite Automata: Empirical Results | 2 | 0.36 | 2009 |
| Query-Driven Program Testing | 20 | 0.73 | 2009 |
| FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement | 31 | 1.10 | 2008 |
| Navigating the Requirements Jungle | 1 | 0.40 | 2008 |
| Optimizing Automatic Deployment Using Non-functional Requirement Annotations | 12 | 0.64 | 2008 |
| Automatic generation of systemc models from component-based designs for early design validation and performance analysis | 3 | 0.42 | 2008 |
| A Benchmarking Suite for Measurement-Based WCET Analysis Tools | 1 | 0.38 | 2008 |
| Compatibility and reuse in component-based systems via type and unit inference | 7 | 0.69 | 2007 |
| Tool-support for the analysis of hybrid systems and models | 25 | 1.23 | 2007 |
| Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers | 1 | 0.37 | 2007 |
