Martin Freibothe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2011
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | DDECS | Automatic property generation for the formal verification of bus bridges. | Mathias Soeken, Ulrich Khne, Martin Freibothe, Grschwin Fey, Rolf Drechsler |
| 2006 | FDL | Verification-Oriented Behavioral Modeling of Non-Linear Analog. | Martin Freibothe, Jens Dge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock |
| 2004 | ISoLA | Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. | Martin Freibothe, Jens Schnherr, Bernd Straube, Jrg Bormann |