dblp.uni-trier.dewww.uni-trier.de

Peter T. Breuer Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
34EEPeter T. Breuer, Simon Pickin: Approximate verification in an open source world. ISSE 4(1): 87-105 (2008)
2007
33EEPeter 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
32EEPeter 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
31EEPeter T. Breuer, Simon Pickin: Verification in the Large via Symbolic Approximation. ISoLA 2006: 408-415
30EEPeter 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
29EEPeter 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
28EEPeter T. Breuer, Simon Pickin: Symbolic approximation: an approach to verification in the large. ISSE 2(3-4): 147-163 (2006)
27EEPeter 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
26EEPeter 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
24EEPeter T. Breuer, Marisol García-Valls: Static Deadlock Detection in the Linux Kernel. Ada-Europe 2004: 52-64
2003
23EEVicente 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
22EEArne Wiebalck, Peter T. Breuer, Volker Lindenstruth, Timm M. Steinbeck: Fault-Tolerant Distributed Mass Storage for LHC Computing. CCGRID 2003: 266-
21EEPeter T. Breuer: A Formal Model for the Block Device Subsystem of the Linux Kernel. ICFEM 2003: 599-619
20EEVicente 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
19EEVicente 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
18EEPeter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández: Higher Order Applicative XML Documents. RISSEF 2002: 91-107
2001
17EECeleste 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
16EEPeter 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
15EEPeter 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
13EEPeter 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
12EEPeter 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
8EELuis 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
5EEPeter 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

Coauthor Index

1Jonathan P. Bowen [3] [5] [6] [10] [16]
2Ma. Eugenia Gonzalo Cabellos [23]
3Celeste Campo [17]
4Vicente Luque Centeno [18] [19] [20] [23]
5Ignacio Díaz [17]
6Luis Sánchez Fernández [8] [9] [11] [13] [18] [19] [20] [23]
7Robert B. France [16]
8Arturo García [17]
9Carlos García [17]
10Marisol García-Valls [24] [27]
11Carlos Delgado Kloos [7] [8] [9] [11] [13] [14] [15] [16] [17] [18] [19] [20] [23]
12María M. Larrondo-Petrie (Maria M. Larrondo-Petrie) [16] [29]
13Volker Lindenstruth [22]
14Andrés Marín López [13] [17]
15Natividad Martínez Madrid [12] [13] [14] [15] [16]
16Fernando Paniagua Martín [20]
17Juan Antonio Herráiz Pérez [19] [23]
18Simon Pickin [28] [29] [30] [31] [32] [33] [34]
19Luis Sánchez [7]
20Timm M. Steinbeck [22]
21Arne Wiebalck [22] [25] [26]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)