Laura Brandán Briones

	2008
5		Laura Brandán Briones, Alexander Lazovik, Philippe Dague: Optimizing the System Observability Level for Diagnosability. ISoLA 2008: 815-830
	2006
4		Laura Brandán Briones, Ed Brinksma, Mariëlle Stoelinga: A Semantic Framework for Test Coverage. ATVA 2006: 399-414
	2005
3		Laura Brandán Briones, Ed Brinksma: Testing Real-Time Multi Input-Output Systems. ICFEM 2005: 264-279
	2004
2		Laura Brandán Briones, Ed Brinksma: A Test Generation Framework for quiescent Real-Time Systems. FATES 2004: 64-78
1		Laura Brandán Briones, Mathias Röhl: Test Derivation from Timed Automata. Model-Based Testing of Reactive Systems 2004: 201-231

Coauthor Index

1	Ed Brinksma	[2] [3] [4]
2	Philippe Dague	[5]
3	Alexander Lazovik	[5]
4	Mathias Röhl	[1]
5	Mariëlle Stoelinga	[4]

Colors in the list of coauthors