Catamorphic approach to program analysis

Veröffentlicht 2003

On the Determinization of Event-Clock Input-Driven Pushdown Automata

von Ogawa, Mizuhito
Veröffentlicht in International Computer Science Symposium (17. : 2022 : Online) Computer science - theory and applications (2022)

Original Entry Point Detection Based on Graph Similarity

von Pham, Thanh-Hung
Veröffentlicht in International Symposium on Foundations and Practice of Security (16. : 2022 : Bordeaux) Foundations and practice of security ; Part 1 (2024)

Formal Semantics Extraction from MIPS Instruction Manual

von Trac, Quang Thinh
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)