 | 2009 |
|---|
| 4 |       | Rainer Findenig,
Florian Eibensteiner,
Markus Pfaff:
Optimizing the Hardware Usage of Parallel FSMs.
EUROCAST 2009: 63-68 |
| 3 | | Florian Eibensteiner,
Rainer Findenig,
Markus Pfaff:
SynPSL: Behavioral Synthesis of PSL Assertions.
EUROCAST 2009: 69-74 |
| 2007 |
|---|
| 2 | | Florian Eibensteiner,
Rainer Findenig,
Jürgen Tossold,
Wilfried Kubinger,
Josef Langer,
Markus Pfaff:
Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip.
EUROCAST 2007: 1017-1024 |
| 1 | | Harald Obereder,
Markus Pfaff:
Behavioral synthesis of property specification language (PSL) assertions.
IEEE International Workshop on Rapid System Prototyping 2007: 157-160 |
