27 citations · 152 across the 31 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LO2026
Minimal and Canonical Quotients for Simulation Equivalences
Eduardo Costa Martins, Tim Willemse
Quotients have only been studied for a handful of equivalences in the linear time-branching time spectrum, for which there are results pertaining to canonicity and minimality. We e…
cs.LO2026★ 1 cited
Verification of Parametric Markov Automata under Time-bounded Reachability
Kevin van de Glind, Matthias Volk, Tim Willemse
Analysis of Markov models is of high importance for formal verification. Until now, analysis of Markov Automata required them to be fully specified, which is a considerable restric…
cs.LO2026
Constructing Weakly Terminating Interface Protocols
Debjyoti Bera, Tim A. C. Willemse
Interfaces play a central role in determining compatible component compositions by prescribing permissible interactions between a service provider (server) and its consumers (clien…