Safe Process State Upgrades Through Static Analysis. - Daniel Ferenczi; Melinda Tóth (SACI, 2024)

Towards Correct Dependency Orders in Erlang Upgrades. - Daniel Ferenczi; Melinda Tóth (Acta Cybern., 2025)