×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents of peter-breuer
Static Deadlock Detection in the Linux Kernel (RST 2004)
472 views
Open Source Verification under a Cloud (OpenCert 2010)
176 views
Correctness of a Secret Computer (ESSoS '13)
192 views
Tutorial: Formal Methods for Hardware Verification - Overview and Application to VDHL
99 views
NetRAID for the Linux Kernel (UKUUG/LISA WCHAR 2004)
58 views
Better up front: Generating parsers in ANSI C (FreeSoft '95)
52 views
Empirical Patterns in Google Scholar Citation Counts (CyberPatterns 2014)
65 views
Towards a working fully homomorpic crypto-processor (ESSoS 2014)
159 views
Soundness and Completeness of the NRB verification logic (OpenCert 2013)
64 views
Certifying (RISC) Machine Code Safe from Aliasing (OpenCert 2013)
55 views
An algebra for VHDL with signal attributes (APCHDL '95)
63 views
A Semantic Model for VHDL-AMS (CHARME '97)
134 views
The mixed-signal modelling language VHDL-AMS and its semantics (ICNACSA 1999)
121 views
Higher Order Applicative XML (Monterey 2002)
50 views
A Formal Model of the Block Device Subsystem of the Linux Kernel (ICFEM 2003)
186 views
Raiding the Noosphere
48 views
One million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (RST 2006)
52 views
Abstract Interpretation meets model checking near the 1000000 LOC mark: Finding errors in the Linux Kernel Source (AVIS '06)
50 views
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source (SEW 30)
188 views
Checking for Deadlock, Double Free, and Other Abuses in the Linux Kernel Source Code Tree (CSSSE '06)
95 views
Next >