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

Alexander Jesser Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich: Towards assertion-based verification of heterogeneous system designs. DATE 2010: 1171-1176
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Jesser, Lars Hedrich: A symbolic approach for mixed-signal model checking. ASP-DAC 2008: 404-409
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Jesser, Stefan Lämmermann, Alexander Pacholik, Roland Weiss, Jürgen Ruf, Lars Hedrich, Wolfgang Fengler, Thomas Kropf, Wolfgang Rosenstiel: Advanced Assertion-Based Design for Mixed-Signal Verification. IEICE Transactions 91-A(12): 3548-3555 (2008)

Coauthor Index

1Wolfgang Fengler [1]
2Lars Hedrich [1] [2] [3]
3Thomas Kropf [1] [3]
4Stefan Lämmermann [1] [3]
5Alexander Pacholik [1]
6Wolfgang Rosenstiel [1] [3]
7Jürgen Ruf [1] [3]
8Alexander Viehl [3]
9Roland J. Weiss (Roland Weiss) [1]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page