Gidon Ernst
Gidon Ernst
Software and Computational Systems Lab, LMU Munich
Verified email at lmu.de - Homepage
TitleCited byYear
Optimized java binary and virtual machine for tiny motes
F Aslam, L Fennell, C Schindelhauer, P Thiemann, G Ernst, E Haussmann, ...
International Conference on Distributed Computing in Sensor Systems, 15-30, 2010
432010
Introducing TakaTuka: a Java virtualmachine for motes
F Aslam, C Schindelhauer, G Ernst, D Spyra, J Meyer, M Zalloom
Proceedings of the 6th ACM conference on Embedded network sensor systems …, 2008
392008
Interleaved programs and rely-guarantee reasoning with ITL
G Schellhorn, B Tofan, G Ernst, W Reif
2011 Eighteenth International Symposium on Temporal Representation and …, 2011
352011
The COST IC0701 verification competition 2011
T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ...
International Conference on Formal Verification of Object-Oriented Software …, 2011
342011
KIV: overview and VerifyThis competition
G Ernst, J Pfähler, G Schellhorn, D Haneberg, W Reif
International Journal on Software Tools for Technology Transfer 17 (6), 677-694, 2015
322015
Verification of a virtual filesystem switch
G Ernst, G Schellhorn, D Haneberg, J Pfähler, W Reif
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
322013
Development of a verified flash file system
G Schellhorn, G Ernst, J Pfähler, D Haneberg, W Reif
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
252014
RGITL: A temporal logic framework for compositional reasoning about interleaved programs
G Schellhorn, B Tofan, G Ernst, J Pfähler, W Reif
Annals of Mathematics and Artificial Intelligence 71 (1-3), 131-174, 2014
212014
Inside a verified flash file system: transactions and garbage collection
G Ernst, J Pfähler, G Schellhorn, W Reif
VSSTE, 73-93, 2015
132015
A formal model of a virtual filesystem switch
G Ernst, G Schellhorn, D Haneberg, J Pfähler, W Reif
arXiv preprint arXiv:1211.6187, 2012
132012
Crash-safe refinement for a verified flash file system
J Pfähler, G Ernst, G Schellhorn, D Haneberg, W Reif
112014
Two-layered falsification of hybrid systems guided by monte carlo tree search
Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
102018
Modular, crash-safe refinement for ASMs with submachines
G Ernst, J Pfähler, G Schellhorn, W Reif
Science of Computer Programming 131, 3-21, 2016
92016
Formal specification of an erase block management layer for flash memory
J Pfähler, G Ernst, G Schellhorn, D Haneberg, W Reif
Haifa Verification Conference, 214-229, 2013
92013
Modular refinement for submachines of ASMs
G Ernst, J Pfähler, G Schellhorn, W Reif
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
82014
Conditional effects in fine-grained region logic
Y Bao, GT Leavens, G Ernst
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 5, 2015
72015
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks.
A Dokhanchi, S Yaghoubi, B Hoxha, G Fainekos, G Ernst, Z Zhang, ...
ARCH@ ADHS, 104-109, 2018
42018
VerifyThis–verification competition with a human factor
G Ernst, M Huisman, W Mostowski, M Ulbrich
International Conference on Tools and Algorithms for the Construction and …, 2019
32019
VerifyThis 2018: A Program Verification Competition
M Huisman, R Monahan, P Müller, A Paskevich, G Ernst
Université Paris-Saclay, 2019
32019
Time-staging enhancement of hybrid system falsification
G Ernst, I Hasuo, Z Zhang, S Sedwards
arXiv preprint arXiv:1803.03866, 2018
32018
The system can't perform the operation now. Try again later.
Articles 1–20