|
Search the dblp DataBase
Sven Beyer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Sven Beyer, Chris Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. [Citation Graph (0, 0)][DBLP] CHARME, 2003, pp:51-65 [Conf]
- Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul
Towards the Formal Verification of Lower System Layers in Automotive Systems. [Citation Graph (0, 0)][DBLP] ICCD, 2005, pp:317-326 [Conf]
- Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
Putting it all together - Formal verification of the VAMP. [Citation Graph (0, 0)][DBLP] STTT, 2006, v:8, n:4-5, pp:411-430 [Journal]
Generating an Efficient Instruction Set Simulator from a Complete Property Suite. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|