Christoph Grimm
Orcid: 0000-0002-5930-7563Affiliations:
- Kaiserslautern University of Technology, Germany
- University of Frankfurt, Frankfurt am Main, Germany
According to our database1,
Christoph Grimm
authored at least 137 papers
between 1995 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Ontology Learning Applications of Knowledge Base Construction for Microelectronic Systems Information.
Inf., 2023
Proceedings of the Workshop, 2023
2022
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022
2021
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
J. Netw. Syst. Manag., 2020
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
Proceedings of the Forum for Specification and Design Languages, 2020
2019
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
Proceedings of the 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2019
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
Proceedings of the 15th International Conference on Distributed Computing in Sensor Systems, 2019
Proceedings of the 15th International Conference on Distributed Computing in Sensor Systems, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
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
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018
Proceedings of the 2018 Forum on Specification & Design Languages, 2018
2017
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
Proceedings of the 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017
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
Proceedings of the 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, 2015
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
Proceedings of the 2014 Forum on Specification and Design Languages, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2013
VLSI Design, 2013
Proceedings of the 2013 Forum on specification and Design Languages, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Proceedings of the 25th International Conference on VLSI Design, 2012
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
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
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012
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
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
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012
2011
ACM Trans. Reconfigurable Technol. Syst., 2011
Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2011), 2011
Proceedings of the 2011 Forum on Specification & Design Languages, 2011
Proceedings of the 2011 Forum on Specification & Design Languages, 2011
Proceedings of the 20th European Conference on Circuit Theory and Design, 2011
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
Proceedings of the Design, Automation and Test in Europe, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
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
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
Proceedings of the AFRICON 2011, 2011
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
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
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
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010
Proceedings of the 7th International Symposium on Communication Systems Networks and Digital Signal Processing, 2010
Proceedings of the ARCS '10, 2010
Proceedings of the ARCS '10, 2010
Proceedings of the Reconfigurable Computing: Architectures, 2010
Proceedings of the 2010 NASA/ESA Conference on Adaptive Hardware and Systems, 2010
2009
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
Proceedings of the Forum on specification and Design Languages, 2009
Proceedings of the Forum on specification and Design Languages, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the 2009 IEEE International Behavioral Modeling and Simulation Workshop, 2009
2008
EURASIP J. Embed. Syst., 2008
Proceedings of the Forum on specification and Design Languages, 2008
Proceedings of the Forum on specification and Design Languages, 2008
Proceedings of the Forum on specification and Design Languages, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
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
The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems.
Proceedings of the FPL 2007, 2007
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
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2006), 2006
Proceedings of the Forum on specification and Design Languages, 2006
2005
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
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
Proceedings of the Forum on specification and Design Languages, 2004
Proceedings of the Forum on specification and Design Languages, 2004
Proceedings of the 2nd IEEE International Workshop on Electronic Design, 2004
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
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003
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
Proceedings of the 2003 Design, 2003
Proceedings of the 2003 Design, 2003
2002
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
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
Proceedings of the Workshop on Distributed Systems, 1999
Proceedings of the Informatik '99, 1999
1998
Spezifikation hybrider Systeme.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998
Proceedings of the 1998 Design, 1998
1996
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
Proceedings of the Proceedings EURO-DAC'95, 1995