Joachim Gerlach
Orcid: 0000-0002-0601-5188
According to our database1,
Joachim Gerlach
authored at least 40 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
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
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
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
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
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
Proceedings of the 2004 Design, 2004
Proceedings of the 2004 Design, 2004
2003
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
Proceedings of the Forum on specification and Design Languages, 2003
2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
2001
Proceedings of the Conference on Design, Automation and Test in Europe, 2001
2000
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
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
Proceedings of the IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996
Proceedings of the 1996 European Design and Test Conference, 1996