| Checking Software Component Interfaces |
Arindam Chakrabarti Krishnendu Chatterjee Orna Kupferman |
| The Giotto Programming Language: Scheduling Theory and Helicopter Implementation | Benjamin Horowitz |
| Time Safety Analysis of Embedded Programs |
Christoph Kirsch Marco Sanvido Slobodan Matic |
| Interface Synthesis and Verification |
Roberto Passerone Jerry Burch Luca de Alfaro |
| Software Verification with BLAST |
Ranjit Jhala Rupak Majumdar |
| Approximate Refinement for Hybrid Systems |
Arkadeb Ghosal Marcin Jurdzinski Rupak Majumdar Vinayak Prabhu |