Typed callbacks for more robust behaviours. - Stavros Aronis; Konstantinos Sagonas (Erlang Workshop, 2011)

A scalability benchmark suite for Erlang/OTP. - Stavros Aronis; Nikolaos Papaspyrou; Katerina Roukounaki; Konstantinos Sagonas; Yiannis Tsiouris; Ioannis E. Venetis (Erlang Workshop, 2012)

On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer. - Stavros Aronis; Konstantinos Sagonas (Trends in Functional Programming, 2012)

Optimal dynamic partial order reduction. - Parosh Aziz Abdulla; Stavros Aronis; Bengt Jonsson 001; Konstantinos Sagonas (POPL, 2014)

Comparing Source Sets and Persistent Sets for Partial Order Reduction. - Parosh Aziz Abdulla; Stavros Aronis; Bengt Jonsson 001; Konstantinos Sagonas (Models, Algorithms, Logics and Tools, 2017)

The shared-memory interferences of Erlang/OTP built-ins. - Stavros Aronis; Konstantinos Sagonas (Erlang Workshop, 2017)

Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. - Stavros Aronis; Scott Lystig Fritchie; Konstantinos Sagonas (IFM, 2017)

Stateless model checking for TSO and PSO. - Parosh Aziz Abdulla; Stavros Aronis; Mohamed Faouzi Atig; Bengt Jonsson 001; Carl Leonardsson; Konstantinos Sagonas (Acta Informatica, 2017)

Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. - Parosh Aziz Abdulla; Stavros Aronis; Bengt Jonsson 001; Konstantinos Sagonas (J. ACM, 2017)

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. - Phil Trinder; Natalia Chechina; Nikolaos Papaspyrou; Konstantinos Sagonas; Simon J. Thompson; Stephen Adams 002; Stavros Aronis; Robert Baker 001; Eva Bihari; Olivier Boudeville; Francesco Cesarini; Maurizio Di Stefano; et al. (ACM Trans. Program. Lang. Syst., 2017)

Modelling distributed Erlang within a single node. - Stavros Aronis; Viktória Fördós; Dániel Szoboszlay (Erlang Workshop, 2018)

Optimal Dynamic Partial Order Reduction with Observers. - Stavros Aronis; Bengt Jonsson 001; Magnus Lång; Konstantinos Sagonas (TACAS (2), 2018)

Effective Techniques for Stateless Model Checking. - Stavros Aronis (2018)