Christoph Grimm

Orcid: 0000-0002-5930-7563

Affiliations:
  • Kaiserslautern University of Technology, Germany
  • University of Frankfurt, Frankfurt am Main, Germany


According to our database1, Christoph Grimm authored at least 140 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Customized Information and Domain-centric Knowledge Graph Construction with Large Language Models.
CoRR, 2024

Towards the Formal Verification of SysML v2 Models.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023
Ontology Module Suite for Electronics and Systems Engineering.
Dataset, September, 2023

Ontology Learning Applications of Knowledge Base Construction for Microelectronic Systems Information.
Inf., 2023

Hybrid AI Approach for Knowledge Graph Construction.
Proceedings of the Workshop, 2023

2022
SysMD: Towards "Inclusive" Systems Engineering.
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022

2021
APPEL - AGILA ProPErty and Dependency Description Language.
Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

A Digital Twin with Runtime-Verification for Industrial Development-Operation Integration.
Proceedings of the 2021 IEEE International Conference on Engineering, 2021

2020
Immersive Interconnected Virtual and Augmented Reality: A 5G and IoT Perspective.
J. Netw. Syst. Manag., 2020

Area Estimation Framework for Digital Hardware Design using Machine Learning.
Proceedings of the 23rd GMM/ITG/GI Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2020

Keep Private Networks Private: Secure Channel-PUFs, and Physical Layer Security by Linear Regression Enhanced Channel Profiles.
Proceedings of the 3rd International Conference on Data Intelligence and Security, 2020

Bringing Uncertainties into System Simulation: A SystemC AMS Case Study.
Proceedings of the Forum for Specification and Design Languages, 2020

2019
Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Simulation-Based Performance Validation of Homomorphic Encryption Algorithms in the Internet of Things.
Future Internet, 2019

Optimization Framework for Hardware Design of Engine Control Units.
Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019

Flexible Data Flow Architecture for Embedded Hardware Accelerators.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

Making System Level Test Possible by a Mixed-mode, Multi-level, Integrated Modeling Environment.
Proceedings of the 2019 IEEE East-West Design & Test Symposium, 2019

Simulation based validation of a Smart Energy Use Case with Homomorphic Encryption.
Proceedings of the 15th International Conference on Distributed Computing in Sensor Systems, 2019

VICINITY: IoT Semantic Interoperability Based on the Web of Things.
Proceedings of the 15th International Conference on Distributed Computing in Sensor Systems, 2019

Nubolic Simulation of AMS Systems with Data Flow and Discrete Event Models.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Co-Simulating the Internet of Things in a Smart Grid use case scenario.
Proceedings of the 7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, 2019

Virtual prototyping of heterogeneous automotive applications: matlab, SystemC, or both?
Proceedings of the 24th Asia and South Pacific Design Automation Conference, 2019

2018
SystemC AMS Based Frameworks for Virtual Prototyping of Heterogeneous Systems.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Symbolic Simulation of SystemC AMS Without Yet Another Compiler.
Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017
Towards Verification of Uncertain Cyber-Physical Systems.
Proceedings of the Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017

SystemC AMS based Co-simulation Framework for Cyber Physical Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

An open virtual neighbourhood network to connect IoT infrastructures and smart objects - Vicinity: IoT enables interoperability as a service.
Proceedings of the Global Internet of Things Summit, 2017

Novel metrics for Analog Mixed-Signal coverage.
Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017

Dealing with Uncertainties in Analog/Mixed-Signal Systems: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Modeling Power Consumption for Design of Power- and Noise-Aware AMS Circuits.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Modeling power consumption at system-level for design of power integrity-aware AMS-circuits.
Proceedings of the 2015 Forum on Specification and Design Languages, 2015

Modeling and simulation of Cyber-Physical Systems with SICYPHOS.
Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

Towards formal validation: Symbolic simulation of SystemC models.
Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015

2014
Semi-Symbolische Analyse eines Sigma-Delta Modulators.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

A concept for design of embedded systems at semantic level.
Proceedings of the 2014 Forum on Specification and Design Languages, 2014

Semi-symbolic analysis of mixed-signal systems including discontinuities.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Emulation-based robustness assessment for automotive smart-power ICs.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.
VLSI Design, 2013

On more dependable assertion-based verification.
Proceedings of the IECON 2013, 2013

Verification of heterogeneous systems: Theory and industrial experiences.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

Ultra-low power: an EDA challenge.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Tutorial T1: Design of Mixed-Signal Systems using SystemC AMS Extensions.
Proceedings of the 25th International Conference on VLSI Design, 2012

Generic droop correction IIR filter design algorithm.
Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

Abstract Modeling of Communication Errors in Cyber-Physical Systems using uPN.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

Shifting of thermal and schedulable loads based on abstract cost profiles.
Proceedings of the 3rd IEEE PES Innovative Smart Grid Technologies Europe, 2012

Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Extended framework for system simulation with affine arithmetic.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Assertion-based verification of signal processing systems with affine arithmetic.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systems.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Model Based Design of Distributed Embedded Cyber Physical Systems.
Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012

Configurable load emulation using FPGA and power amplifiers for automotive power ICs.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Configurable Load Emulation Using FPGA and Power Amplifiers for Automotive Power ICs.
Proceedings of the Models, Methods, and Tools for Complex Chip Design, 2012

FAst optimization of analog amplifier architecture using simulated annealing.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

2011
TR-FSM: Transition-Based reconfigurable finite state machine.
ACM Trans. Reconfigurable Technol. Syst., 2011

A partially decentralised forecast-based demand-side-management approach.
Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

Parallel multi-level simulation of wireless sensor networks.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011

Designing low-power wireless sensor networks.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Abstract modelling and estimation of a high performance Tobey's PGA.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

Architectural mitigation for high performance energy measurement.
Proceedings of the 20th European Conference on Circuit Theory and Design, 2011

Abstract modeling and simulation based selective estimation.
Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

High performance adaptive sensor interface design through model based estimation of analog non-idealities.
Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

Simulation based tuning of system specification.
Proceedings of the Design, Automation and Test in Europe, 2011

Real-time wireless communication in automotive applications.
Proceedings of the Design, Automation and Test in Europe, 2011

Wireless communication and energy harvesting in automobiles.
Proceedings of the Design, Automation and Test in Europe, 2011

Real-Time Wireless MAC Protocol for Devices with Low-Power Protocol Processor Support.
Proceedings of the ARCS 2011, 2011

Choosing the best wireless protocol for typical applications.
Proceedings of the ARCS 2011, 2011

A technique for the identification of reconfigurable resources of flexible communication systems.
Proceedings of the 2011 NASA/ESA Conference on Adaptive Hardware and Systems, 2011

System refinement design flow based on semi-symbolic simulations.
Proceedings of the AFRICON 2011, 2011

Energy profiling technique for network-level energy optimization.
Proceedings of the AFRICON 2011, 2011

2010
On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS.
EURASIP J. Embed. Syst., 2010

Sequential design of experiments for effective model-based validation of electronic control units.
Elektrotech. Informationstechnik, 2010

Power Profiling of Embedded Analog/Mixed-Signal Systems.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation, 2010

Ein formales Modell für den Entwurf von flexiblen Kommunikationssystemen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

Modeling methodology in SystemC-AMS for embedded analog mixed signal systems.
Proceedings of the FIT '10, 2010

Towards Abstract Analysis Techniques for Range Based System Simulations.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

Design of Experiments for Reliable Operation of Electronics in Automotive Applications.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

Mixed Signal Simulation with SystemC and Saber.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

Mixed-Level Simulation of Wireless Sensor Networks.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

A Tripartite System Level Design Approach for Design Space Exploration.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in SystemC-AMS.
Proceedings of the 2010 Forum on specification & Design Languages, 2010

Simulation-based sensitivity and worst-case analyses of automotive electronics.
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

Using Transaction Level Modeling techniques for wireless sensor network simulation.
Proceedings of the Design, Automation and Test in Europe, 2010

Towards more Dependable Verification of Mixed-Signal Systems.
Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010

Designing a reconfigurable architecture for ultra-low power wireless sensors.
Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010

Multilevel Sensor Node Simulation within a TLM-like Network Simulation Framework.
Proceedings of the ARCS '10, 2010

Energy Consumption Estimation and Profiling in Wireless Sensor Networks.
Proceedings of the ARCS '10, 2010

A Dedicated Reconfigurable Architecture for Finite State Machines.
Proceedings of the Reconfigurable Computing: Architectures, 2010

A formal model for specification and optimization of flexible communication systems.
Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010

2009
Introduction to the SystemC AMS DRAFT standard.
Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

New Methods for System-level Verification using SystemC-AMS Extensions: Application to an Automotive ECU.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Fast and unified SystemC AMS - HDL simulation.
Proceedings of the Forum on specification and Design Languages, 2009

SystemC-based power simulation of wireless sensor networks.
Proceedings of the Forum on specification and Design Languages, 2009

Analogue mixed signal simulation using spice and SystemC.
Proceedings of the Design, Automation and Test in Europe, 2009

Analog behavior refinement in system centric modeling.
Proceedings of the 2009 IEEE International Behavioral Modeling and Simulation Workshop, 2009

2008
C-Based Design of Heterogeneous Embedded Systems.
EURASIP J. Embed. Syst., 2008

Bridging MoCs in SystemC Specifications of Heterogeneous Systems.
EURASIP J. Embed. Syst., 2008

The AutoSUN Verification Environment.
Proceedings of the Forum on specification and Design Languages, 2008

Automotive System Design with Specification and Verification of Uncertainties.
Proceedings of the Forum on specification and Design Languages, 2008

Connecting SystemC-AMS Models with OSCI TLM 2.0 Models using Temporal Decoupling.
Proceedings of the Forum on specification and Design Languages, 2008

Heterogeneous System-level Specification Using SystemC.
Proceedings of the Design, Automation and Test in Europe, 2008

Co-Simulation of mixed HW/SW and Analog/RF systems at architectural level.
Proceedings of the 2008 IEEE International Behavioral Modeling and Simulation Workshop, 2008

2007
Top-Down Design analog/digitaler Systeme mit SystemC-AMS.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007


A general approach to the interoperability of HetSC and SystemC-AMS.
Proceedings of the Forum on specification and Design Languages, 2007

Range Arithmetics to Speed up Reachability Analysis of Analog Systems.
Proceedings of the Forum on specification and Design Languages, 2007

2006
Semi-symbolische Modellierung von Abweichungen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

Embedded mixed-signal systems: new challenges for modeling and simulation.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

Semi-symbolic modeling and simulation of circuits and systems.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006

A Framework for the Design of Heterogenous Systems.
Proceedings of the Forum on specification and Design Languages, 2006

2005
Analysis of mixed-signal systems with affine arithmetic.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

Extending SystemC to support mixed discrete-continuous system modeling and simulation.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Semi-Symbollic Simulation of Nonlinear Systems.
Proceedings of the Forum on specification and Design Languages, 2005

2004
A SystemC based case study of a sensor application using the BeCom modeling methodology for virtual prototyping.
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

HEAVEN: A Framework for the Refinement of Heterogeneous Systems.
Proceedings of the Forum on specification and Design Languages, 2004

Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems .
Proceedings of the Forum on specification and Design Languages, 2004

Towards Analog and Mixed-Signal SOC Design with SystemC-AMS.
Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004

Refinement of Mixed-Signal Systems with Affine Arithmetic.
Proceedings of the 2004 Design, 2004

2003
Konzept einer Klassensammlung zur Verhaltensmodellierung hybrider Systeme am Beispiel der Leistungselektronik.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Analog and mixed signal modelling with SystemC-AMS.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Refinement of Hybrid Systems from Formal Models to Design Languages.
Proceedings of the Forum on specification and Design Languages, 2003

A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems.
Proceedings of the Forum on specification and Design Languages, 2003

SystemC-AMS Requirements, Design Objectives and Rationale.
Proceedings of the 2003 Design, 2003

Refinement of Mixed-Signal Systems with SystemC.
Proceedings of the 2003 Design, 2003

2002
A methodology for system-level synthesis of mixed-signal applications.
IEEE Trans. Very Large Scale Integr. Syst., 2002

Entwurf analog/digitaler Systeme mit SystemC.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

2001
Erstellung von C++-Modellen analoger Leistungselektronik zur schnellen Systemsimulation.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

2000
Hybride Datenflußgraphen und ihre Anwendung beim Entwurf analog, digitaler Systeme.
PhD thesis, 2000

Modellierung des Implementierungsraumes im Analog/Digital Co-Design.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

Übersetzung von HyCharts in HDFG.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000

1999
Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow Graphs.
Proceedings of the Workshop on Distributed Systems, 1999

System-Level Synthese gemischt analog/digitaler Schaltungen.
Proceedings of the Informatik '99, 1999

1998
Spezifikation analog/digitaler Systeme.
Informationstechnik Tech. Inform., 1998

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

Repartitioning and Technology-Mapping of Electronic Hybrid Systems.
Proceedings of the 1998 Design, 1998

1996
KIR - a graph-based model for description of mixed analog/digital systems.
Proceedings of the conference on European design automation, 1996

1995
A sub Bayesian nearest prototype neural network with fuzzy interpretability for diagnosis problems.
Proceedings of the 1995 ACM symposium on applied computing, 1995

KANDIS - a tool for construction of mixed analog/digital systems.
Proceedings of the Proceedings EURO-DAC'95, 1995


  Loading...