Login / Signup
Michalis Kokologiannakis
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 18
Top Topics
Model Checking
Linux Kernel
Partial Order Reduction
Temporal Properties
Top Venues
Proc. ACM Program. Lang.
CAV (1)
PLDI
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>