direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Dr.-Ing. Marcel Pockrandt

Publications

2015

Herber, P., Pockrandt, M. and Glesner, S. (2015). STATE – a SystemC to Timed Automata Transformation Engine. International Conference on Embedded Software and Systems (ICESS). IEEE Computer Society.

Link to original publication

2014


2013

Pockrandt, M., Herber, P., Klös, V. and Glesner, S. (2013). Model Checking Memory-Related Properties of Hardware/Software Co-designs. International Embedded Systems Symposium (IESS 2013). Springer, 92-103.

Link to original publication

2012

Pockrandt, M., Herber, P., Gross, H. and Glesner, S. (2012). Optimized Transformation and Verification of SystemC Methods. Proceedings of the 12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012). Electronic Communications of the EASST.

Link to original publication

2011

Herber, P., Pockrandt, M. and Glesner, S. (2011). Transforming SystemC Transaction Level Models into UPPAAL Timed Automata. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign. IEEE Computer Society, 161-170.

Link to original publication

Pockrandt, M., Herber, P. and Glesner, S. (2011). Towards a Formal Semantics of the SystemC-TLM Core Interfaces. GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)


Pockrandt, M., Herber, P. and Glesner, S. (2011). Model Checking a SystemC/TLM Design of the AMBA AHB Protocol. IEEE/ACM Symposium on Embedded Systems for Real-time Multimedia. IEEE Computer Society, 66-75.

Link to original publication

Pockrandt, M. (2011). Optimierte Generierung von Konformitätstests für eingebettete Echtzeitsysteme. Softwaretechnik-Trends. DBLP, http://dblp.uni-trier.de.

Link to original publication

2010

Herber, P., Pockrandt, M. and Glesner, S. (2010). Automated Conformance Evaluation of SystemC Designs using Timed Automata. IEEE European Test Symposium. IEEE Computer Society, 188 - 193.

Link to original publication

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe