Max Thalmaier

According to our database, Max Thalmaier authored at least 8 papers between 2008 and 2021.

Collaborative distances:

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

2021

A 336 Gbit/s Full-Parallel Window Decoder for Spatially Coupled LDPC Codes.

Matthias Herrmann, Norbert Wehn, Max Thalmaier, Markus Fehrenz, Timo Lehnigk-Emden, Matthias Alles

Proceedings of the Joint European Conference on Networks and Communications & 6G Summit, 2021

2011

Invariantengenerierung für die Verifikation von System-on-Chip-Protokollimplementierungen.

Max Thalmaier

PhD thesis, 2011

2010

Analyzing k-step induction to compute invariants for SAT-based property checking.

Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

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

Analyzing <i>k</i>-step induction to compute invariants for SAT-based property checking.

Max Thalmaier, Minh D. Nguyen, Markus Wedler, Dominik Stoffel, Jörg Bormann, Wolfgang Kunz

Proceedings of the 47th Design Automation Conference, 2010

2009

A Re-Use Methodology for SoC Protocol Compliance Verification.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

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

A re-use methodology for formal SoC protocol compliance verification.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Jörg Bormann

Proceedings of the Forum on specification and Design Languages, 2009

Acceleration of RSA Cryptographic Operations Using FPGA Technology.

Jan Zutter, Max Thalmaier, Martin Klein, Karsten-Olaf Laux

Proceedings of the Database and Expert Systems Applications, 2009

2008

Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.

Minh D. Nguyen, Max Thalmaier, Markus Wedler, Jörg Bormann, Dominik Stoffel, Wolfgang Kunz

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008