 | 2008 |
|---|
| 34 |       | Peter T. Breuer,
Simon Pickin:
Approximate verification in an open source world.
ISSE 4(1): 87-105 (2008) |
| 2007 |
|---|
| 33 | | Peter T. Breuer,
Simon Pickin:
Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects.
SEW 2007: 246-255 |
| 2006 |
|---|
| 32 | | Peter T. Breuer,
Simon Pickin:
One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code.
Ada-Europe 2006: 56-70 |
| 31 | | Peter T. Breuer,
Simon Pickin:
Verification in the Large via Symbolic Approximation.
ISoLA 2006: 408-415 |
| 30 | | Peter T. Breuer,
Simon Pickin:
Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.
International Conference on Computational Science (4) 2006: 765-772 |
| 29 | | Peter T. Breuer,
Simon Pickin,
María M. Larrondo-Petrie:
Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source.
SEW 2006: 223-233 |
| 28 | | Peter T. Breuer,
Simon Pickin:
Symbolic approximation: an approach to verification in the large.
ISSE 2(3-4): 147-163 (2006) |
| 27 | | Peter T. Breuer,
Marisol García-Valls:
Raiding the Noosphere: the open development of networked RAID support for the Linux kernel.
Softw., Pract. Exper. 36(4): 365-395 (2006) |
| 2005 |
|---|
| 26 | | Peter T. Breuer,
Arne Wiebalck:
Dependable Networked RAID for the Open Source Community.
ICPADS (1) 2005: 627-633 |
| 25 |  | Peter T. Breuer,
Arne Wiebalck:
Intelligent Networked Software RAID.
Parallel and Distributed Computing and Networks 2005: 517-522 |
| 2004 |
|---|
| 24 | | Peter T. Breuer,
Marisol García-Valls:
Static Deadlock Detection in the Linux Kernel.
Ada-Europe 2004: 52-64 |
| 2003 |
|---|
| 23 | | Vicente Luque Centeno,
Carlos Delgado Kloos,
Peter T. Breuer,
Luis Sánchez Fernández,
Ma. Eugenia Gonzalo Cabellos,
Juan Antonio Herráiz Pérez:
Automation of the Deep Web with User Defined Behaviours.
AWIC 2003: 339-348 |
| 22 | | Arne Wiebalck,
Peter T. Breuer,
Volker Lindenstruth,
Timm M. Steinbeck:
Fault-Tolerant Distributed Mass Storage for LHC Computing.
CCGRID 2003: 266- |
| 21 | | Peter T. Breuer:
A Formal Model for the Block Device Subsystem of the Linux Kernel.
ICFEM 2003: 599-619 |
| 20 | | Vicente Luque Centeno,
Luis Sánchez Fernández,
Carlos Delgado Kloos,
Peter T. Breuer,
Fernando Paniagua Martín:
Building Wrapper Agents for the Deep Web.
ICWE 2003: 58-67 |
| 19 | | Vicente Luque Centeno,
Peter T. Breuer,
Luis Sánchez Fernández,
Carlos Delgado Kloos,
Juan Antonio Herráiz Pérez:
MSC-based Language for Specifying Automated Web Clients.
ISCC 2003: 407-412 |
| 2002 |
|---|
| 18 | | Peter T. Breuer,
Carlos Delgado Kloos,
Vicente Luque Centeno,
Luis Sánchez Fernández:
Higher Order Applicative XML Documents.
RISSEF 2002: 91-107 |
| 2001 |
|---|
| 17 | | Celeste Campo,
Andrés Marín López,
Arturo García,
Ignacio Díaz,
Peter T. Breuer,
Carlos Delgado Kloos,
Carlos García:
JCCM: Flexible Certificates for Smartcards with Java Card.
E-smart 2001: 34-42 |
| 1999 |
|---|
| 16 | | Peter T. Breuer,
Natividad Martínez Madrid,
Jonathan P. Bowen,
Robert B. France,
Maria M. Larrondo-Petrie,
Carlos Delgado Kloos:
Reasoning about VHDL and VHDL-AMS using Denotational Semantics.
DATE 1999: 346-352 |
| 1998 |
|---|
| 15 | | Peter T. Breuer,
Natividad Martínez Madrid,
Carlos Delgado Kloos:
The Computational Description of Analogue System Behaviour.
Prospects for Hardware Foundations 1998: 309-332 |
| 1997 |
|---|
| 14 | | Natividad Martínez Madrid,
Peter T. Breuer,
Carlos Delgado Kloos:
A semantic model for VHDL-AMS.
CHARME 1997: 106-123 |
| 13 | | Peter T. Breuer,
Carlos Delgado Kloos,
Andrés Marín López,
Natividad Martínez Madrid,
Luis Sánchez Fernández:
A Refinement Calculus for the Synthesis of Verified Hardware Descriptions in VHDL.
ACM Trans. Program. Lang. Syst. 19(4): 585-616 (1997) |
| 1995 |
|---|
| 12 | | Peter T. Breuer,
Natividad Martínez Madrid:
A native process algebra for VHDL.
EURO-DAC 1995: 420-426 |
| 11 | | Peter T. Breuer,
Luis Sánchez Fernández,
Carlos Delgado Kloos:
A Simple Denotational Semantics, Proof Theory and a Validation Condition Generator for Unit-Delay VHDL.
Formal Methods in System Design 7(1/2): 27-51 (1995) |
| 10 | | Peter T. Breuer,
Jonathan P. Bowen:
A PREttier Compiler-Compiler: Generating Higher-order Parsers in C.
Softw., Pract. Exper. 25(11): 1263-1297 (1995) |
| 1994 |
|---|
| 9 | | Peter T. Breuer,
Luis Sánchez Fernández,
Carlos Delgado Kloos:
Clean formal semantics for VHDL.
EDAC-ETC-EUROASIC 1994: 641-647 |
| 8 | | Luis Sánchez Fernández,
Peter T. Breuer,
Carlos Delgado Kloos:
Proof theory and a validation condition generator for VHDL.
EURO-DAC 1994: 512-517 |
| 7 | | Peter T. Breuer,
Luis Sánchez,
Carlos Delgado Kloos:
Proving Hardware Designs.
ICLP 1994: 745 |
| 6 | | Peter T. Breuer,
Jonathan P. Bowen:
Towards Correct Executable Semantics for Z.
Z User Workshop 1994: 185-209 |
| 5 | | Peter T. Breuer,
Jonathan P. Bowen:
Decompilation: The Enumeration of Types and Grammars.
ACM Trans. Program. Lang. Syst. 16(5): 1613-1647 (1994) |
| 1992 |
|---|
| 4 | | Peter T. Breuer:
The Art of Computer Un-Programming: Reverse Engineering in Prolog.
Logic Programming Summer School 1992: 290-302 |
| 3 | | Peter T. Breuer,
Jonathan P. Bowen:
Decompilation is the Efficient Enumeration of Types.
WSA 1992: 255-273 |
| 1991 |
|---|
| 2 | | Peter T. Breuer:
An Analysis/Synthesis Language with Learning Strategies.
JTASPEFT/WSA 1991: 202-209 |
| 1990 |
|---|
| 1 | | Peter T. Breuer:
Z! in Progress: Maintaining Z Specifications.
Z User Workshop 1990: 295-318 |
