Laura Brandán Briones

According to our database, Laura Brandán Briones authored at least 13 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

How to Be Sure a Faulty System Does Not Always Appear Healthy?

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

Diagnosis and Testing: How is Their Relation? Can They Be Combined?

Laura Brandán Briones, Agnes Madalinski

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2016

Fault Manifestability Verification for Discrete Event Systems.

Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Distributed Analysis for Diagnosability in Concurrent Systems.

Hernán Ponce de León, Gonzalo Bonigo, Laura Brandán Briones

CoRR, 2015

Distributed Diagnosability Analysis with Petri Nets.

Laura Brandán Briones, Agnes Madalinski, Hernán Ponce de León

CoRR, 2015

2013

Distributed Bounded Predictability.

Laura Brandán Briones, Agnes Madalinski

Proceedings of the 32nd International Conference of the Chilean Computer Science Society, 2013

Diagnosability Behaviour over faulty concurrent systems.

Gonzalo Bonigo, Laura Brandán Briones

Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

2008

Optimizing the System Observability Level for Diagnosability.

Laura Brandán Briones, Alexander Lazovik, Philippe Dague

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

Theories for Model-based Testing: Real-time and Coverage.

Laura Brandán Briones

PhD thesis, 2007

2006

A Semantic Framework for Test Coverage.

Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Testing Real-Time Multi Input-Output Systems.

Laura Brandán Briones, Ed Brinksma

Proceedings of the Formal Methods and Software Engineering, 2005

2004

A Test Generation Framework for <i>quiescent</i> Real-Time Systems.

Laura Brandán Briones, Ed Brinksma

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

Test Derivation from Timed Automata.

Laura Brandán Briones, Mathias Röhl

Proceedings of the Model-Based Testing of Reactive Systems, 2004