Martin Freibothe

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler
Towards Automatic Property Generation for the Formal Verification of Bus Bridges. MBMV (2011)
Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler
Automatic property generation for the formal verification of bus bridges. DDECS (2011)
Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann
Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking. Theor. Comput. Sci. 404 (3) (2008)
Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
Verification-Oriented Behavioral Modeling of Non-Linear Analog. FDL (2006)
Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock
Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation. MBMV (2006)
Martin Freibothe, Jens Schönherr, Bernd Straube
Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Martin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking. ISoLA (Preliminary proceedings) (2004)