Folgen
Jesko Hecking-Harbusch
Jesko Hecking-Harbusch
Bestätigte E-Mail-Adresse bei de.bosch.com
Titel
Zitiert von
Zitiert von
Jahr
Solving QBF by abstraction
J Hecking-Harbusch, L Tentrup
arXiv preprint arXiv:1604.06752, 2016
25*2016
Model checking data flows in concurrent network updates
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
International Symposium on Automated Technology for Verification and …, 2019
222019
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
Proceedings of CAV, 2020
202020
Translating asynchronous games for distributed synthesis (Full Version)
R Beutner, B Finkbeiner, J Hecking-Harbusch
arXiv preprint arXiv:1907.00829, 2019
192019
Symbolic vs. bounded synthesis for Petri games
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
arXiv preprint arXiv:1711.10637, 2017
152017
A Web Interface for Petri Nets with Transits and Petri Games
M Gieseking, J Hecking-Harbusch, A Yanich
Tools and Algorithms for the Construction and Analysis of Systems 27th …, 2021
112021
Efficient trace encodings of bounded synthesis for asynchronous distributed systems
J Hecking-Harbusch, NO Metzger
International Symposium on Automated Technology for Verification and …, 2019
112019
Model checking branching properties on Petri nets with transits
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
Automated Technology for Verification and Analysis: 18th International …, 2020
10*2020
Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
Proceedings of CSL, 1-36, 2022
8*2022
Synthesis of asynchronous distributed systems from global specifications
J Hecking-Harbusch
Saarländische Universitäts-und Landesbibliothek, 2021
22021
Formal Runtime Error Detection During Development in the Automotive Industry
J Hecking-Harbusch, J Quante, M Schlund
International Conference on Verification, Model Checking, and Abstract …, 2023
2023
30th International Conference on Concurrency Theory (CONCUR 2019)
MZ Kwiatkowska, KG Larsen, J Ouaknine, J van de Pol, J Kretínský, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12