Name Card

Full name Familienname, Vorname
Lezuo, Roland
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lezuo, Roland ; Dragan, Ioan ; Barany, Gergo ; Krall, Andreas vanHelsing: A Fast Proof Checker for Debuggable Compiler VerificationKonferenzbeitrag Inproceedings 2015
2Lezuo, Roland ; Paulweber, Philipp ; Krall, Andreas CASMKonferenzbeitrag Inproceedings 2014
3Lezuo Roland - 2014 - Scalable translation validation tools techniques and...pdf.jpgLezuo, Roland Scalable translation validation : tools, techniques and frameworkThesis Hochschulschrift 2014
4Lezuo, Roland ; Barany, Gergö ; Krall, Andreas CASM: Implementing an Abstract State Machine based programming languageKonferenzbeitrag Inproceedings 2013
5Lezuo, Roland ; Krall, Andreas Using the CASM language for simulator synthesis and model verificationKonferenzbeitrag Inproceedings2013
6Lezuo, Roland ; Krall, Andreas A Unified Processor Model for Compiler Verification and Simulation Using ASMKonferenzbeitrag Inproceedings2012