Stavros Aronis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | TACAS | Optimal Dynamic Partial Order Reduction with Observers. | Stavros Aronis, Bengt Jonsson, Magnus Lng, Konstantinos Sagonas |
| 2017 | IFM | Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. | Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas |
| 2015 | TACAS | Stateless Model Checking for TSO and PSO. | Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, Konstantinos Sagonas |
| 2014 | POPL | Optimal dynamic partial order reduction. | Parosh Aziz Abdulla, Stavros Aronis, Bengt Jonsson, Konstantinos Sagonas |