Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Stavros Aronis
@proceedings{DBLP:conf/erlang/2022, editor = {Stavros Aronis and Burcu Kulahcioglu Ozkan}, title = {Erlang '22: 21st {ACM} {SIGPLAN} International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3546186}, doi = {10.1145/3546186}, isbn = {978-1-4503-9435-2}, timestamp = {Fri, 21 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/erlang/2021, editor = {Stavros Aronis and Annette Bieniusa}, title = {Proceedings of the 20th {ACM} {SIGPLAN} International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3471871}, doi = {10.1145/3471871}, isbn = {978-1-4503-8612-8}, timestamp = {Wed, 08 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/basesearch/Aronis18, author = {Stavros Aronis}, title = {Effective Techniques for Stateless Model Checking}, school = {Uppsala University, Sweden}, year = {2018}, url = {https://nbn-resolving.org/urn:nbn:se:uu:diva-333541}, urn = {urn:nbn:se:uu:diva-333541}, timestamp = {Mon, 21 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/basesearch/Aronis18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/AronisFS18, author = {Stavros Aronis and Vikt{\'{o}}ria F{\"{o}}rd{\'{o}}s and D{\'{a}}niel Szoboszlay}, editor = {Natalia Chechina and Adrian Francalanza}, title = {Modelling distributed Erlang within a single node}, booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Workshop on Erlang, {ICFP} 2018, St. Louis, MO, USA, September 23-29, 2018}, pages = {25--36}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3239332.3242764}, doi = {10.1145/3239332.3242764}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/AronisFS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AronisJLS18, author = {Stavros Aronis and Bengt Jonsson and Magnus L{\aa}ng and Konstantinos Sagonas}, editor = {Dirk Beyer and Marieke Huisman}, title = {Optimal Dynamic Partial Order Reduction with Observers}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, {TACAS} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10806}, pages = {229--248}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89963-3\_14}, doi = {10.1007/978-3-319-89963-3\_14}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AronisJLS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/AbdullaAAJLS17, author = {Parosh Aziz Abdulla and Stavros Aronis and Mohamed Faouzi Atig and Bengt Jonsson and Carl Leonardsson and Konstantinos Sagonas}, title = {Stateless model checking for {TSO} and {PSO}}, journal = {Acta Informatica}, volume = {54}, number = {8}, pages = {789--818}, year = {2017}, url = {https://doi.org/10.1007/s00236-016-0275-0}, doi = {10.1007/S00236-016-0275-0}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/AbdullaAAJLS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jacm/AbdullaAJS17, author = {Parosh Aziz Abdulla and Stavros Aronis and Bengt Jonsson and Konstantinos Sagonas}, title = {Source Sets: {A} Foundation for Optimal Dynamic Partial Order Reduction}, journal = {J. {ACM}}, volume = {64}, number = {4}, pages = {25:1--25:49}, year = {2017}, url = {https://doi.org/10.1145/3073408}, doi = {10.1145/3073408}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jacm/AbdullaAJS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/TrinderCPSTAABB17, author = {Phil Trinder and Natalia Chechina and Nikolaos Papaspyrou and Konstantinos Sagonas and Simon J. Thompson and Stephen Adams and Stavros Aronis and Robert Baker and Eva Bihari and Olivier Boudeville and Francesco Cesarini and Maurizio Di Stefano and Sverker Eriksson and Viktoria Ford{\'{o}}s and Amir Ghaffari and Aggelos Giantsios and Rickard Green and Csaba Hoch and David Klaftenegger and Huiqing Li and Kenneth Lundin and Kenneth MacKenzie and Katerina Roukounaki and Yiannis Tsiouris and Kjell Winblad}, title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {39}, number = {4}, pages = {17:1--17:46}, year = {2017}, url = {https://doi.org/10.1145/3107937}, doi = {10.1145/3107937}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/TrinderCPSTAABB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/AbdullaAJS17, author = {Parosh Aziz Abdulla and Stavros Aronis and Bengt Jonsson and Konstantinos Sagonas}, editor = {Luca Aceto and Giorgio Bacci and Giovanni Bacci and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Axel Legay and Radu Mardare}, title = {Comparing Source Sets and Persistent Sets for Partial Order Reduction}, booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {10460}, pages = {516--536}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-63121-9\_26}, doi = {10.1007/978-3-319-63121-9\_26}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/AbdullaAJS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/AronisS17, author = {Stavros Aronis and Konstantinos Sagonas}, editor = {Natalia Chechina and Scott Lystig Fritchie}, title = {The shared-memory interferences of Erlang/OTP built-ins}, booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} International Workshop on Erlang, Oxford, United Kingdom, September 3-9, 2017}, pages = {43--54}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3123569.3123573}, doi = {10.1145/3123569.3123573}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/AronisS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/AronisFS17, author = {Stavros Aronis and Scott Lystig Fritchie and Konstantinos Sagonas}, editor = {Nadia Polikarpova and Steve A. Schneider}, title = {Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking}, booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017, Turin, Italy, September 20-22, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10510}, pages = {227--242}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66845-1\_15}, doi = {10.1007/978-3-319-66845-1\_15}, timestamp = {Fri, 07 Aug 2020 17:57:32 +0200}, biburl = {https://dblp.org/rec/conf/ifm/AronisFS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/TrinderCPSTAABB17, author = {Phil Trinder and Natalia Chechina and Nikolaos Papaspyrou and Konstantinos Sagonas and Simon J. Thompson and Stephen Adams and Stavros Aronis and Robert Baker and Eva Bihari and Olivier Boudeville and Francesco Cesarini and Maurizio Di Stefano and Sverker Eriksson and Viktoria Ford{\'{o}}s and Amir Ghaffari and Aggelos Giantsios and Rickard Green and Csaba Hoch and David Klaftenegger and Huiqing Li and Kenneth Lundin and Kenneth MacKenzie and Katerina Roukounaki and Yiannis Tsiouris and Kjell Winblad}, title = {Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform}, journal = {CoRR}, volume = {abs/1704.07234}, year = {2017}, url = {http://arxiv.org/abs/1704.07234}, eprinttype = {arXiv}, eprint = {1704.07234}, timestamp = {Wed, 03 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/TrinderCPSTAABB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/AbdullaAAJLS15, author = {Parosh Aziz Abdulla and Stavros Aronis and Mohamed Faouzi Atig and Bengt Jonsson and Carl Leonardsson and Konstantinos Sagonas}, editor = {Christel Baier and Cesare Tinelli}, title = {Stateless Model Checking for {TSO} and {PSO}}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9035}, pages = {353--367}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-46681-0\_28}, doi = {10.1007/978-3-662-46681-0\_28}, timestamp = {Sat, 30 Sep 2023 09:57:43 +0200}, biburl = {https://dblp.org/rec/conf/tacas/AbdullaAAJLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/AbdullaAAJLS15, author = {Parosh Aziz Abdulla and Stavros Aronis and Mohamed Faouzi Atig and Bengt Jonsson and Carl Leonardsson and Konstantinos Sagonas}, title = {Stateless Model Checking for {TSO} and {PSO}}, journal = {CoRR}, volume = {abs/1501.02069}, year = {2015}, url = {http://arxiv.org/abs/1501.02069}, eprinttype = {arXiv}, eprint = {1501.02069}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/AbdullaAAJLS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/AbdullaAJS14, author = {Parosh Aziz Abdulla and Stavros Aronis and Bengt Jonsson and Konstantinos Sagonas}, editor = {Suresh Jagannathan and Peter Sewell}, title = {Optimal dynamic partial order reduction}, booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014}, pages = {373--384}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2535838.2535845}, doi = {10.1145/2535838.2535845}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/AbdullaAJS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/AronisPRSTV12, author = {Stavros Aronis and Nikolaos Papaspyrou and Katerina Roukounaki and Konstantinos Sagonas and Yiannis Tsiouris and Ioannis E. Venetis}, editor = {Torben Hoffman and John Hughes}, title = {A scalability benchmark suite for Erlang/OTP}, booktitle = {Proceedings of the Eleventh {ACM} {SIGPLAN} Erlang Workshop, Copenhagen, Denmark, September 14, 2012}, pages = {33--42}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2364489.2364495}, doi = {10.1145/2364489.2364495}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/AronisPRSTV12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/AronisS12, author = {Stavros Aronis and Konstantinos Sagonas}, editor = {Hans{-}Wolfgang Loidl and Ricardo Pe{\~{n}}a}, title = {On Using Erlang for Parallelization - Experience from Parallelizing Dialyzer}, booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP} 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7829}, pages = {295--310}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-40447-4\_19}, doi = {10.1007/978-3-642-40447-4\_19}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sfp/AronisS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/erlang/AronisS11, author = {Stavros Aronis and Konstantinos Sagonas}, editor = {Kenji Rikitake and Erik Stenman}, title = {Typed callbacks for more robust behaviours}, booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} workshop on Erlang, Tokyo, Japan, September 23, 2011}, pages = {23--29}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2034654.2034660}, doi = {10.1145/2034654.2034660}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/erlang/AronisS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.