Roland Lezuo

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Database Languages

Denotational Semantics

Top Venues

Publications

Roland Lezuo, Ioan Dragan, Gergö Barany, Andreas Krall
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification. SYNASC (2015)
Roland Lezuo, Philipp Paulweber, Andreas Krall
CASM: optimized compilation of abstract state machines. LCTES (2014)
Roland Lezuo, Gergö Barany, Andreas Krall
CASM: Implementing an Abstract State Machine based Programming Language. Software Engineering (Workshops) (2013)
Roland Lezuo, Andreas Krall
Using the CASM language for simulator synthesis and model verification. RAPIDO (2013)
Roland Lezuo, Andreas Krall
A Unified Processor Model for Compiler Verification and Simulation Using ASM. ABZ (2012)