Concepedia

Gidon Ernst

GE

Statistics

Publications

16

Citations

453

H-Index

14

Active since

2008

Affiliations

Ludwig-Maximilians-Universität München(Current)

National Institute of Informatics

Arizona State University

National Institute of Advanced Industrial Science and Technology

University of Augsburg

Gidon Ernst is an author at Ludwig-Maximilians-Universität München specializing in computer science, computing, and model checking.

Publications per year

2008–2023

16

Publications

16

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

Computing, Automotive Engineering, Computer Science +16

KIV: overview and VerifyThis competition

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

Computing, Computer Science, Computer Systems +5

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 · 40 citations

Computing, Computer Engineering, Computer Science +14

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 · 32 citations

Computing, Computer Science, Computer Systems +12

Interleaved Programs and Rely-Guarantee Reasoning with ITL

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

Computing, Computer Science, Formal Methods +16

1–5 of 16