Skip to content

Laura Brandn Briones

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

6

Venues

6

Active years

2005–2018

Best venue rank

C

Where they publish

Papers

6 indexed papers, newest first.

YearVenueTitleAuthors
2018VECoSHow to Be Sure a Faulty System Does Not Always Appear Healthy?Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski
2016ECAIFault Manifestability Verification for Discrete Event Systems.Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandn Briones, Agnes Madalinski
2013CLEIDiagnosability Behaviour over faulty concurrent systems.Gonzalo Bonigo, Laura Brandn Briones
2008ISoLAOptimizing the System Observability Level for Diagnosability.Laura Brandn Briones, Alexander Lazovik, Philippe Dague
2006ATVAA Semantic Framework for Test Coverage.Laura Brandn Briones, Ed Brinksma, Marille Stoelinga
2005ICFEMTesting Real-Time Multi Input-Output Systems.Laura Brandn Briones, Ed Brinksma