Samuel Gruetter
ETH Zurich(CH)
Publications by Year
Research Areas
Logic, programming, and type systems, Security and Verification in Computing, Formal Methods in Verification, Advanced Malware Detection Techniques, Real-Time Systems Scheduling
Most-Cited Works
- → VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs(2018)95 cited
- → Integration verification across software and hardware for a simple embedded system(2021)28 cited
- → Omnisemantics: Smooth Handling of Nondeterminism(2023)12 cited
- → Foundational Integration Verification of a Cryptographic Server(2024)6 cited
- A Multipurpose Formal RISC-V Specification.(2021)
- → Short Paper(2017)3 cited
- → Live Verification in an Interactive Proof Assistant(2024)3 cited
- → Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)(2023)3 cited
- → Replication Package for Article: Integration Verification across Software and Hardware for a Simple Embedded System(2021)2 cited
- → Flexible Instruction-Set Semantics via Type Classes(2021)