Volgen
Peter T. Breuer
Peter T. Breuer
Independent Researcher
Geverifieerd e-mailadres voor hecusys.com - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Formal Semantics for VHDL
C Delgado Kloos, PT Breuer
Kluwer Academic Publishers, 1995
153*1995
The enhanced network block device
PT Breuer, A Marín Lopez, A García Ares
Linux Journal 73, 2000
1032000
Creating specifications from code: Reverse‐engineering techniques
PT Breuer, K Lano
Journal of Software Maintenance: Research and Practice 3 (3), 145-162, 1991
94*1991
Towards correct executable semantics for Z
PT Breuer, JP Bowen
Z User Workshop, Cambridge, 185-209, 1994
801994
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
702013
Reverse‐engineering cobol via formal methods
K Lano, PT Breuer, H Haughton
Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993
511993
A prettier compiler‐compiler: Generating higher‐order parsers in C
PT Breuer, JP Bowen
Software: Practice and Experience 25 (11), 1263-1297, 1995
481995
From programs to Z specifications
KC Lano, PT Breuer
Z User Workshop, Oxford, 46-70, 1989
48*1989
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
471995
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
412002
A compendium of formal techniques for software maintenance
JP Bowen, PT Breuer, KC Lano
Software Engineering Journal 8 (5), 253-262, 1993
391993
Static deadlock detection in the Linux kernel
PT Breuer, M Garcia Valls
Reliable Software Technologies-Ada-Europe 2004, 52-64, 2004
362004
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
331993
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
281994
Typed assembler for a RISC crypto-processor
PT Breuer, JP Bowen
ESSoS '12 International Symposium on Engineering Secure Software and Systems …, 2012
272012
A Practical Encrypted Microprocessor
PT Breuer, JP Bowen, E Palomar, Z Liu
13th International Conference on Security and Cryptography (SECRYPT 2016 …, 2016
252016
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
251997
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
242006
Decompilation
JP Bowen, PT Breuer
The REDO compendium, 131-138, 1993
231993
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20