Iason Marmanis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2023–2023
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | Unblocking Dynamic Partial Order Reduction. | Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis |
| 2023 | FMCAD | Optimal Bounded Partial Order Reduction. | Iason Marmanis, Viktor Vafeiadis |
| 2023 | TACAS | Reconciling Preemption Bounding with DPOR. | Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis |