Roland Lezuo

发表

Using the CASM language for simulator synthesis and model verification

Andreas Krall, Roland Lezuo, A. Krall, 2013, RAPIDO '13.

vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification

Ioan Dragan, Andreas Krall, Gergö Barany, 2015, 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).

CASM: Implementing an Abstract State Machine based Programming Language

Andreas Krall, Gergö Barany, Roland Lezuo, 2013, Software Engineering.

A Unified Processor Model for Compiler Verification and Simulation Using ASM

Andreas Krall, Roland Lezuo, 2012, ABZ.

CASM: optimized compilation of abstract state machines

Andreas Krall, Philipp Paulweber, Roland Lezuo, 2014, LCTES '14.