Stefan Jaax

21 papers A* 2A 2B 4Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2021 B conf
Running Time Analysis of Broadcast Consensus Protocols.
FoSSaCS
Philipp Czerner, Stefan Jaax
2021 J jnl
Running Time Analysis of Broadcast Consensus Protocols.
CoRR
Philipp Czerner, Stefan Jaax
2021 J jnl
The complexity of verifying population protocols.
Distributed Comput.
Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
2021 J jnl
Towards efficient verification of population protocols.
Formal Methods Syst. Des.
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
2020 B conf
On Affine Reachability Problems.
MFCS
Stefan Jaax, Stefan Kiefer
2020 B conf
Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.
ATVA
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
2020 J jnl
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs.
CoRR
Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer
2020 — —
Population Protocols: Expressiveness, Succinctness and Automatic Verification.
Stefan Jaax
2020 A conf
Succinct Population Protocols for Presburger Arithmetic.
STACS
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
2019 B conf
Expressive Power of Broadcast Consensus Protocols.
CONCUR
Michael Blondin, Javier Esparza, Stefan Jaax
2019 J jnl
Expressive Power of Oblivious Consensus Protocols.
CoRR
Michael Blondin, Javier Esparza, Stefan Jaax
2019 J jnl
On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices.
CoRR
Stefan Jaax, Stefan Kiefer
2019 J jnl
Succinct Population Protocols for Presburger Arithmetic.
CoRR
Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax
2019 J jnl
The Complexity of Verifying Population Protocols.
CoRR
Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy
2018 A* conf
Black Ninjas in the Dark: Formal Analysis of Population Protocols.
LICS
Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera
2018 J jnl
Large Flocks of Small Birds: On the Minimal Size of Population Protocols.
CoRR
Michael Blondin, Javier Esparza, Stefan Jaax
2018 A conf
Large Flocks of Small Birds: on the Minimal Size of Population Protocols.
STACS
Michael Blondin, Javier Esparza, Stefan Jaax
2018 — conf
Peregrine: A Tool for the Analysis of Population Protocols.
CAV (1)
Michael Blondin, Javier Esparza, Stefan Jaax
2017 A* conf
Towards Efficient Verification of Population Protocols.
PODC
Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer
2017 J jnl
Towards Efficient Verification of Population Protocols.
CoRR
Michael Blondin, Stefan Jaax, Javier Esparza, Philipp J. Meyer
2016 — conf
Limit-Deterministic Büchi Automata for Linear Temporal Logic.
CAV (2)
Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský