Edgar Pek
Adobe Systems (United States)(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Security and Verification in Computing, Software Testing and Debugging Techniques, Distributed systems and fault tolerance
Most-Cited Works
- → The OpenSMT Solver(2010)115 cited
- → Natural proofs for data structure manipulation in C using separation logic(2014)59 cited
- → Verifying security invariants in ExpressOS(2013)43 cited
- → Verification of mutual exclusion algorithms with SMV system(2004)11 cited
- → An electronic journal management system(2004)10 cited
- → Runtime Verification at Work: A Tutorial(2016)7 cited
- → Internet-based medical teleconsultation system(2002)7 cited
- Formal Verification of Communication Protocols in Distributed Systems(2003)