Gidon Ernst

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search

Zhenya Zhang, Gidon Ernst, Sean Sedwards et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018 · 66 citations

Artificial Intelligence, Engineering, Machine Learning +24

KIV: overview and VerifyThis competition

Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn et al. · International Journal on Software Tools for Technology Transfer · 2014 · 59 citations

Trustworthy Computing, Engineering, Mechanical Verification +9

State Selection Algorithms and Their Impact on The Performance of Stateful Network Protocol Fuzzing

Dongge Liu, Van-Thuan Pham, Gidon Ernst et al. · 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · 2022 · 37 citations

State Selection Algorithms, Engineering, Verification +21

RGITL: A temporal logic framework for compositional reasoning about interleaved programs

Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst et al. · Annals of Mathematics and Artificial Intelligence · 2014 · 31 citations

Interleaved Programs, Formal Specification, Temporal Logic Framework +13

Interleaved Programs and Rely-Guarantee Reasoning with ITL

Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst et al. · 2011 · 30 citations

Program Checking, Engineering, Verification +16