Peter T. Breuer

Cited by

	All	Since 2019
Citations	1727	254
h-index	21	8
i10-index	45	8

140

105

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 8 7 18 24 52 53 73 63 75 64 54 32 66 34 40 70 45 71 50 73 31 43 25 36 81 73 28 43 41 47 134 16 26 36 18 24

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Carlos Delgado KloosUniversidad Carlos III de MadridVerified email at it.uc3m.es
LUIS SANCHEZ FERNANDEZUniversidad Carlos III de MadridVerified email at it.uc3m.es
Kevin LanoDept. of Informatics, King's College LondonVerified email at kcl.ac.uk
Natividad Martínez MadridReutlingen UniversityVerified email at ieee.org
Andres Marin LopezAssociate Professor of Telematics, University Carlos III of Madrid, Leganes, SpainVerified email at it.uc3m.es
Esther PalomarUniversity of AlcalaVerified email at uah.es
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaVerified email at swu.edu.cn
Carlos García-RubioUniversidad Carlos III de MadridVerified email at it.uc3m.es
Vicente Luque CentenoLecturer (UC3M)Verified email at it.uc3m.es
Celeste CampoAssociate ProfessorVerified email at it.uc3m.es
Marisol García VallsCatedrática de Universidad (Full Professor) - Universitat Politècnica de ValènciaVerified email at dcom.upv.es
howard haughtonMD Holistic Risk Solutions and Kings College LondonVerified email at kcl.ac.uk
Jan MaciejowskiUniversity of CambridgeVerified email at cam.ac.uk
Robert FranceProfessor of Computer Science, Colorado State UniversityVerified email at cs.colostate.edu
Liliana Patricia Santacruz ValenciaUniversidad Rey Juan CarlosVerified email at urjc.es
Volker LindenstruthProfessorVerified email at compeng.de
Fernando Paniagua MartínUniversidad Carlos III de MadridVerified email at inf.uc3m.es
Luis S. BarbosaProfessor of Computer Science, Universidade do MinhoVerified email at di.uminho.pt
Antonio CeroneNazarbayev UniversityVerified email at nu.edu.kz

Peter T. Breuer

Independent Researcher

Verified email at hecusys.com - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Formal Semantics for VHDL C Delgado Kloos, PT Breuer Kluwer Academic Publishers, 1995	150*	1995
The enhanced network block device PT Breuer, A Marín Lopez, A García Ares Linux Journal 73, 2000	122	2000
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
Towards correct executable semantics for Z PT Breuer, JP Bowen Z User Workshop, Cambridge, 185-209, 1994	83	1994
Decompilation: the enumeration of types and grammars PT Breuer, JP Bowen ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (5), 1613-1647, 1994	74	1994
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	72	2013
Reverse‐engineering cobol via formal methods K Lano, PT Breuer, H Haughton Journal of Software Maintenance: Research and Practice 5 (1), 13-35, 1993	57	1993
A prettier compiler‐compiler: Generating higher‐order parsers in C PT Breuer, JP Bowen Software: Practice and Experience 25 (11), 1263-1297, 1995	48	1995
From programs to Z specifications KC Lano, PT Breuer Z User Workshop, Oxford, 46-70, 1989	47*	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	44	1995
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	43	2002
A compendium of formal techniques for software maintenance JP Bowen, PT Breuer, KC Lano Software Engineering Journal 8 (5), 253-262, 1993	41	1993
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	40	1993
Static deadlock detection in the Linux kernel PT Breuer, M Garcia Valls Reliable Software Technologies-Ada-Europe 2004, 52-64, 2004	36	2004
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	28	1994
Typed assembler for a RISC crypto-processor PT Breuer, JP Bowen ESSoS '12 International Symposium on Engineering Secure Software and Systems …, 2012	27	2012
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	27	1997
A Practical Encrypted Microprocessor PT Breuer, JP Bowen, E Palomar, Z Liu 13th International Conference on Security and Cryptography (SECRYPT 2016 …, 2016	26	2016
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	25	2006
Decompilation JP Bowen, PT Breuer The REDO compendium, 131-138, 1993	23	1993

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors