150 citations · 623 across the 65 of their papers we have counts for
3 papers · 1 filter
Verification of interlocking systems using statistical model checking
Quentin Cappart, Christophe Limbree, Pierre Schaus +3
In the railway domain, an interlocking is the system ensuring safe train traffic inside a station by controlling its active elements such as the signals or points. Modern interlock…
Long-Term Average Cost in Featured Transition Systems
Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee +1
A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional…
A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories
Uli Fahrenberg, Axel Legay
We propose behavioral specification theories for most equivalences in the linear-time--branching-time spectrum. Almost all previous work on specification theories focuses on bisimi…