Gidon Ernst
Ludwig-Maximilians-Universität München
H-index: 19
Europe-Germany
Top articles of Gidon Ernst
Compositional Vulnerability Detection with Insecurity Separation Logic
2023/11/9
Gidon Ernst
H-Index: 10
Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods
2023/11/6
Gidon Ernst
H-Index: 10
Alexander Weigl
H-Index: 6
Korn—Software Verification with Horn Clauses (Competition Contribution)
2023/4/20
Gidon Ernst
H-Index: 10
ARCH-COMP 2023 Category Report: Falsification
10th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH23
2023
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications
2023/11/15
Mukesh Tiwari
H-Index: 5
Gidon Ernst
H-Index: 10
Arch-comp 2022 category report: Falsification with ubounded resources
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). EPiC Series in Computing
2022/12/13
A Hoare logic with regular behavioral specifications
2022/10/17
Gidon Ernst
H-Index: 10
Alexander Knapp
H-Index: 1
State selection algorithms and their impact on the performance of stateful network protocol fuzzing
2022/3/15
Gidon Ernst
H-Index: 10
Loop verification with invariants and contracts
2022/1/14
Gidon Ernst
H-Index: 10
Deductive Verification via the Debug Adapter Protocol
arXiv preprint arXiv:2108.02968
2021/8/6
Gidon Ernst
H-Index: 10
Falsification of hybrid systems using adaptive probabilistic search
ACM Transactions on Modeling and Computer Simulation (TOMACS)
2021/7/18
Gidon Ernst
H-Index: 10
Sean Sedwards
H-Index: 15
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
2021/7/9
Incremental Vulnerability Detection via Back-Propagating Symbolic Execution of Insecurity Separation Logic.
arXiv preprint arXiv:2107.05225
2021/7
Gidon Ernst
H-Index: 10
Bridging Arrays and ADTs in Recursive Proofs
2021
Grigory Fedyukovich
H-Index: 16
Gidon Ernst
H-Index: 10
Legion: Best-first concolic testing
2020/12/21
Gidon Ernst
H-Index: 10
A complete approach to loop verification with invariants and summaries
arXiv preprint arXiv:2010.05812
2020/10/12
Gidon Ernst
H-Index: 10
Cuv\'ee: Blending SMT-LIB with Programs and Weakest Preconditions
arXiv preprint arXiv:2010.05023
2020/10/10
Gidon Ernst
H-Index: 10
Arch-comp 2020 category report: Falsification
EPiC Series in Computing
2020/9/25
Gidon Ernst
H-Index: 10
Georgios Fainekos
H-Index: 28
Claudio Menghi
H-Index: 13
Shakiba Yaghoubi
H-Index: 9
Information Flow Testing of a PGP Keyserver (Abstract for the VerifyThis challenge 2020)
Submitted and Presented Solutions (Online Presentation, 27 April 2020)
2020/6
Gidon Ernst
H-Index: 10
Verifying the Security of a PGP Keyserver (Abstract for the VerifyThis challenge 2020)
Submitted and Presented Solutions (Online Presentation, 27 April 2020)
2020/6
Gidon Ernst
H-Index: 10
Mukesh Tiwari
H-Index: 5