| 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, 677-694, 2015 | 65 | 2015 |
| 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 | 58 | 2018 |
| Optimized java binary and virtual machine for tiny motes F Aslam, L Fennell, C Schindelhauer, P Thiemann, G Ernst, E Haussmann, ... Distributed Computing in Sensor Systems: 6th IEEE International Conference …, 2010 | 48 | 2010 |
| 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 | 48 | 2008 |
| The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software: International Conference …, 2012 | 44 | 2012 |
| 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 | 41 | 2011 |
| ARCH-COMP 2019 Category Report: Falsification. G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ... ARCH@ CPSIoTWeek, 129-140, 2019 | 40 | 2019 |
| Development of a verified flash file system G Schellhorn, G Ernst, J Pfähler, D Haneberg, W Reif Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014 | 40 | 2014 |
| Verification of a virtual filesystem switch G Ernst, G Schellhorn, D Haneberg, J Pfähler, W Reif Verified Software: Theories, Tools, Experiments: 5th International …, 2014 | 39 | 2014 |
| Arch-comp 2020 category report: Falsification G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ... EPiC Series in Computing, 2020 | 38 | 2020 |
| Fast falsification of hybrid systems using probabilistically adaptive input G Ernst, S Sedwards, Z Zhang, I Hasuo Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 31 | 2019 |
| 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, 131-174, 2014 | 30 | 2014 |
| Inside a verified flash file system: transactions and garbage collection G Ernst, J Pfähler, G Schellhorn, W Reif Verified Software: Theories, Tools, and Experiments: 7th International …, 2016 | 25 | 2016 |
| SecCSL: Security Concurrent Separation Logic G Ernst, T Murray Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 23 | 2019 |
| 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 | 21 | 2018 |
| 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 | 20 | 2016 |
| 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 | 19 | 2012 |
| Formal specification of an erase block management layer for flash memory J Pfähler, G Ernst, G Schellhorn, D Haneberg, W Reif Hardware and Software: Verification and Testing: 9th International Haifa …, 2013 | 15 | 2013 |
| VerifyThis–verification competition with a human factor G Ernst, M Huisman, W Mostowski, M Ulbrich Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 14 | 2019 |
| ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021 | 13 | 2021 |
Jörg PfählerUniversität AugsburgVerified email at isse.de
