| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 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
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page