Jesko Hecking-Harbusch
Jesko Hecking-Harbusch
CISPA Helmholtz Center for Information Security
Verified email at cispa.saarland - Homepage
Title
Cited by
Cited by
Year
Solving QBF by abstraction
J Hecking-Harbusch, L Tentrup
arXiv preprint arXiv:1604.06752, 2016
10*2016
Symbolic vs. bounded synthesis for Petri games
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
arXiv preprint arXiv:1711.10637, 2017
82017
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
7*2019
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL
B Finkbeiner, M Gieseking, J Hecking-Harbusch, ER Olderog
International Conference on Computer Aided Verification, 64-76, 2020
5*2020
Translating asynchronous games for distributed synthesis
R Beutner, B Finkbeiner, J Hecking-Harbusch
30th International Conference on Concurrency Theory (CONCUR 2019), 2019
4*2019
Model Checking Branching Properties on Petri Nets with Transits
B Finkbeiner, M Gieseking, J Hecking-Harbusch, E Olderog
Proc. of ATVA, 2020
2*2020
Efficient trace encodings of bounded synthesis for asynchronous distributed systems
J Hecking-Harbusch, NO Metzger
International Symposium on Automated Technology for Verification and …, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–7