| 2007 |
|---|
| 7 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
Transactor-based Formal Verification of Real-time Embedded Systems.
FDL 2007: 305-310 |
| 6 | EE | Erik Larsson,
Mehdi Amirijoo,
Daniel Karlsson,
Petru Eles:
What impacts course evaluation?
ITiCSE 2007: 333 |
| 2006 |
|---|
| 5 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
Formal verification of systemc designs using a petri-net based representation.
DATE 2006: 1228-1233 |
| 2005 |
|---|
| 4 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
Validation of Embedded Systems Using Formal Method Aided Simulation.
DSD 2005: 196-201 |
| 2004 |
|---|
| 3 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
A Formal Verification Methodology for IP-based Designs.
DSD 2004: 372-379 |
| 2 | EE | Daniel Karlsson,
Petru Eles,
Zebo Peng:
A Formal Verification Approach for IP-based Designs.
FDL 2004: 556-568 |
| 2002 |
|---|
| 1 | EE | Petru Eles,
Zebo Peng,
Daniel Karlsson:
Formal Verification in a Component-Based Reuse Methodology.
ISSS 2002: 156-161 |
