Author of the publication

An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor.

, , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 388-405. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Completeness for a First-Order Abstract Separation Logic., and . APLAS, volume 10017 of Lecture Notes in Computer Science, page 444-463. (2016)A labelled sequent calculus for BBI: proof theory and proof search., , and . J. Log. Comput., 28 (4): 809-872 (2018)An iterative approach to synthesize business process templates from compliance rules., , , , and . Inf. Syst., 37 (8): 714-736 (2012)Separata: Isabelle tactics for Separation Algebra., , , , and . Arch. Formal Proofs, (2016)Compression and Decompression Using Deep Neural Network., and . MLIS, volume 374 of Frontiers in Artificial Intelligence and Applications, page 1-8. IOS Press, (2023)A privacy awareness framework for NFT avatars in the metaverse., , , and . ICNC, page 431-435. IEEE, (2023)Proof Tactics for Assertions in Separation Logic., , , and . ITP, volume 10499 of Lecture Notes in Computer Science, page 285-303. Springer, (2017)Graph Based Visualisation Techniques for Analysis of Blockchain Transactions., , , , and . LCN, page 427-430. IEEE, (2021)Security, Privacy and Trust for the Metaverse of Things., , , , and . MetaCom, page 146-150. IEEE, (2023)N-PAT: A Nested Model-Checker - (System Description)., , , , , , and . IJCAR (2), volume 12167 of Lecture Notes in Computer Science, page 369-377. Springer, (2020)