Edit Profile (opens in new tab) Aronis, Stavros Co-Author Distance Author ID: 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 all top 5 Co-Authors 0 single-authored 6 Jonsson, Bengt 6 Sagonas, Konstantinos 5 Abdulla, Parosh Aziz 2 Atig, Mohamed Faouzi 2 Leonardsson, Carl 1 Lång, Magnus Serials 1 Acta Informatica 1 Journal of the ACM Fields 6 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 59 Authors 4 Wehrheim, Heike 3 Doherty, Simon 3 Dongol, Brijesh 2 Abdulla, Parosh Aziz 2 Atig, Mohamed Faouzi 2 Dalvandi, Sadegh 2 Muscholl, Anca 2 Vidal, Germán 1 Agarwal, Pratyush 1 Andrianov, P. S. 1 Aronis, Stavros 1 Baelde, David 1 Bouajjani, Ahmed 1 Chatterjee, Krishnendu 1 Çirisci, Berk 1 Cook, Victor 1 Coti, Camille 1 De Angelis, Emanuele 1 Dechev, Damian 1 Delaune, Stéphanie 1 Deng, Robert Huijie 1 Derrick, John 1 Enea, Constantin 1 Fan, Chuchu 1 Farzan, Azadeh 1 Fioravanti, Fabio 1 González-Abril, Juan José 1 Hirschi, Lucca 1 Huang, Zhenqi 1 Johnsen, Einar Broch 1 Jonsson, Bengt 1 La Torre, Salvatore 1 Lai, Junzuo 1 Leonardsson, Carl 1 Ma, Changshe 1 Maarand, Hendrik 1 Mitra, Sayan 1 Mutluergil, Suha Orhun 1 Napoli, Margherita 1 Ngo, Tuan Phong 1 Painter, Zachary 1 Palacios, Adrian G. 1 Parlato, Gennaro 1 Pathak, Shreya 1 Pavlogiannis, Andreas 1 Peterson, Christina L. 1 Petrucci, Laure 1 Pettorossi, Alberto 1 Proietti, Maurizio 1 Rodríguez, César Marín 1 Sagonas, Konstantinos 1 Sakurai, Kouichi 1 Schlatte, Rudolf 1 Sousa, Marcelo S. 1 Toman, Viktor 1 Travkin, Oleg 1 Tveito, Lars 1 Uustalu, Tarmo 1 Weng, Jian all top 5 Cited in 9 Serials 1 Acta Informatica 1 Computing 1 Programming and Computer Software 1 Information and Computation 1 Journal of Automated Reasoning 1 Formal Methods in System Design 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 21 Computer science (68-XX) 2 Information and communication theory, circuits (94-XX) Citations by Year