An Efficient Algorithm for Real-Time Symbolic Model Checking. - Jürgen Frößl; Thomas Kropf; Joachim Gerlach (ED&TC, 1996)

A Methodology for Rapid Analysis and Optimization of Embedded Systems. - Heinz-Josef Eikerling; Wolfram Hardt; Joachim Gerlach; Wolfgang Rosenstiel (ECBS, 1996)

A Scalable Methodology for Cost Estimation in a Transformational High-Level Design Space Exploration Environment. - Joachim Gerlach; Wolfgang Rosenstiel (DATE, 1998)

Eine Umgebung zur transformationalen Entwurfsraum-Exploration. - Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 1998)

Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene. - Joachim Gerlach; Thilo Klöpfer; Wolfgang Rosenstiel (MBMV, 1999)

Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus. - Thomas Kropf; Joachim Gerlach; Jürgen Haufe; Mathias Kortke (Informationstechnik Tech. Inform., 1999)

A Methodology and Tool for Automated Transformational High-Level Design Space Exploration. - Joachim Gerlach; Wolfgang Rosenstiel (ICCD, 2000)

Transformationale Entwurfsraum-Exploration für den Entwurf eingebetteter Systeme. - Joachim Gerlach (Logos-Verlag, 2000)

The simulation semantics of systemC. - Jürgen Ruf; Dirk W. Hoffmann; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Wolfgang Müller 003 (DATE, 2001)

Checking temporal properties in SystemC specifications. - Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel (HLDVT, 2002)

Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1. - Axel G. Braun; Thorsten Schubert; Martin Stark; Karsten Haug; Joachim Gerlach; Wolfgang Rosenstiel (FDL, 2003)

Automated Conversion of SystemC Fixed-Point Data Types for Hardware Synthesis. - Axel G. Braun; Jan B. Freuer; Joachim Gerlach; Wolfgang Rosenstiel (VLSI-SOC, 2003)

Automated Conversion of SystemC Fixed-Point Data Types. - Axel G. Braun; Djones Lettnin; Joachim Gerlach; Wolfgang Rosenstiel (VLSI-SoC (Selected Papers), 2003)

Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks. - Djones Lettnin; Axel G. Braun; Martin Bogdan; Joachim Gerlach; Wolfgang Rosenstiel (DATE, 2004)

Evaluation of a Refinement-Driven SystemC'-Based Design Flow. - Thorsten Schubert; Jürgen Hanisch; Joachim Gerlach; Jens-E. Appell; Wolfgang Nebel (DATE, 2004)

Ein XML-basierter Ansatz zur flexiblen Darstellung und Transformation von Schaltungsbeschreibungen. - Jan-Hendrik Oetjens; Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 2004)

SystemC-Based Communication and Performance Analysis. - Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel; Axel Siebenborn; Oliver Bringmann 001 (FDL, 2005)

Flexible specification and application of rule-based transformations in an automotive design flow. - Jan-Hendrik Oetjens; Joachim Gerlach; Wolfgang Rosenstiel (DATE Designers' Forum, 2006)

Industrial Partners Expectations from the ICODES Methodology. - Giovanna Ferrera; Anne-Marie Fouilliart; Joachim Gerlach (FDL, 2006)

Introducing new verification methods into a company's design flow: an industrial user's point of view. - Robert Lissel; Joachim Gerlach (DATE, 2007)

Coverage Driven Verification applied to Embedded Software. - Djones Lettnin; Markus Winterholer; Axel G. Braun; Joachim Gerlach; Jürgen Ruf; Thomas Kropf; Wolfgang Rosenstiel (ISVLSI, 2007)

Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen. - Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 2007)

Semiformal Verification of Temporal Properties in Embedded Software. - Djones Lettnin; Pradeep Kumar Nalla; Jürgen Ruf; Roland J. Weiss; Axel G. Braun; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel (MBMV, 2007)

On the Verification of High-Order Constraint Compliance in IC Design. - Jan B. Freuer; Göran Jerke; Joachim Gerlach; Wolfgang Nebel (DATE, 2008)

Comprehensive Platform and Component Modeling of Heterogeneous Interconnected Systems (invited). - Jochen Zimmermann; Oliver Bringmann 001; Joachim Gerlach; Florian Schaefer; Ulrich Nageldinger (FDL, 2008)

Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität. - Matthias Müller 004; Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 2008)

Semiformal verification of temporal properties in automotive hardware dependent software. - Djones Lettnin; Pradeep Kumar Nalla; Jörg Behrend; Jürgen Ruf; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Volker Schönknecht; Stephan Reitemeyer (DATE, 2009)

An automated flow for integrating hardware IP into the automotive systems engineering process. - Jan-Hendrik Oetjens; Ralph Görgen; Joachim Gerlach; Wolfgang Nebel (DATE, 2009)

Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation. - Matthias Müller 004; Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel; Dennis Nienhüser; Johann Marius Zöllner; Oliver Bringmann 001 (DATE, 2010)

RTOS-aware modeling of embedded hardware/software systems. - Matthias Müller 004; Joachim Gerlach; Wolfgang Rosenstiel (ICCD, 2010)

SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study. - Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 2011)

Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen. - Stefan Müller; Yumin Zhou; Axel G. Braun; Joachim Gerlach; Wolfgang Rosenstiel (MBMV, 2013)

Simulation and evaluation of sensor characteristics in vision based advanced driver assistance systems. - Dennis Hospach; Stefan Müller; Oliver Bringmann 001; Joachim Gerlach; Wolfgang Rosenstiel (ITSC, 2014)

Robustness Evaluation and Improvement for Vision-Based Advanced Driver Assistance Systems. - Stefan Müller; Dennis Hospach; Oliver Bringmann 001; Joachim Gerlach; Wolfgang Rosenstiel (ITSC, 2015)

Framework for Varied Sensor Perception in Virtual Prototypes. - Stefan Müller; Dennis Hospach; Joachim Gerlach; Oliver Bringmann 001; Wolfgang Rosenstiel (MBMV, 2015)

Simulationsbasierte Analyse energietechnischer Systemszenarien. - Andy Sauter; Joachim Gerlach (MBMV, 2016)

Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz. - Johannes Mast; Stefan Rädle; Joachim Gerlach (MBMV, 2018)

Ant Colony Optimization for Optimized Operation Scheduling of Combined Heat and Power Plants. - Johannes Mast; Stefan Rädle; Joachim Gerlach; Oliver Bringmann 001 (EvoApplications, 2019)

A computational intelligence based approach for optimized operation scheduling of energy plants. - Johannes Mast; Stefan Rädle; Joachim Gerlach; Oliver Bringmann 001 (Autom., 2020)

Segmentale Geschäftsmodell-Evaluation am Beispiel der digitalen Mehrwert-Anwendung Energiemanagement. - Niklas Briem; Benjamin Pottkamp; Joachim Gerlach; Jessica Rövekamp; Alexander Bade (AKWI Jahrestagung, 2024)