activity
20102026
most citedFolk Theorems on the Correspondence between State-Based and Event-Based Systems

27 citations · 152 across the 31 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.CR2023

Automated generation of attack trees with optimal shape and labelling

Olga Gadyatskaya, Sjouke Mauw, Rolando Trujillo-Rasuac +1

This article addresses the problem of automatically generating attack trees that soundly and clearly describe the ways the system can be attacked. Soundness means that the attacks…

cs.LO2023

Real Equation Systems with Alternating Fixed-points (full version with proofs)

Jan Friso Groote, Tim A. C. Willemse

We introduce the notion of a Real Equation System (RES), which lifts Boolean Equation Systems (BESs) to the domain of extended real numbers. Our RESs allow arbitrary nesting of lea…