Seguir
Peter T. Breuer
Peter T. Breuer
Independent Researcher
Email confirmado em hecusys.com - Página inicial
Título
Citado por
Citado por
Ano
Formal Semantics for VHDL
C Delgado Kloos, PT Breuer
Kluwer Academic Publishers, 1995
147*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
93*1991
Measuring off-balance-sheet leverage
P Breuer
Journal of banking & finance 26 (2-3), 223-242, 2002
822002
Towards correct executable semantics for Z
PT Breuer, JP Bowen
Z User Workshop, Cambridge, 185-209, 1994
811994
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
722013
Decompilation: the enumeration of types and grammars
PT Breuer, JP Bowen
ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1613-1647, 1994
721994
Reverse‐engineering cobol via formal methods
K Lano, PT Breuer, H Haughton
Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993
541993
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
45*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
441995
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
381993
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
262016
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20