Author Info
Name
Affiliation
Papers
MICHALIS KOKOLOGIANNAKIS
Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany
6
Collaborators
Citations 
PageRank 
8
4
2.16
Referers 
Referees 
References 
9
46
18
Title
Citations
PageRank
Year
Truly Stateless, Optimal Dynamic Partial Order Reduction00.342022
PerSeVerE: persistency semantics for verification under ext410.372021
HMC: Model Checking for Hardware Memory Models10.352020
Stateless model checking of the Linux kernel's read-copy update (RCU).10.412019
Model checking for weakly consistent libraries00.342019
Effective lock handling in stateless model checking10.352019