2 citations · 4 across the 3 of their papers we have counts for
4 papers
Quiescence in Concert: Composing Multi-Channel Time-Outs for IOCO
Laura Brandán Briones, Petra van den Bos, Marcus Gerhold
In Model-Based Testing (MBT), test suites are generated automatically from a formal specification. The theory of testing real-time systems is rich, but often underused in practice,…
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos +1
Model-based testing (MBT) derives test suites from a behavioural specification of the system under test. In practice, engineers favour simple models, such as labelled transition sy…
Distributed Diagnosability Analysis with Petri Nets
Laura Brandán-Briones, Agnes Madalinski, Hernán Ponce-de-León
We propose a framework to distributed diagnos- ability analysis of concurrent systems modeled with Petri nets as a collection of components synchronizing on common observable trans…
Distributed Analysis for Diagnosability in Concurrent Systems
Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones
Complex systems often exhibit unexpected faults that are difficult to handle. Such systems are desirable to be diagnosable, i.e. faults can be automatically detected as they occur…