Peter Breuer

5 Followers

11 SlideShares 5 Followers 10 Folgens

11 SlideShares 5 Followers 10 Folgens

Peter Breuer (that's me!) is a mathematician, engineer and computer scientist. This page collects together some of the papers and ongoing projects that I naively think might be of interest to passers-by. As you can see, I'm more interested in substance than window dressing/awards for organizational skills! Do contact me if there's anything you see here that you'd like to converse about. The page at http://birmingham.academia.edu/PeterBreuer is where you'll find almost all of my past publications, including those posted here, plus some nearly-papers from the future (under `drafts' and `notes')!

computer science formal methods linux kernel open source verification software engineering computer security vhdl vhdl-ams programming languages web patterns statistics citations encryption process algebra hardware specification xml abstract interpretation high availability software process certification software development process homomorphic encryption processor design

Aktivität
Info

Open Source Verification under a Cloud (OpenCert 2010)

Vor 10 Jahren • 318 Aufrufe

Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source (SEW 30)

Vor 10 Jahren • 596 Aufrufe

Abstract Interpretation meets model checking near the 1000000 LOC mark: Finding errors in the Linux Kernel Source (AVIS '06)

Vor 10 Jahren • 367 Aufrufe

Raiding the Noosphere

Vor 10 Jahren • 306 Aufrufe

Higher Order Applicative XML (Monterey 2002)

Vor 10 Jahren • 304 Aufrufe

The mixed-signal modelling language VHDL-AMS and its semantics (ICNACSA 1999)

Vor 10 Jahren • 612 Aufrufe

A Semantic Model for VHDL-AMS (CHARME '97)

Vor 10 Jahren • 570 Aufrufe

Tutorial: Formal Methods for Hardware Verification - Overview and Application to VDHL

Vor 10 Jahren • 656 Aufrufe

Certifying (RISC) Machine Code Safe from Aliasing (OpenCert 2013)

Vor 10 Jahren • 269 Aufrufe

Empirical Patterns in Google Scholar Citation Counts (CyberPatterns 2014)

Vor 10 Jahren • 543 Aufrufe

Avoiding Hardware Aliasing

Vor 9 Jahren • 462 Aufrufe

Peter Breuer (that's me!) is a mathematician, engineer and computer scientist. This page collects together some of the papers and ongoing projects that I naively think might be of interest to passers-by. As you can see, I'm more interested in substance than window dressing/awards for organizational skills! Do contact me if there's anything you see here that you'd like to converse about. The page at http://birmingham.academia.edu/PeterBreuer is where you'll find almost all of my past publications, including those posted here, plus some nearly-papers from the future (under `drafts' and `notes')!

computer science formal methods linux kernel open source verification software engineering computer security vhdl vhdl-ams programming languages web patterns statistics citations encryption process algebra hardware specification xml abstract interpretation high availability software process certification software development process homomorphic encryption processor design