Gidon Ernst

Παρατίθεται από

	Όλα	Από το 2020
Παραθέσεις	1130	699
h-index	22	15
i10-index	33	24

180

135

20102011201220132014201520162017201820192020202120222023202420253 13 33 27 44 43 69 62 65 61 86 134 137 154 163 25

Δημόσια πρόσβαση

Προβολή όλων

12 άρθρα

1 άρθρο

διαθέσιμα

μη διαθέσιμα

Σύμφωνα με εντολές χρηματοδότησης

Συν-συγγραφείς

Jörg PfählerUniversität AugsburgΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα isse.de
Zhenya ZhangKyushu UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ait.kyushu-u.ac.jp
Paolo ArcainiNational Institute of InformaticsΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα nii.ac.jp
Toby MurraySchool of Computing and Information Systems, University of MelbourneΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unimelb.edu.au
Georgios FainekosToyota Research Institute of North AmericaΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα toyota.com
Ichiro HasuoProfessor of Computer Science, National Institute of InformaticsΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα acm.org
Sean SedwardsUniversity of WaterlooΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα uwaterloo.ca
Giulia PedrielliAssociate Professor, School of Computing & Augmented Intelligence, Arizona State UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα asu.edu
Claudio MenghiUniversity of Bergamo and McMaster UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unibg.it
Marieke HuismanΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ewi.utwente.nl
Shakiba YaghoubiPhD, MotionalΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα asu.edu
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα aist.go.jp
Mattias UlbrichResearcher, Karlsruhe Institute of TechnologyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα kit.edu
Alexandre DonzeDecyphirΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα decyphir.com
Tanmay KhandaitArizona State UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα asu.edu
Masaki WagaKyoto UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fos.kuis.kyoto-u.ac.jp
Christian SchindelhauerComputer Networks and Telematics, University of Freiburg, GermanyΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα informatik.uni-freiburg.de
Goran FrehseProfessor of Computer Science, ENSTA ParisΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ensta-paris.fr
Wojciech MostowskiHalmstad UniversityΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα hh.se
Benjamin I. P. RubinsteinProfessor, School of Computing and Information Systems, The University of MelbourneΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unimelb.edu.au

Παρακολούθηση

Gidon Ernst

Software and Computational Systems Lab, LMU Munich

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα lmu.de - Αρχική σελίδα

Software Verification Formal Methods Refinement Concurrency Information Flow Control


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
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	74	2018
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	67	2015
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	51	2010
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	50	2020
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	50	2008
ARCH-COMP 2019 Category Report: Falsification. G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ... ARCH@ CPSIoTWeek, 129-140, 2019	49	2019
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	47	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	46	2014
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	46	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	43	2011
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	39	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 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	37	2021
SecCSL: Security Concurrent Separation Logic G Ernst, T Murray Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019	37	2019
Legion: Best-first concolic testing D Liu, G Ernst, T Murray, BIP Rubinstein Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020	32	2020
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	30	2016
Arch-comp 2022 category report: Falsification with ubounded resources G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022	26	2022
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	26	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	26	2016
State selection algorithms and their impact on the performance of stateful network protocol fuzzing D Liu, VT Pham, G Ernst, T Murray, BIP Rubinstein 2022 IEEE International Conference on Software Analysis, Evolution and …, 2022	25	2022

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–20

Παραθέσεις ανά έτος

Διπλότυπες αναφορές

Συγχωνευμένες αναφορές

Προσθήκη από κοινού συγγραφέωνΣυν-συγγραφείς

Παρακολούθηση

Παρατίθεται από

Συν-συγγραφείς