Stefan Jaax

According to our database, Stefan Jaax authored at least 14 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Towards efficient verification of population protocols.

Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer

Formal Methods Syst. Des., 2021

The complexity of verifying population protocols.

Javier Esparza, Stefan Jaax, Mikhail A. Raskin, Chana Weil-Kennedy

Distributed Comput., 2021

Running Time Analysis of Broadcast Consensus Protocols.

Philipp Czerner, Stefan Jaax

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Population Protocols: Expressiveness, Succinctness and Automatic Verification.

Stefan Jaax

PhD thesis, 2020

Succinct Population Protocols for Presburger Arithmetic.

Michael Blondin, Javier Esparza, Blaise Genest, Martin Helfrich, Stefan Jaax

Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

On Affine Reachability Problems.

Stefan Jaax, Stefan Kiefer

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.

Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

On Semigroups of Two-Dimensional Upper-Triangular Integer Matrices.

Stefan Jaax, Stefan Kiefer

CoRR, 2019

Expressive Power of Oblivious Consensus Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax

CoRR, 2019

Expressive Power of Broadcast Consensus Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Large Flocks of Small Birds: on the Minimal Size of Population Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax

Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

Black Ninjas in the Dark: Formal Analysis of Population Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Peregrine: A Tool for the Analysis of Population Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Limit-Deterministic Büchi Automata for Linear Temporal Logic.

Salomon Sickert, Javier Esparza, Stefan Jaax, Jan Kretínský

Proceedings of the Computer Aided Verification - 28th International Conference, 2016