Joachim Gerlach

Orcid: 0000-0002-0601-5188

According to our database¹, Joachim Gerlach authored at least 39 papers between 1996 and 2020.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

A computational intelligence based approach for optimized operation scheduling of energy plants.

[BibT_eX]

[DOI]

Autom., 2020

2019

Ant Colony Optimization for Optimized Operation Scheduling of Combined Heat and Power Plants.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation, 2019

2018

Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz.

[BibT_eX]

[DOI]

Johannes Mast

Stefan Rädle

Joachim Gerlach

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

2016

Simulationsbasierte Analyse energietechnischer Systemszenarien.

[BibT_eX]

[DOI]

Andy Sauter

Joachim Gerlach

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2015

Framework for Varied Sensor Perception in Virtual Prototypes.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Robustness Evaluation and Improvement for Vision-Based Advanced Driver Assistance Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014

Simulation and evaluation of sensor characteristics in vision based advanced driver assistance systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

2013

Ein template-basierter Ansatz zur automatisierten Generierung von SystemC-Modellen aus IP-XACT-Beschreibungen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

2011

SystemC-based Performance Optimization in Embedded System Design: A Synthetic-Aperture-Radar (SAR) Case Study.

[BibT_eX]

Axel G. Braun

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

2010

RTOS-aware modeling of embedded hardware/software systems.

[BibT_eX]

[DOI]

Matthias Müller

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the 28th International Conference on Computer Design, 2010

Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation.

[BibT_eX]

[DOI]

Johann Marius Zöllner

Oliver Bringmann

Proceedings of the Design, Automation and Test in Europe, 2010

2009

An automated flow for integrating hardware IP into the automotive systems engineering process.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Semiformal verification of temporal properties in automotive hardware dependent software.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität.

[BibT_eX]

Matthias Müller

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

Comprehensive Platform and Component Modeling of Heterogeneous Interconnected Systems (invited).

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

On the Verification of High-Order Constraint Compliance in IC Design.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Semiformal Verification of Temporal Properties in Embedded Software.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen.

[BibT_eX]

Axel G. Braun

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Coverage Driven Verification applied to Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

Introducing new verification methods into a company's design flow: an industrial user's point of view.

[BibT_eX]

[DOI]

Robert Lissel

Joachim Gerlach

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Industrial Partners Expectations from the ICODES Methodology.

[BibT_eX]

[DOI]

Giovanna Ferrera

Anne-Marie Fouilliart

Joachim Gerlach

Proceedings of the Forum on specification and Design Languages, 2006

Flexible specification and application of rule-based transformations in an automotive design flow.

[BibT_eX]

[DOI]

Jan-Hendrik Oetjens

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

2005

SystemC-Based Communication and Performance Analysis.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

2004

Ein XML-basierter Ansatz zur flexiblen Darstellung und Transformation von Schaltungsbeschreibungen.

[BibT_eX]

Jan-Hendrik Oetjens

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

Evaluation of a Refinement-Driven SystemC'-Based Design Flow.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

2003

Automated Conversion of SystemC Fixed-Point Data Types.

[BibT_eX]

[DOI]

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Automated Conversion of SystemC Fixed-Point Data Types for Hardware Synthesis.

[BibT_eX]

Proceedings of the IFIP VLSI-SoC 2003, 2003

Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2003

2002

Checking temporal properties in SystemC specifications.

[BibT_eX]

[DOI]

Axel G. Braun

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

The simulation semantics of systemC.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000

Transformationale Entwurfsraum-Exploration für den Entwurf eingebetteter Systeme.

[BibT_eX]

[DOI]

Joachim Gerlach

PhD thesis, 2000

A Methodology and Tool for Automated Transformational High-Level Design Space Exploration.

[BibT_eX]

[DOI]

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

1999

Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus.

[BibT_eX]

[DOI]

Informationstechnik Tech. Inform., 1999

Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene.

[BibT_eX]

Joachim Gerlach

Thilo Klöpfer

Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

1998

Eine Umgebung zur transformationalen Entwurfsraum-Exploration.

[BibT_eX]

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

A Scalable Methodology for Cost Estimation in a Transformational High-Level Design Space Exploration Environment.

[BibT_eX]

[DOI]

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the 1998 Design, 1998

1996

A Methodology for Rapid Analysis and Optimization of Embedded Systems.

[BibT_eX]

[DOI]

Heinz-Josef Eikerling

Wolfram Hardt

Joachim Gerlach

Wolfgang Rosenstiel

Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996

An Efficient Algorithm for Real-Time Symbolic Model Checking.

[BibT_eX]

[DOI]

Jürgen Frößl

Thomas Kropf

Joachim Gerlach

Proceedings of the 1996 European Design and Test Conference, 1996

Joachim Gerlach

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...