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: Breuer:Peter_T=
Contributed to:
20062004
19991994
1994
19921991Wrote 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.