| Cloud-Scale Runtime Verification of Serverless Applications | 1 | 0.35 | 2021 |
| Building Scalable And Flexible Cluster Managers Using Declarative Programming | 0 | 0.34 | 2020 |
| Simple and precise static analysis of untrusted Linux kernel extensions | 2 | 0.37 | 2019 |
| Differential Datalog. | 0 | 0.34 | 2019 |
| Redleaf: Towards An Operating System For Safe And Verified Firmware | 0 | 0.34 | 2019 |
| Synthesizing Cluster Management Code For Distributed Systems | 1 | 0.35 | 2019 |
| Verifying Properties of Binarized Deep Neural Networks. | 13 | 0.54 | 2018 |
| System Programming in Rust: Beyond Safety | 1 | 0.51 | 2017 |
| Correct By Construction Networks Using Stepwise Refinement | 4 | 0.41 | 2017 |
| A Sat-Based Counterexample Guided Method For Unbounded Synthesis | 2 | 0.38 | 2016 |
| The 3rd Reactive Synthesis Competition (Syntcomp 2016): Benchmarks, Participants & Results | 2 | 0.38 | 2016 |
| The Second Reactive Synthesis Competition (Syntcomp 2015) | 5 | 0.39 | 2015 |
| From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis | 1 | 0.36 | 2015 |
| The First Reactive Synthesis Competition (SYNTCOMP 2014) | 5 | 0.43 | 2015 |
| Sat-Based Strategy Extraction In Reachability Games | 2 | 0.37 | 2015 |
| Optimizing Solution Quality in Synchronization Synthesis. | 0 | 0.34 | 2015 |
| Automatic verification of active device drivers | 3 | 0.37 | 2014 |
| Solving Games without Controllable Predecessor. | 7 | 0.50 | 2014 |
| Regression-Free Synthesis for Concurrency | 4 | 0.42 | 2014 |
| User-guided device driver synthesis | 2 | 0.37 | 2014 |
| File systems deserve verification too! | 10 | 0.54 | 2014 |
| Predicate abstraction for reactive synthesis | 7 | 0.49 | 2014 |
| Efficient synthesis for concurrency by semantics-preserving transformations | 19 | 0.67 | 2013 |
| Automatic Verification Of Message-Based Device Drivers | 1 | 0.35 | 2012 |
| What if you could actually trust your kernel? | 6 | 0.49 | 2011 |
| Improved device driver reliability through hardware verification reuse | 4 | 0.41 | 2011 |
| Static analysis of device drivers: we can do better! | 5 | 0.45 | 2011 |
| The road to trustworthy systems | 3 | 0.42 | 2010 |
| Improved device driver reliability through verification reuse | 1 | 0.35 | 2010 |
| The case for active device drivers | 10 | 0.51 | 2010 |
| Dingo: taming device drivers | 45 | 1.50 | 2009 |
| Automatic device driver synthesis with termite | 43 | 1.57 | 2009 |
| Formalising device driver interfaces | 3 | 0.44 | 2007 |
