Abstract is missing.
- Towards Proving Security in the Presence of Large Untrusted ComponentsJune Andronick, David Greenaway, Kevin Elphinstone. [doi]
- A Precise Memory Model for Low-Level Bounded Model CheckingCarsten Sinz, Stephan Falke, Florian Merz. [doi]
- Counterexample-Guided Abstraction Refinement for PLCsSebastian Biallas, Jörg Brauer, Stefan Kowalewski. [doi]
- Lyrebird - Assigning Meanings to MachinesDavid Cock. [doi]
- Typed Assembly Language for Implementing OS Kernels in SMP/Multi-Core Environments with InterruptsToshiyuki Maeda, Akinori Yonezawa. [doi]
- Verification of Stack Manipulation in the SCIP ProcessorJ. Aaron Pendergrass. [doi]
- Loop Refinement Using Octagons and SatisfiabilityVolker Kamin, Thomas Noll. [doi]
- Model-based Testing Without a Model: Assessing Portability in the Seattle TestbedJustin Cappos, Jonathan Jacky. [doi]
- dBug: Systematic Evaluation of Distributed SystemsJirí Simsa, Randy Bryant, Garth A. Gibson. [doi]
- Correctness Proofs for Device Drivers in Embedded SystemsJianjun Duan, John Regehr. [doi]