Подписаться
Iason Marmanis
Iason Marmanis
Max Planck Institute for Software Systems
Подтвержден адрес электронной почты в домене mpi-sws.org - Главная страница
Название
Процитировано
Процитировано
Год
Truly stateless, optimal dynamic partial order reduction
M Kokologiannakis, I Marmanis, V Gladstein, V Vafeiadis
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
272022
Unblocking Dynamic Partial Order Reduction
M Kokologiannakis, I Marmanis, V Vafeiadis
International Conference on Computer Aided Verification, 230-250, 2023
22023
Reconciling Preemption Bounding with DPOR
I Marmanis, M Kokologiannakis, V Vafeiadis
International Conference on Tools and Algorithms for the Construction and …, 2023
22023
Optimal Bounded Partial Order Reduction
I Marmanis, V Vafeiadis
2023 Formal Methods in Computer-Aided Design (FMCAD), 86-91, 2023
2023
SMT-Based Verification of Persistency Invariants of Px86 Programs
I Marmanis, V Vafeiadis
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2022
2022
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–5