×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
peter-breuer documents
Education
Static Deadlock Detection in the Linux Kernel (RST 2004)
Technology
Open Source Verification under a Cloud (OpenCert 2010)
Technology
Correctness of a Secret Computer (ESSoS '13)
Education
Tutorial: Formal Methods for Hardware Verification - Overview and Application to VDHL
Education
NetRAID for the Linux Kernel (UKUUG/LISA WCHAR 2004)
Technology
Better up front: Generating parsers in ANSI C (FreeSoft '95)
Data & Analytics
Empirical Patterns in Google Scholar Citation Counts (CyberPatterns 2014)
Technology
Towards a working fully homomorpic crypto-processor (ESSoS 2014)
Technology
Soundness and Completeness of the NRB verification logic (OpenCert 2013)
Technology
Certifying (RISC) Machine Code Safe from Aliasing (OpenCert 2013)
Technology
An algebra for VHDL with signal attributes (APCHDL '95)
Education
The mixed-signal modelling language VHDL-AMS and its semantics (ICNACSA 1999)
Technology
Higher Order Applicative XML (Monterey 2002)
Technology
A Formal Model of the Block Device Subsystem of the Linux Kernel (ICFEM 2003)
Technology
Raiding the Noosphere
Technology
One million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (RST 2006)
Technology
Abstract Interpretation meets model checking near the 1000000 LOC mark: Finding errors in the Linux Kernel Source (AVIS '06)
Technology
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source (SEW 30)
Technology
Checking for Deadlock, Double Free, and Other Abuses in the Linux Kernel Source Code Tree (CSSSE '06)
Science
Avoiding Hardware Aliasing
Documents
The Stuttgart TV Tower — displacement of the top caused by the effects of sun and wind
Next >