dblp.uni-trier.dewww.uni-trier.de

Laura Brandán Briones

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)