6
Publications
347
Citations
6
H-Index
2012
Active since
Affiliations
Stavros Aronis is an author at Uppsala University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringAutomated ReasoningInverse Problems
Publications per year
2012–2017
6
6
Optimal dynamic partial order reduction
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jönsson et al. · 2014 · 176 citations
Mathematical Programming, Numerical Analysis, Reduced Order Modeling +21
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jönsson et al. · Journal of the ACM · 2017 · 43 citations
Optimal dynamic partial order reduction
Parosh Aziz Abdulla, Stavros Aronis, Bengt Jönsson et al. · ACM SIGPLAN Notices · 2014 · 42 citations · Full text
Numerical Analysis, Mathematical Programming, Reduced Order Modeling +21
A scalability benchmark suite for Erlang/OTP
Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki et al. · 2012 · 39 citations · Full text
Performance Benchmarking, Engineering, Language Implementers +20
Stateless model checking for TSO and PSO
Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig et al. · Acta Informatica · 2016 · 37 citations · Full text
Rows per page
1–5 of 6