Peter T. Breuer
Peter T. Breuer
Independent Researcher
Email verificata su hecusys.com - Home page
TitoloCitata daAnno
Formal Semantics for VHDL
C Delgado Kloos, PT Breuer
Kluwer Academic Publishers, 1995
130*1995
The enhanced network block device
PT Breuer, A Marín Lopez, A García Ares
Linux Journal 73, 2000
1052000
Creating specifications from code: Reverse‐engineering techniques
PT Breuer, K Lano
Journal of Software Maintenance: Research and Practice 3 (3), 145-162, 1991
901991
Towards correct executable semantics for Z
PT Breuer, JP Bowen
Z User Workshop, Cambridge, 185-209, 1994
771994
Decompilation: the enumeration of types and grammars
PT Breuer, JP Bowen
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1613-1647, 1994
731994
A Fully Homomorphic Crypto-Processor Design: Correctness of a Secret Computer
PT Breuer, JP Bowen
ESSOS'13: International Symposium on Engineering Secure Software and Systems …, 2013
63*2013
From programs to Z specifications
KC Lano, PT Breuer
Z User Workshop, Oxford, 46-70, 1989
47*1989
A prettier compiler‐compiler: Generating higher‐order parsers in C
PT Breuer, JP Bowen
Software: Practice and Experience 25 (11), 1263-1297, 1995
461995
Reverse‐engineering cobol via formal methods
K Lano, PT Breuer, H Haughton
Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993
461993
Service discovery in pervasive multi-agent systems
C Campo, A Marin, C Garcia Rubio, P Breuer
First International Joint Conference on Autonomous Agents and Multiagents …, 2002
392002
A compendium of formal techniques for software maintenance
JP Bowen, PT Breuer, KC Lano
Software Engineering Journal 8 (5), 253-262, 1993
331993
Static deadlock detection in the Linux kernel
PT Breuer, M Garcia Valls
Reliable Software Technologies-Ada-Europe 2004, 52-64, 2004
322004
A simple denotational semantics, proof theory and a validation condition generator for unit-delay VHDL
PT Breuer, L Sánchez Fernández, C Delgado Kloos
Formal Methods in System Design 7 (1), 27-51, 1995
301995
Typed assembler for a RISC crypto-processor
PT Breuer, JP Bowen
ESSoS '12 International Symposium on Engineering Secure Software and Systems …, 2012
262012
A clean formal semantics for VHDL
PT Breuer, L Sánchez Fernández, C Delgado Kloos
European Design and Test Conference (EDAC), 641-647, 1994
261994
Formal specifications in software maintenance: from code to Z++ and back again
JP Bowen, PT Breuer, KC Lano
Information and Software Technology 35 (11), 679-690, 1993
241993
A refinement calculus for the synthesis of verified hardware descriptions in VHDL
PT Breuer, C Delgado Kloos, A Marín López, N Martinez Madrid, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 19 (4), 586-616, 1997
231997
Decompilation
JP Bowen, PT Breuer
The REDO compendium, 131-138, 1993
221993
A Practical Encrypted Microprocessor
PT Breuer, JP Bowen, E Palomar, Z Liu
13th International Conference on Security and Cryptography (SECRYPT 2016 …, 2016
202016
One million (LOC) and counting: Static analysis for errors and vulnerabilities in the Linux kernel source code
PT Breuer, S Pickin
Reliable Software Technologies–Ada-Europe 2006, 56-70, 2006
202006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20