Max Thalmaier

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
A 336 Gbit/s Full-Parallel Window Decoder for Spatially Coupled LDPC Codes.
Proceedings of the Joint European Conference on Networks and Communications & 6G Summit, 2021

2011
Invariantengenerierung für die Verifikation von System-on-Chip-Protokollimplementierungen.
PhD thesis, 2011

2010
Analyzing k-step induction to compute invariants for SAT-based property checking.
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.
Proceedings of the 47th Design Automation Conference, 2010

2009
A Re-Use Methodology for SoC Protocol Compliance Verification.
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.
Proceedings of the Forum on specification and Design Languages, 2009

Acceleration of RSA Cryptographic Operations Using FPGA Technology.
Proceedings of the Database and Expert Systems Applications, 2009

2008
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008


  Loading...