6 citations
- Centre National de la Recherche ScientifiqueFR1 paper
- Département d'InformatiqueFR1 paper
- École Normale Supérieure - PSLFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Max Planck Institute for Software SystemsDE1 paper
- TU WienAT1 paper
- Université Paris Sciences et LettresFR1 paper
2 papers
cs.LO2021★ 1 cited
A case study on parametric verification of failure detectors
Thanh-Hai Tran, Igor Konnov, Josef Widder
Partial synchrony is a model of computation in many distributed algorithms and modern blockchains. These algorithms are typically parameterized in the number of participants, and t…
cs.PL2019★ 6 cited
Perfectly Parallel Fairness Certification of Neural Networks
Caterina Urban, Maria Christakis, Valentin Wüstholz +1
Recently, there is growing concern that machine-learning models, which currently assist or even automate decision making, reproduce, and in the worst case reinforce, bias of the tr…