×
Author ID: aronis.stavros Recent zbMATH articles by "Aronis, Stavros"
Published as: Aronis, Stavros
Documents Indexed: 6 Publications since 2014
Co-Authors: 6 Co-Authors with 6 Joint Publications
159 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 33 times in 22 Documents Cited by Year
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
11
2017
Optimal dynamic partial order reduction. Zbl 1284.68377
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
11
2014
Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038
Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
4
2017
Stateless model checking for TSO and PSO. Zbl 1420.68115
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
3
2015
Comparing source sets and persistent sets for partial order reduction. Zbl 1431.68062
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
2
2017
Optimal dynamic partial order reduction with observers. Zbl 1423.68093
Aronis, Stavros; Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos
2
2018
Optimal dynamic partial order reduction with observers. Zbl 1423.68093
Aronis, Stavros; Jonsson, Bengt; Lång, Magnus; Sagonas, Konstantinos
2
2018
Stateless model checking for TSO and PSO. Zbl 1380.68265
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
11
2017
Source sets: a foundation for optimal dynamic partial order reduction. Zbl 1426.68038
Abdulla, Parosh Aziz; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
4
2017
Comparing source sets and persistent sets for partial order reduction. Zbl 1431.68062
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
2
2017
Stateless model checking for TSO and PSO. Zbl 1420.68115
Abdulla, Parosh Aziz; Aronis, Stavros; Atig, Mohamed Faouzi; Jonsson, Bengt; Leonardsson, Carl; Sagonas, Konstantinos
3
2015
Optimal dynamic partial order reduction. Zbl 1284.68377
Abdulla, Parosh; Aronis, Stavros; Jonsson, Bengt; Sagonas, Konstantinos
11
2014

Citations by Year