Laura Brandán Briones
Lecturer (Profesor Adjunto)
Researcher CONICET (Asistente)

Laura obtained her MSc degree in Computer Science from FAMAF, UNC, in 2003 and her PhD from the University of Twente, The Netherlands, in 2007. She was a postdoctoral researcher at the Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud, France.

Publications:

L. Ye, Dague, P. , Longuet, D. , Brandán Briones, L. , and Madalinski, A. , “How to Be Sure a Faulty System Does Not Always Appear Healthy?”, in Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, vol. 11181, M. Faouzi Atig, Bensalem, S. , Bliudze, S. , and Monsuez, B. , Eds. Springer, 2018, pp. 114–129.PDF icon paper-802.pdf (420.8 KB)
H. Ponce de León, Bonigo, G. , and Brandán Briones, L. , “Distributed analysis of diagnosability in concurrent systems”, in Proceedings of the 24th International Workshop on Principles of Diagnosis (DX'13), Jerusalem, Israel, 2013.PDF icon paper-333.pdf (226.67 KB)
L. Brandán Briones, “Assume-guarantee Reasoning with ioco Testing Relation”, in Proceedings of the 22nd IFIP International Conference on Testing Software and Systems: Short Papers, 2010, pp. 103-107.PDF icon paper-182.pdf (562.12 KB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054