 | 2011 |
|---|
| 7 |       | Marcel Pockrandt,
Paula Herber,
Sabine Glesner:
Model checking a SystemC/TLM design of the AMBA AHB protocol.
ESTImedia 2011: 66-75 |
| 6 | | Joachim Hänsel,
Daniela Rose,
Paula Herber,
Sabine Glesner:
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems.
ICST 2011: 170-179 |
| 5 | | Paula Herber,
Marcel Pockrandt,
Sabine Glesner:
Transforming SystemC Transaction Level Models into UPPAAL timed automata.
MEMOCODE 2011: 161-170 |
| 2010 |
|---|
| 4 | | Paula Herber,
Marcel Pockrandt,
Sabine Glesner:
Automated conformance evaluation of SystemC designs using timed automata.
European Test Symposium 2010: 188-193 |
| 3 |  | Paula Herber:
A Framework for Automated HW / SW Co-Verification of SystemC Designs Using Timed Automata.
Universität Berlin 2010: 1-147 |
| 2009 |
|---|
| 2 | | Paula Herber,
Florian Friedemann,
Sabine Glesner:
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process.
TAP 2009: 121-136 |
| 2008 |
|---|
| 1 | | Paula Herber,
Joachim Fellmuth,
Sabine Glesner:
Model checking SystemC designs using timed automata.
CODES+ISSS 2008: 131-136 |
Data released under the ODC-BY 1.0 license — See also our legal information page