Concepedia

Edgar Pek

EP

5

Publications

142

Citations

5

H-Index

2004

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Zagreb

Edgar Pek is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringVerificationComputer ScienceSoftware AnalysisFormal VerificationFormal MethodsProgram AnalysisAutomated ReasoningComputational ComplexitySystem Software

Publications per year

2004–2014

5

Publications

5

Natural proofs for data structure manipulation in C using separation logic

Edgar Pek, Xiaokang Qiu, P. Madhusudan · 2014 · 59 citations

Engineering, Verification, Automated Proof +17

Verifying security invariants in ExpressOS

Haohui Mai, Edgar Pek, Hui Xue et al. · 2013 · 43 citations

Security Invariants, Mobile Security, Engineering +20

Natural proofs for data structure manipulation in C using separation logic

Edgar Pek, Xiaokang Qiu, P. Madhusudan · ACM SIGPLAN Notices · 2014 · 19 citations

Program Checking, Engineering, Verification +22

Verification of mutual exclusion algorithms with SMV system

Nikola Bogunović, Edgar Pek · 2004 · 11 citations

Engineering, Mutual Exclusion Algorithm, Verification +20

An electronic journal management system

Hrvoje Bogunović, Edgar Pek, Sven Lončarić et al. · 2004 · 10 citations

Engineering, Business Intelligence, Semantic Web +16

Rows per page

1–5 of 5