19
Publications
469
Citations
13
H-Index
1998
Active since
Michael Gössel is an author at University of Potsdam specializing in formal methods, engineering, and computer engineering.
Top concepts
EngineeringComputer EngineeringComputer ScienceFormal MethodsHardware SecurityComputer ArchitectureFormal VerificationVerificationSoftware TestingProgram Analysis
Publications per year
1998–2014
19
19
On-Line Error Detection for Bit-Serial Multipliers in GF(2m)
S.T.J. Fenn, Michael Gössel, Mohammed Benaissa et al. · Journal of Electronic Testing · 1998 · 60 citations
New self-checking circuits by use of Berger-codes
Alexandre V. Morozov, V.V. Saposhnikov, V.V. Saposhnikov et al. · 2002 · 46 citations
Synthesis of low-cost parity-based partially self-checking circuits
Kartik Mohanram, E.S. Sogomonyan, Michael Gössel et al. · 2004 · 41 citations
Rows per page
1–5 of 19