| 2007 |
|---|
| 6 | EE | Martin 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 |
| 5 | EE | Martin Oberkönig,
Martin Schickel,
Hans Eveking:
A Quantitative Completeness Analysis for Property-Sets.
FMCAD 2007: 158-161 |
| 4 | EE | Hans Eveking,
Martin Braun,
Martin Schickel,
Martin Schweikert,
Volker Nimbler:
Multi-Level Assertion-Based Design.
MEMOCODE 2007: 85-86 |
| 2006 |
|---|
| 3 | EE | Martin Schickel,
Volker Nimbler,
Martin Braun,
Hans Eveking:
On Consistency and Completeness of Property-Sets.
FDL 2006: 241-248 |
| 2003 |
|---|
| 2 | EE | Lorenz Hagenmeyer,
Martin Braun,
Frank Haselberger:
Entwicklung eines Mixed-Mock-Up Simulators für arbeitswissenschaftliche Untersuchungen.
Mensch & Computer 2003 |
| 1995 |
|---|
| 1 | | Hermann Kopetz,
Martin Braun,
Christian Ebner,
Andreas Krüger,
Dietmar Millinger,
Roman Nossal,
Anton V. Schedl:
The Design of Large Real-Time Systems: The Time-Triggered Approach.
IEEE Real-Time Systems Symposium 1995: 182-189 |
