Test Derivation from Timed Automata. - Laura Brandán Briones; Mathias Röhl (Model-Based Testing of Reactive Systems, 2004)

A Test Generation Framework for quiescent Real-Time Systems. - Laura Brandán Briones; Ed Brinksma (FATES, 2004)

Testing Real-Time Multi Input-Output Systems. - Laura Brandán Briones; Ed Brinksma (ICFEM, 2005)

A Semantic Framework for Test Coverage. - Laura Brandán Briones; Ed Brinksma; Mariëlle Stoelinga (ATVA, 2006)

Theories for Model-based Testing: Real-time and Coverage. - Laura Brandán Briones (2007)

Optimizing the System Observability Level for Diagnosability. - Laura Brandán Briones; Alexander Lazovik; Philippe Dague (ISoLA, 2008)

Diagnosability Behaviour over faulty concurrent systems. - Gonzalo Bonigo; Laura Brandán Briones (CLEI, 2013)

Distributed Bounded Predictability. - Laura Brandán Briones; Agnes Madalinski (SCCC, 2013)

Distributed Diagnosability Analysis with Petri Nets. - Laura Brandán Briones; Agnes Madalinski; Hernán Ponce de León (CoRR, 2015)

Distributed Analysis for Diagnosability in Concurrent Systems. - Hernán Ponce de León; Gonzalo Bonigo; Laura Brandán Briones (CoRR, 2015)

Fault Manifestability Verification for Discrete Event Systems. - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (ECAI, 2016)

Diagnosis and Testing: How is Their Relation? Can They Be Combined? - Laura Brandán Briones; Agnes Madalinski (ModelEd, TestEd, TrustEd, 2017)

How to Be Sure a Faulty System Does Not Always Appear Healthy? - Lina Ye; Philippe Dague; Delphine Longuet; Laura Brandán Briones; Agnes Madalinski (VECoS, 2018)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata. - Laura Brandán Briones; Marcus Gerhold; Petra van den Bos; Mariëlle Stoelinga (CoRR, 2025)