BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Italy
1 × Portugal
1 × Spain
Collaborated with:
C.D.Kloos J.P.Bowen S.Pickin M.García-Valls L.S.Fernández L.Sánchez N.M.Madrid R.B.France M.M.Larrondo-Petrie
Talks about:
vhdl (3) analysi (2) static (2) semant (2) kernel (2) linux (2) synthesi (1) strategi (1) decompil (1) deadlock (1)

Person: Peter T. Breuer

DBLP DBLP: Breuer:Peter_T=

Contributed to:

Ada-Europe 20062006
Ada-Europe 20042004
DATE 19991999
EDAC-ETC-EUROASIC 19941994
ICLP 19941994
WSA 19921992
JTASPEFL/WSA 19911991

Wrote 7 papers:

AdaEurope-2006-BreuerP #fault #kernel #linux #source code #static analysis
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code (PTB, SP), pp. 56–70.
AdaEurope-2004-BreuerG #concurrent #detection #kernel #linux
Static Deadlock Detection in the Linux Kernel (PTB, MGV), pp. 52–64.
DATE-1999-BreuerMBFLK #reasoning #semantics #using
Reasoning about VHDL and VHDL-AMS using Denotational Semantics (PTB, NMM, JPB, RBF, MMLP, CDK), pp. 346–352.
EDAC-1994-BreuerFK #semantics
Clean formal semantics for VHDL (PTB, LSF, CDK), pp. 641–647.
ICLP-1994-BreuerSK #design #hardware #proving
Proving Hardware Designs (PTB, LS, CDK), p. 745.
WSA-1992-BreuerB #decompiler #performance
Decompilation is the Efficient Enumeration of Types (PTB, JPB), pp. 255–273.
WSA-1991-Breuer #analysis #learning #synthesis
An Analysis/Synthesis Language with Learning Strategies (PTB), pp. 202–209.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.