The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter T. Breuer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter T. Breuer, Marisol García-Valls
    Static Deadlock Detection in the Linux Kernel. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2004, pp:52-64 [Conf]
  2. Peter T. Breuer, Simon Pickin
    One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2006, pp:56-70 [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    AWIC, 2003, pp:339-348 [Conf]
  4. Arne Wiebalck, Peter T. Breuer, Volker Lindenstruth, Timm M. Steinbeck
    Fault-Tolerant Distributed Mass Storage for LHC Computing. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2003, pp:266-0 [Conf]
  5. Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos
    A semantic model for VHDL-AMS. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:106-123 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    DATE, 1999, pp:346-352 [Conf]
  7. Celeste Campo, Andrés Marm, Arturo García, Ignacio Díaz, Peter T. Breuer, Carlos Delgado Kloos, Carlos García
    JCCM: Flexible Certificates for Smartcards with Java Card. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:34-42 [Conf]
  8. Peter T. Breuer, Luis Sánchez Fernández, Carlos Delgado Kloos
    Clean formal semantics for VHDL. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:641-647 [Conf]
  9. Peter T. Breuer, Simon Pickin
    Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (4), 2006, pp:765-772 [Conf]
  10. Peter T. Breuer
    A Formal Model for the Block Device Subsystem of the Linux Kernel. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:599-619 [Conf]
  11. Peter T. Breuer, Luis Sánchez, Carlos Delgado Kloos
    Proving Hardware Designs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:745- [Conf]
  12. Peter T. Breuer, Arne Wiebalck
    Dependable Networked RAID for the Open Source Community. [Citation Graph (0, 0)][DBLP]
    ICPADS (1), 2005, pp:627-633 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    ICWE, 2003, pp:58-67 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    ISCC, 2003, pp:407-412 [Conf]
  15. Peter T. Breuer
    The Art of Computer Un-Programming: Reverse Engineering in Prolog. [Citation Graph (0, 0)][DBLP]
    Logic Programming Summer School, 1992, pp:290-302 [Conf]
  16. Peter T. Breuer, Natividad Martínez Madrid, Carlos Delgado Kloos
    The Computational Description of Analogue System Behaviour. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:309-332 [Conf]
  17. Peter T. Breuer, Arne Wiebalck
    Intelligent Networked Software RAID. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Networks, 2005, pp:517-522 [Conf]
  18. Peter T. Breuer, Carlos Delgado Kloos, Vicente Luque Centeno, Luis Sánchez Fernández
    Higher Order Applicative XML Documents. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:91-107 [Conf]
  19. Peter T. Breuer
    An Analysis/Synthesis Language with Learning Strategies. [Citation Graph (0, 0)][DBLP]
    JTASPEFT/WSA, 1991, pp:202-209 [Conf]
  20. Peter T. Breuer, Jonathan P. Bowen
    Decompilation is the Efficient Enumeration of Types. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:255-273 [Conf]
  21. Peter T. Breuer
    Z! in Progress: Maintaining Z Specifications. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1990, pp:295-318 [Conf]
  22. Peter T. Breuer, Jonathan P. Bowen
    Towards Correct Executable Semantics for Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1994, pp:185-209 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:223-233 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1995, v:7, n:1/2, pp:27-51 [Journal]
  25. Peter T. Breuer, Jonathan P. Bowen
    A PREttier Compiler-Compiler: Generating Higher-order Parsers in C. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:11, pp:1263-1297 [Journal]
  26. Peter T. Breuer, Marisol García-Valls
    Raiding the Noosphere: the open development of networked RAID support for the Linux kernel. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2006, v:36, n:4, pp:365-395 [Journal]
  27. Peter T. Breuer, Jonathan P. Bowen
    Decompilation: The Enumeration of Types and Grammars. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1613-1647 [Journal]
  28. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:4, pp:585-616 [Journal]

  29. A native process algebra for VHDL. [Citation Graph (, )][DBLP]


  30. Proof theory and a validation condition generator for VHDL. [Citation Graph (, )][DBLP]


  31. Verification in the Large via Symbolic Approximation. [Citation Graph (, )][DBLP]


  32. Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. [Citation Graph (, )][DBLP]


Search in 0.067secs, Finished in 0.068secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002