Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Automated formal reasoning about amazon web services (keynote) | 0 | 0.34 | 2017 |
| Finding heap-bounds for hardware synthesis | 16 | 0.73 | 2009 |
| Summarization for termination: no return! | 14 | 0.91 | 2009 |
| Software engineering and formal methods | 19 | 1.10 | 2008 |
| Preface and Foreword | 0 | 0.34 | 2007 |
| Over-Approximating Boolean Programs with Unbounded Thread Creation | 7 | 0.52 | 2006 |