Marcel Pockrandt

According to our database, Marcel Pockrandt authored at least 8 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

STATE - A SystemC to Timed Automata Transformation Engine.

Paula Herber, Marcel Pockrandt, Sabine Glesner

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2014

Model checking memory-related properties of hardware/software codesigns (Modelchecking Speicher-bezogener Eigenschaften für Hardware/Software Codesigns)

Marcel Pockrandt

PhD thesis, 2014

2013

Model Checking Memory-Related Properties of Hardware/Software Co-designs.

Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012

Optimized Transformation and Verification of SystemC Methods.

Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner

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

2011

Optimierte Generierung von Konformitätstests für eingebettete Echtzeitsysteme.

Marcel Pockrandt

Softwaretechnik-Trends, 2011

Transforming SystemC Transaction Level Models into UPPAAL timed automata.

Paula Herber, Marcel Pockrandt, Sabine Glesner

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Model checking a SystemC/TLM design of the AMBA AHB protocol.

Marcel Pockrandt, Paula Herber, Sabine Glesner

Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2011

2010

Automated conformance evaluation of SystemC designs using timed automata.

Paula Herber, Marcel Pockrandt, Sabine Glesner

Proceedings of the 15th European Test Symposium, 2010