Login / Signup
Lukás Zaoral
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Source Code
Static Analysis
Simulated Annealing Algorithm
Black Box
Top Venues
CARDIS
TACAS (2)
TACAS (3)
</>
Publications
</>
Martin Jonás
,
Kristián Kumor
,
Jakub Novák
,
Jindrich Sedlácek
,
Marek Trtík
,
Lukás Zaoral
,
Paulína Ayaziová
,
Jan Strejcek
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).
TACAS (3)
(2024)
Lukás Zaoral
,
Antonin Dufka
,
Petr Svenda
The Adoption Rate of JavaCard Features by Certified Products and Open-Source Projects.
CARDIS
(2023)
Marek Chalupa
,
Vincent Mihalkovic
,
Anna Rechtácková
,
Lukás Zaoral
,
Jan Strejcek
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution).
TACAS (2)
(2022)