Marcel Pockrandt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2015
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | HPCC | STATE - A SystemC to Timed Automata Transformation Engine. | Paula Herber, Marcel Pockrandt, Sabine Glesner |
| 2011 | MEMOCODE | Transforming SystemC Transaction Level Models into UPPAAL timed automata. | Paula Herber, Marcel Pockrandt, Sabine Glesner |
| 2010 | ETS | Automated conformance evaluation of SystemC designs using timed automata. | Paula Herber, Marcel Pockrandt, Sabine Glesner |