A Unified Processor Model for Compiler Verification and Simulation Using ASM. - Roland Lezuo; Andreas Krall (ABZ, 2012)

Using the CASM language for simulator synthesis and model verification. - Roland Lezuo; Andreas Krall (RAPIDO, 2013)

CASM: Implementing an Abstract State Machine based Programming Language. - Roland Lezuo; Gergö Barany; Andreas Krall (Software Engineering (Workshops), 2013)

CASM: optimized compilation of abstract state machines. - Roland Lezuo; Philipp Paulweber; Andreas Krall (LCTES, 2014)

vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. - Roland Lezuo; Ioan Dragan; Gergö Barany; Andreas Krall (SYNASC, 2015)