Login / Signup
Marek Jankola
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Selection Criterion
Model Checking
Finite State
Automated Verification
Top Venues
FoSSaCS (1)
TACAS (3)
Proc. ACM Softw. Eng.
</>
Publications
</>
Marek Jankola
,
Jan Strejcek
Tighter Construction of Tight Büchi Automata.
FoSSaCS (1)
(2024)
Dirk Beyer
,
Po-Chun Chien
,
Marek Jankola
,
Nian-Ze Lee
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification.
Proc. ACM Softw. Eng.
1 (FSE) (2024)
Daniel Baier
,
Dirk Beyer
,
Po-Chun Chien
,
Marek Jankola
,
Matthias Kettl
,
Nian-Ze Lee
,
Thomas Lemberger
,
Marian Lingsch Rosenfeld
,
Martin Spiessl
,
Henrik Wachowitz
,
Philipp Wendler
CPAchecker 2.3 with Strategy Selection - (Competition Contribution).
TACAS (3)
(2024)