Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
Erwan Mahe, Boutheina Bannour, Christophe Gaston +2
Offline runtime verification involves the static analysis of executions of a system against a specification. For distributed systems, it is generally not possible to characterize e…
cs.SE2019
Revisiting Semantics of Interactions for Trace Validity Analysis
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Interaction languages such as MSC are often associated with formal semantics by means of translations into distinct behavioral formalisms such as automatas or Petri nets. In contra…