| 2010 | DATE | Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation. | Matthias Mller, Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel, Dennis Nienhser, Johann Marius Zllner, Oliver Bringmann |
| 2010 | ICCD | RTOS-aware modeling of embedded hardware/software systems. | Matthias Mller, Joachim Gerlach, Wolfgang Rosenstiel |
| 2009 | DATE | Semiformal verification of temporal properties in automotive hardware dependent software. | Djones Lettnin, Pradeep Kumar Nalla, Jrg Behrend, Jrgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schnknecht, Stephan Reitemeyer |
| 2009 | DATE | An automated flow for integrating hardware IP into the automotive systems engineering process. | Jan-Hendrik Oetjens, Ralph Grgen, Joachim Gerlach, Wolfgang Nebel |
| 2008 | DATE | On the Verification of High-Order Constraint Compliance in IC Design. | Jan B. Freuer, Gran Jerke, Joachim Gerlach, Wolfgang Nebel |
| 2008 | FDL | Comprehensive Platform and Component Modeling of Heterogeneous Interconnected Systems (invited). | Jochen Zimmermann, Oliver Bringmann, Joachim Gerlach, Florian Schaefer, Ulrich Nageldinger |
| 2007 | DATE | Introducing new verification methods into a company's design flow: an industrial user's point of view. | Robert Lissel, Joachim Gerlach |
| 2006 | DATE | Flexible specification and application of rule-based transformations in an automotive design flow. | Jan-Hendrik Oetjens, Joachim Gerlach, Wolfgang Rosenstiel |
| 2006 | FDL | Industrial Partners Expectations from the ICODES Methodology. | Giovanna Ferrera, Anne-Marie Fouilliart, Joachim Gerlach |
| 2005 | FDL | SystemC-Based Communication and Performance Analysis. | Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel, Axel Siebenborn, Oliver Bringmann |
| 2004 | DATE | Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks. | Djones Lettnin, Axel G. Braun, Martin Bogdan, Joachim Gerlach, Wolfgang Rosenstiel |
| 2004 | DATE | Evaluation of a Refinement-Driven SystemC'-Based Design Flow. | Thorsten Schubert, Jrgen Hanisch, Joachim Gerlach, Jens-E. Appell, Wolfgang Nebel |
| 2003 | FDL | Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1. | Axel G. Braun, Thorsten Schubert, Martin Stark, Karsten Haug, Joachim Gerlach, Wolfgang Rosenstiel |
| 2001 | DATE | The simulation semantics of systemC. | Jrgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Mller |
| 2000 | ICCD | A Methodology and Tool for Automated Transformational High-Level Design Space Exploration. | Joachim Gerlach, Wolfgang Rosenstiel |
| 1998 | DATE | A Scalable Methodology for Cost Estimation in a Transformational High-Level Design Space Exploration Environment. | Joachim Gerlach, Wolfgang Rosenstiel |
| 1996 | DATE | An Efficient Algorithm for Real-Time Symbolic Model Checking. | Jrgen Frl, Thomas Kropf, Joachim Gerlach |