You can download this list as a single bib file. Send me an email if you need a paper that is not listed.
Publications
-
-
A formalization of the Berlekamp-Zassenhaus factorization algorithm
-
CeTA–Certifying Termination and Complexity Proofs in 2016
-
A Formalization of Berlekamp's Factorization Algorithm
-
Verification of Interconnects
-
Algebraic Numbers in Isabelle/HOL
-
Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics
-
Type checking by domain analysis in Ampersand
-
Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs
-
WickedXmas: Designing and Verifying on-chip Communication Fabrics