Laura Brandán Briones

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 3

Top Topics

Concurrent Systems

Model Based Diagnosis

Failure Diagnosis

Top Venues

ModelEd, TestEd, TrustEd

University of Twente, Enschede, Netherlands (PHD)

Education History

University of Twente, Enschede, Netherlands

PHD

Publications

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
How to Be Sure a Faulty System Does Not Always Appear Healthy? VECoS (2018)
Laura Brandán Briones, Agnes Madalinski
Diagnosis and Testing: How is Their Relation? Can They Be Combined? ModelEd, TestEd, TrustEd (2017)
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski
Fault Manifestability Verification for Discrete Event Systems. ECAI (2016)
Laura Brandán Briones, Agnes Madalinski, Hernán Ponce de León
Distributed Diagnosability Analysis with Petri Nets. CoRR (2015)
Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones
Distributed Analysis for Diagnosability in Concurrent Systems. CoRR (2015)
Laura Brandán Briones, Agnes Madalinski
Distributed Bounded Predictability. SCCC (2013)
Gonzalo Bonigo, Laura Brandán Briones
Diagnosability Behaviour over faulty concurrent systems. CLEI (2013)
Laura Brandán Briones, Alexander Lazovik, Philippe Dague
Optimizing the System Observability Level for Diagnosability. ISoLA (2008)
Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga
A Semantic Framework for Test Coverage. ATVA (2006)
Laura Brandán Briones, Ed Brinksma
Testing Real-Time Multi Input-Output Systems. ICFEM (2005)
Laura Brandán Briones, Ed Brinksma
Real-Time Systems. FATES (2004)
Laura Brandán Briones, Mathias Röhl
Test Derivation from Timed Automata. Model-Based Testing of Reactive Systems (2004)