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

Yann Oddos

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

2009
4EEYann Oddos, Katell Morin-Allory, Dominique Borrione, Marc Boule, Zeljko Zilic: MYGEN: automata-based on-line test generator for assertion-based verification. ACM Great Lakes Symposium on VLSI 2009: 75-80
2008
3EEYann Oddos, Katell Morin-Allory, Dominique Borrione: Assertion-Based Design with Horus. MEMOCODE 2008: 75-76
2007
2 Yann Oddos, Katell Morin-Allory, Dominique Borrione: Prototyping Generators for On-line Test Vector Generation Based on PSL Properties. DDECS 2007: 383-388
2006
1EEYann Oddos, Katell Morin-Allory, Dominique Borrione: On-Line Test Vector Generation from Temporal Constraints Written in PSL. VLSI-SoC 2006: 397-402

Coauthor Index

1Dominique Borrione [1] [2] [3] [4]
2Marc Boule [4]
3Katell Morin-Allory [1] [2] [3] [4]
4Zeljko Zilic [4]

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