Martin Freibothe

According to our database, Martin Freibothe authored at least 7 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Towards Automatic Property Generation for the Formal Verification of Bus Bridges.

Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Automatic property generation for the formal verification of bus bridges.

Mathias Soeken, Ulrich Kühne, Martin Freibothe, Görschwin Fey, Rolf Drechsler

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2008

Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking.

Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann

Theor. Comput. Sci., 2008

2006

Modellierung des dynamischen Verhaltens nichtlinearer analoger Komponenten für die semi-formale Mixed-Signal-Verifikation.

Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Verification-Oriented Behavioral Modeling of Non-Linear Analog.

Martin Freibothe, Jens Döge, Torsten Coym, Stefan Ludwig, Bernd Straube, Ernst Kock

Proceedings of the Forum on specification and Design Languages, 2006

2005

Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking.

Martin Freibothe, Jens Schönherr, Bernd Straube

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

2004

Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.

Martin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004