3 citations · 4 across the 2 of their papers we have counts for
2 papers
q-bio.PE2022★ 1 cited
Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations
Marco Roveri, Franc Ivankovic, Luigi Palopoli +1
There is a growing interest in modeling and analyzing the spread of diseases like the SARS-CoV-2 infection using stochastic models. These models are typically analyzed quantitative…
cs.NI2022★ 3 cited
Advanced Models for the OSPF Routing Protocol
Courtney Darville, Peter Höfner, Franc Ivankovic +1
We present two formal models for the OSPF routing protocol, designed for the model checker Uppaal. The first one is an optimised model of an existing model that allows to check lar…