Search Results - Aronis, Stavros

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction

    Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction by Abdulla, Parosh Aziz, Aronis, Stavros, Jonsson, Bengt, Sagonas, Konstantinos

    Published in Journal of the ACM
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Stateless model checking for TSO and PSO

    Stateless model checking for TSO and PSO by Abdulla, Parosh Aziz, Aronis, Stavros, Atig, Mohamed Faouzi, Jonsson, Bengt, Leonardsson, Carl, Sagonas, Konstantinos

    Published in Acta informatica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform

    Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform by Trinder, Phil, Chechina, Natalia, Papaspyrou, Nikolaos, Sagonas, Konstantinos, Thompson, Simon, Adams, Stephen, Aronis, Stavros, Baker, Robert, Bihari, Eva, Boudeville, Olivier, Cesarini, Francesco, Stefano, Maurizio Di, Eriksson, Sverker, fördős, Viktória, Ghaffari, Amir, Giantsios, Aggelos, Green, Rickard, Hoch, Csaba, Klaftenegger, David, Li, Huiqing, Lundin, Kenneth, Mackenzie, Kenneth, Roukounaki, Katerina, Tsiouris, Yiannis, Winblad, Kjell

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Stateless Model Checking for TSO and PSO

    Stateless Model Checking for TSO and PSO by Abdulla, Parosh, Aronis, Stavros, Atig, Mohammed Faouzi, Jonsson, Bengt, Leonardsson, Carl, Sagonas, Konstantinos

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform

    Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform by Trinder, Phil, Chechina, Natalia, Papaspyrou, Nikolaos, Sagonas, Konstantinos, Simon Thompson, Adams, Stephen, Aronis, Stavros, Baker, Robert, Bihari, Eva, Boudeville, Olivier, Cesarini, Francesco, Maurizio Di Stefano, Eriksson, Sverker, dos, Viktoria, Ghaffari, Amir, Giantsios, Aggelos, Green, Rickard, Hoch, Csaba, Klaftenegger, David, Li, Huiqing, Lundin, Kenneth, Mackenzie, Kenneth, Roukounaki, Katerina, Tsiouris, Yiannis, Winblad, Kjell

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: