- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c29 |      | Peter T. Breuer, Jonathan P. Bowen: A Fully Homomorphic Crypto-Processor Design. ESSoS 2013: 123-138 |
| 2012 | ||
| c28 | | |
| 2010 | ||
| j10 |  | Ernesto Damiani, Luis Barbosa, Peter T. Breuer, Claudio Agostino Ardagna: Special issue: Open Source Certification. Comput. Syst. Sci. Eng. 25(4) (2010) |
| j9 | | |
| j8 | | Peter T. Breuer, Simon Pickin: A formal nethod (a networked formal method). ISSE 6(4): 255-268 (2010) |
| 2008 | ||
| j7 | | Peter T. Breuer, Simon Pickin: Approximate verification in an open source world. ISSE 4(1): 87-105 (2008) |
| 2007 | ||
| c27 | | 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 | ||
| j6 | | Peter T. Breuer, Simon Pickin: Symbolic approximation: an approach to verification in the large. ISSE 2(3-4): 147-163 (2006) |
| j5 | | 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) |
| c26 | | 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 |
| c25 | | 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 |
| c24 | | Peter T. Breuer, Simon Pickin: Verification in the Large via Symbolic Approximation. ISoLA 2006: 408-415 |
| c23 | | 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 |
| 2005 | ||
| c22 | | Peter T. Breuer, Arne Wiebalck: Dependable Networked RAID for the Open Source Community. ICPADS (1) 2005: 627-633 |
| c21 | | Peter T. Breuer, Arne Wiebalck: Intelligent Networked Software RAID. Parallel and Distributed Computing and Networks 2005: 517-522 |
| 2004 | ||
| c20 | | Peter T. Breuer, Marisol García-Valls: Static Deadlock Detection in the Linux Kernel. Ada-Europe 2004: 52-64 |
| 2003 | ||
| c19 | | 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 |
| c18 | | Arne Wiebalck, Peter T. Breuer, Volker Lindenstruth, Timm M. Steinbeck: Fault-Tolerant Distributed Mass Storage for LHC Computing. CCGRID 2003: 266-273 |
| c17 | | Peter T. Breuer: A Formal Model for the Block Device Subsystem of the Linux Kernel. ICFEM 2003: 599-619 |
| c16 | | 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 |
| c15 | | 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 | ||
| c14 | | Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107 |
| 2001 | ||
| c13 | | 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 | ||
| c12 | | 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 | ||
| c11 | | 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 | ||
| j4 | | 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) |
| c10 | | Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos: A semantic model for VHDL-AMS. CHARME 1997: 106-123 |
| 1995 | ||
| j3 | | 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) |
| j2 | | Peter T. Breuer, Jonathan P. Bowen: A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. Softw., Pract. Exper. 25(11): 1263-1297 (1995) |
| c9 | | Peter T. Breuer, Natividad Martínez Madrid: A native process algebra for VHDL. EURO-DAC 1995: 420-426 |
| 1994 | ||
| j1 | | Peter T. Breuer, Jonathan P. Bowen: Decompilation: The Enumeration of Types and Grammars. ACM Trans. Program. Lang. Syst. 16(5): 1613-1647 (1994) |
| c8 | | 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 |
| c7 | | Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos: Clean formal semantics for VHDL. EDAC-ETC-EUROASIC 1994: 641-647 |
| c6 | | |
| c5 | | Peter T. Breuer, Jonathan P. Bowen: Towards Correct Executable Semantics for Z. Z User Workshop 1994: 185-209 |
| 1992 | ||
| c4 | | Peter T. Breuer: The Art of Computer Un-Programming: Reverse Engineering in Prolog. Logic Programming Summer School 1992: 290-302 |
| c3 | | Peter T. Breuer, Jonathan P. Bowen: Decompilation is the Efficient Enumeration of Types. WSA 1992: 255-273 |
| 1991 | ||
| c2 | | Peter T. Breuer: An Analysis/Synthesis Language with Learning Strategies. JTASPEFT/WSA 1991: 202-209 |
| 1990 | ||
| c1 | | |
Colors in the list of coauthors
Last update Fri May 24 15:37:18 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page