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

Hans Eveking

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

2007
13EEMartin Schickel, Martin Oberkönig, Martin Schweikert, Hans Eveking: A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set. FDL 2007: 291-292
12EEMartin Oberkönig, Martin Schickel, Hans Eveking: A Quantitative Completeness Analysis for Property-Sets. FMCAD 2007: 158-161
11EEHans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler: Multi-Level Assertion-Based Design. MEMOCODE 2007: 85-86
2006
10EEMartin Schickel, Volker Nimbler, Martin Braun, Hans Eveking: On Consistency and Completeness of Property-Sets. FDL 2006: 241-248
2003
9 Manfred Glesner, Ricardo Augusto da Luz Reis, Hans Eveking, Vincent John Mooney III, Leandro Soares Indrusiak, Peter Zipf: IFIP VLSI-SoC 2003, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Darmstadt, Germany, 1-3 December 2003 Technische Universität Darmstadt, Insitute of Microelectronic Systems 2003
1999
8EEGerd Ritter, Holger Hinrichsen, Hans Eveking: Formal Verification of Descriptions with Distinct Order of Memory Operations. ASIAN 1999: 308-321
7EEGerd Ritter, Hans Eveking, Holger Hinrichsen: Formal Verification of Designs with Complex Control by Symbolic Simulation. CHARME 1999: 234-249
6EEHans Eveking, Holger Hinrichsen, Gerd Ritter: Automatic Verification of Scheduling Results in High-Level Synthesis. DATE 1999: 59-64
1995
5 Paolo Camurati, Hans Eveking: Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings Springer 1995
1994
4EEHans Eveking: (V)HDL-based verification of heterogeneous synchronous/asynchronous systems. EURO-DAC 1994: 566-571
1993
3EEHans Eveking, Stefan Höreth: Optimization and Resynthesis of Complex Data-Paths. DAC 1993: 637-641
1990
2 Hans Eveking: Automatic Verification of Extensions of Hardware Descriptions. CAV 1990: 2-12
1EEHans Eveking, Christoph Mai: Formal verification of timing conditions. EURO-DAC 1990: 512-517

Coauthor Index

1Paolo Camurati [5]
2Manfred Glesner [9]
3Holger Hinrichsen [6] [7] [8]
4Stefan Höreth [3]
5Leandro Soares Indrusiak [9]
6Christoph Mai [1]
7Vincent John Mooney III (Vincent John Mooney) [9]
8Volker Nimbler [10] [11]
9Martin Oberkönig (Martin Braun) [10] [11] [12] [13]
10Ricardo Augusto da Luz Reis (Ricardo A. L. Reis, Ricardo Reis) [9]
11Gerd Ritter [6] [7] [8]
12Martin Schickel [10] [11] [12] [13]
13Martin Schweikert [11] [13]
14Peter Zipf [9]

Colors in the list of coauthors

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