activity
20122022
most citedCounter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms

15 citations · 41 across the 6 of their papers we have counts for

collaborators
Showing cs.OHShow all

1 paper · 1 filter

cs.OH2021

A Composable Glitch-Aware Delay Model

Jürgen Maier, Daniel Öhlinger, Ulrich Schmid +2

We introduce the Composable Involution Delay Model (CIDM) for fast and accurate digital simulation. It is based on the Involution Delay Model (IDM) [Függer et al., IEEE TCAD 2020],…