Joachim Gerlach

Orcid: 0000-0002-0601-5188

According to our database1, Joachim Gerlach authored at least 40 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Segmentale Geschäftsmodell-Evaluation am Beispiel der digitalen Mehrwert-Anwendung Energiemanagement.
Proceedings of the AKWI Jahrestagung 2024: Wissenschaft und Praxis, 2024

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

2019
Ant Colony Optimization for Optimized Operation Scheduling of Combined Heat and Power Plants.
Proceedings of the Applications of Evolutionary Computation, 2019

2018
Modellbasierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien unter Anwendung von Methoden der Künstlichen Intelligenz.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2018

2016
Simulationsbasierte Analyse energietechnischer Systemszenarien.
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.
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.
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.
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.
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.
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.
Proceedings of the 28th International Conference on Computer Design, 2010

Design of an automotive traffic sign recognition system targeting a multi-core SoC implementation.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
An automated flow for integrating hardware IP into the automotive systems engineering process.
Proceedings of the Design, Automation and Test in Europe, 2009

Semiformal verification of temporal properties in automotive hardware dependent software.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität.
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).
Proceedings of the Forum on specification and Design Languages, 2008

On the Verification of High-Order Constraint Compliance in IC Design.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Semiformal Verification of Temporal Properties in Embedded Software.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

Coverage Driven Verification applied to Embedded Software.
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.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006
Industrial Partners Expectations from the ICODES Methodology.
Proceedings of the Forum on specification and Design Languages, 2006

Flexible specification and application of rule-based transformations in an automotive design flow.
Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006

2005
SystemC-Based Communication and Performance Analysis.
Proceedings of the Forum on specification and Design Languages, 2005

2004
Ein XML-basierter Ansatz zur flexiblen Darstellung und Transformation von Schaltungsbeschreibungen.
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.
Proceedings of the 2004 Design, 2004

Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks.
Proceedings of the 2004 Design, 2004

2003
Automated Conversion of SystemC Fixed-Point Data Types.
Proceedings of the VLSI-SOC: From Systems to Chips, 2003

Automated Conversion of SystemC Fixed-Point Data Types for Hardware Synthesis.
Proceedings of the IFIP VLSI-SoC 2003, 2003

Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1.
Proceedings of the Forum on specification and Design Languages, 2003

2002
Checking temporal properties in SystemC specifications.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001
The simulation semantics of systemC.
Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000
Transformationale Entwurfsraum-Exploration für den Entwurf eingebetteter Systeme.
PhD thesis, 2000

A Methodology and Tool for Automated Transformational High-Level Design Space Exploration.
Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

1999
Methodischer HW/SW-Entwurf des GSM Sprachtranscodec-Algorithmus.
Informationstechnik Tech. Inform., 1999

Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1999

1998
Eine Umgebung zur transformationalen Entwurfsraum-Exploration.
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.
Proceedings of the 1998 Design, 1998

1996
A Methodology for Rapid Analysis and Optimization of Embedded Systems.
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.
Proceedings of the 1996 European Design and Test Conference, 1996


  Loading...