Marcel Pockrandt

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Linear Transformation

Formal Specification

Hardware Software

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Paula Herber, Marcel Pockrandt, Sabine Glesner
STATE - A SystemC to Timed Automata Transformation Engine. HPCC/CSS/ICESS (2015)
Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner
Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS (2013)
Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner
Optimized Transformation and Verification of SystemC Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Marcel Pockrandt
Optimierte Generierung von Konformitätstests für eingebettete Echtzeitsysteme. Softwaretechnik-Trends 31 (1) (2011)
Paula Herber, Marcel Pockrandt, Sabine Glesner
Transforming SystemC Transaction Level Models into UPPAAL timed automata. MEMOCODE (2011)
Marcel Pockrandt, Paula Herber, Sabine Glesner
Model checking a SystemC/TLM design of the AMBA AHB protocol. ESTIMedia (2011)
Paula Herber, Marcel Pockrandt, Sabine Glesner
Automated conformance evaluation of SystemC designs using timed automata. ETS (2010)