BibTeX records: Christoph Grimm 0001

download as .bib file

@article{DBLP:journals/information/WawrzikRR023,
  author       = {Frank Wawrzik and
                  Khushnood Adil Rafique and
                  Farin Rahman and
                  Christoph Grimm},
  title        = {Ontology Learning Applications of Knowledge Base Construction for
                  Microelectronic Systems Information},
  journal      = {Inf.},
  volume       = {14},
  number       = {3},
  pages        = {176},
  year         = {2023},
  url          = {https://doi.org/10.3390/info14030176},
  doi          = {10.3390/INFO14030176},
  timestamp    = {Sun, 16 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/information/WawrzikRR023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jist/WawrzikDR023,
  author       = {Frank Wawrzik and
                  Rami Dhouib and
                  Khushnood Adil Rafique and
                  Christoph Grimm},
  editor       = {Atsuko Yamaguchi and
                  Shusaku Egami and
                  Kouji Kozaki and
                  Takahiro Kawamura and
                  Boris Villaz{\'{o}}n{-}Terrazas and
                  Marut Buranarach},
  title        = {Hybrid {AI} Approach for Knowledge Graph Construction},
  booktitle    = {Proceedings of the Workshop, Poster and Demonstration Sessions at
                  {IJCKG} 2023 co-located with 12th International Joint Conference on
                  Knowledge Graphs {(IJCKG} 2023), Tokyo, Japan, December 8-9, 2023},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3659},
  pages        = {48--63},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3659/IJCKG\_2023\_WS2.pdf},
  timestamp    = {Fri, 12 Apr 2024 20:58:03 +0200},
  biburl       = {https://dblp.org/rec/conf/jist/WawrzikDR023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/WawrzikGN23,
  author       = {Frank Wawrzik and
                  Christoph Grimm and
                  Peter Neumann},
  title        = {Ontology Module Suite for Electronics and Systems Engineering},
  publisher    = {{IEEE} DataPort},
  year         = {2023},
  month        = sep,
  howpublished = {\url{https://doi.org/10.21227/88nn-eb43}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.21227/88nn-eb43},
  doi          = {10.21227/88NN-EB43},
  timestamp    = {Thu, 22 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/data/10/WawrzikGN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icphys/DaleckeRR0K22,
  author       = {Sandor Dalecke and
                  Khushnood Adil Rafique and
                  Axel Ratzke and
                  Christoph Grimm and
                  Johannes Koch},
  title        = {SysMD: Towards "Inclusive" Systems Engineering},
  booktitle    = {5th {IEEE} International Conference on Industrial Cyber-Physical Systems,
                  {ICPS} 2022, Coventry, United Kingdom, May 24-26, 2022},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICPS51978.2022.9816856},
  doi          = {10.1109/ICPS51978.2022.9816856},
  timestamp    = {Mon, 06 Nov 2023 13:38:03 +0100},
  biburl       = {https://dblp.org/rec/conf/icphys/DaleckeRR0K22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ice-itmc/SarathaGW21,
  author       = {Siva D. Chandrasekaran Saratha and
                  Christoph Grimm and
                  Frank Wawrzik},
  title        = {A Digital Twin with Runtime-Verification for Industrial Development-Operation
                  Integration},
  booktitle    = {2021 {IEEE} International Conference on Engineering, Technology and
                  Innovation, {ICE/ITMC} 2021, Cardiff, United Kingdom, June 21-23,
                  2021},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICE/ITMC52061.2021.9570222},
  doi          = {10.1109/ICE/ITMC52061.2021.9570222},
  timestamp    = {Tue, 09 Nov 2021 09:24:11 +0100},
  biburl       = {https://dblp.org/rec/conf/ice-itmc/SarathaGW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/0001WJLPK021,
  author       = {Christoph Grimm and
                  Frank Wawrzik and
                  Alexander Louis{-}Ferdinand Jung and
                  Konstantin L{\"{u}}beck and
                  Sebastian Post and
                  Johannes Koch and
                  Oliver Bringmann},
  title        = {{APPEL} - {AGILA} ProPErty and Dependency Description Language},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2021, 24th Workshop, Virtual Event, Germany,
                  March 18-19, 2021},
  pages        = {1--11},
  publisher    = {{VDE/IEEE}},
  year         = {2021},
  url          = {https://ieeexplore.ieee.org/document/9399724},
  timestamp    = {Fri, 12 Jan 2024 10:19:10 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/0001WJLPK021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnsm/VegaLAPJMKEMSC020,
  author       = {Maria Torres Vega and
                  Christos Liaskos and
                  Sergi Abadal and
                  Evangelos Papapetrou and
                  Akshay Jain and
                  Belkacem Mouhouche and
                  G{\"{o}}khan Kalem and
                  Salih Erg{\"{u}}t and
                  Marian Mach and
                  Tomas Sabol and
                  Albert Cabellos{-}Aparicio and
                  Christoph Grimm and
                  Filip De Turck and
                  Jeroen Famaey},
  title        = {Immersive Interconnected Virtual and Augmented Reality: {A} 5G and
                  IoT Perspective},
  journal      = {J. Netw. Syst. Manag.},
  volume       = {28},
  number       = {4},
  pages        = {796--826},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10922-020-09545-w},
  doi          = {10.1007/S10922-020-09545-W},
  timestamp    = {Thu, 17 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jnsm/VegaLAPJMKEMSC020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/Zivkovic0KSFDKB20,
  author       = {Carna Zivkovic and
                  Christoph Grimm and
                  Johannes K{\"{o}}lsch and
                  D. Short and
                  M. Ferstl and
                  Dirk Denger and
                  D. Krems and
                  A. Barisic},
  title        = {Bringing Uncertainties into System Simulation: {A} SystemC {AMS} Case
                  Study},
  booktitle    = {Forum for Specification and Design Languages, {FDL} 2020, Kiel, Germany,
                  September 15-17, 2020},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/FDL50818.2020.9233008},
  doi          = {10.1109/FDL50818.2020.9233008},
  timestamp    = {Tue, 10 Nov 2020 11:14:51 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Zivkovic0KSFDKB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdis/LippsMSH0S20,
  author       = {Christoph Lipps and
                  Sachinkumar Bavikatti Mallikarjun and
                  Mathias Strufe and
                  Christopher Heinz and
                  Christoph Grimm and
                  Hans Dieter Schotten},
  title        = {Keep Private Networks Private: Secure Channel-PUFs, and Physical Layer
                  Security by Linear Regression Enhanced Channel Profiles},
  booktitle    = {3rd International Conference on Data Intelligence and Security, {ICDIS}
                  2020, South Padre Island, TX, USA, June 24-26, 2020},
  pages        = {93--100},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICDIS50059.2020.00019},
  doi          = {10.1109/ICDIS50059.2020.00019},
  timestamp    = {Mon, 25 Jan 2021 10:11:27 +0100},
  biburl       = {https://dblp.org/rec/conf/icdis/LippsMSH0S20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/FroemmerGBK0020,
  author       = {Jens Froemmer and
                  Yara Gowayed and
                  Nico Bannow and
                  Wolfgang Kunz and
                  Christoph Grimm and
                  Klaus Schneider},
  title        = {Area Estimation Framework for Digital Hardware Design using Machine
                  Learning},
  booktitle    = {23rd {GMM/ITG/GI} Workshop on Methods and Description Languages for
                  Modelling and Verification of Circuits and Systems, {MBMV} 2020, Stuttgart,
                  Germany, March 19-20, 2020},
  pages        = {1--10},
  publisher    = {{VDE} / {IEEE}},
  year         = {2020},
  url          = {https://ieeexplore.ieee.org/document/9094535},
  timestamp    = {Tue, 03 Nov 2020 16:04:29 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/FroemmerGBK0020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fi/KolschHR019,
  author       = {Johannes K{\"{o}}lsch and
                  Christopher Heinz and
                  Axel Ratzke and
                  Christoph Grimm},
  title        = {Simulation-Based Performance Validation of Homomorphic Encryption
                  Algorithms in the Internet of Things},
  journal      = {Future Internet},
  volume       = {11},
  number       = {10},
  pages        = {218},
  year         = {2019},
  url          = {https://doi.org/10.3390/fi11100218},
  doi          = {10.3390/FI11100218},
  timestamp    = {Thu, 04 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fi/KolschHR019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/Zivkovic0OSB19,
  author       = {Carna Zivkovic and
                  Christoph Grimm and
                  Markus Olbrich and
                  Oliver Scharf and
                  Erich Barke},
  title        = {Hierarchical Verification of {AMS} Systems With Affine Arithmetic
                  Decision Diagrams},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {38},
  number       = {10},
  pages        = {1785--1798},
  year         = {2019},
  url          = {https://doi.org/10.1109/TCAD.2018.2864238},
  doi          = {10.1109/TCAD.2018.2864238},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/Zivkovic0OSB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/PanZ019,
  author       = {Xiao Pan and
                  Carna Zivkovic and
                  Christoph Grimm},
  editor       = {Toshiyuki Shibuya},
  title        = {Virtual prototyping of heterogeneous automotive applications: matlab,
                  SystemC, or both?},
  booktitle    = {Proceedings of the 24th Asia and South Pacific Design Automation Conference,
                  {ASPDAC} 2019, Tokyo, Japan, January 21-24, 2019},
  pages        = {544--549},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3287624.3287629},
  doi          = {10.1145/3287624.3287629},
  timestamp    = {Sun, 20 Jan 2019 16:08:16 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/PanZ019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/KolschRG19,
  author       = {Johannes K{\"{o}}lsch and
                  Axel Ratzke and
                  Christoph Grimm},
  title        = {Co-Simulating the Internet of Things in a Smart Grid use case scenario},
  booktitle    = {7th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems,
                  MSCPES@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/MSCPES.2019.8738795},
  doi          = {10.1109/MSCPES.2019.8738795},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/cpsweek/KolschRG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/Zivkovic019,
  author       = {Carna Zivkovic and
                  Christoph Grimm},
  editor       = {J{\"{u}}rgen Teich and
                  Franco Fummi},
  title        = {Nubolic Simulation of {AMS} Systems with Data Flow and Discrete Event
                  Models},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2019, Florence, Italy, March 25-29, 2019},
  pages        = {1457--1462},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/DATE.2019.8715278},
  doi          = {10.23919/DATE.2019.8715278},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/Zivkovic019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/CimminoOSKPTGVT19,
  author       = {Andrea Cimmino and
                  Viktor Oravec and
                  Fernando Serena and
                  Peter Kostelnik and
                  Mar{\'{\i}}a Poveda{-}Villal{\'{o}}n and
                  Athanasios Tryferidis and
                  Ra{\'{u}}l Garc{\'{\i}}a{-}Castro and
                  Stefan Vanya and
                  Dimitrios Tzovaras and
                  Christoph Grimm},
  title        = {{VICINITY:} IoT Semantic Interoperability Based on the Web of Things},
  booktitle    = {15th International Conference on Distributed Computing in Sensor Systems,
                  {DCOSS} 2019, Santorini, Greece, May 29-31, 2019},
  pages        = {241--247},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DCOSS.2019.00061},
  doi          = {10.1109/DCOSS.2019.00061},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcoss/CimminoOSKPTGVT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcoss/KolschR0HN19,
  author       = {Johannes K{\"{o}}lsch and
                  Axel Ratzke and
                  Christoph Grimm and
                  Christopher Heinz and
                  Gomathi Nandagopal},
  title        = {Simulation based validation of a Smart Energy Use Case with Homomorphic
                  Encryption},
  booktitle    = {15th International Conference on Distributed Computing in Sensor Systems,
                  {DCOSS} 2019, Santorini, Greece, May 29-31, 2019},
  pages        = {255--262},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/DCOSS.2019.00063},
  doi          = {10.1109/DCOSS.2019.00063},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcoss/KolschR0HN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewdts/NosratiBSZ0N19,
  author       = {Nooshin Nosrati and
                  Katayoon Basharkhah and
                  Rezgar Sadeghi and
                  Carna Zivkovic and
                  Christoph Grimm and
                  Zainalabedin Navabi},
  title        = {Making System Level Test Possible by a Mixed-mode, Multi-level, Integrated
                  Modeling Environment},
  booktitle    = {2019 {IEEE} East-West Design {\&} Test Symposium, {EWDTS} 2019,
                  Batumi, Georgia, September 13-16, 2019},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/EWDTS.2019.8884423},
  doi          = {10.1109/EWDTS.2019.8884423},
  timestamp    = {Tue, 12 Nov 2019 10:13:37 +0100},
  biburl       = {https://dblp.org/rec/conf/ewdts/NosratiBSZ0N19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ica3pp/FroemmerBA0S19,
  author       = {Jens Froemmer and
                  Nico Bannow and
                  Axel Aue and
                  Christoph Grimm and
                  Klaus Schneider},
  editor       = {Sheng Wen and
                  Albert Y. Zomaya and
                  Laurence T. Yang},
  title        = {Flexible Data Flow Architecture for Embedded Hardware Accelerators},
  booktitle    = {Algorithms and Architectures for Parallel Processing - 19th International
                  Conference, {ICA3PP} 2019, Melbourne, VIC, Australia, December 9-11,
                  2019, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11944},
  pages        = {33--47},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-38991-8\_3},
  doi          = {10.1007/978-3-030-38991-8\_3},
  timestamp    = {Thu, 26 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ica3pp/FroemmerBA0S19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KmitinaBGZZ19,
  author       = {Iryna Kmitina and
                  Nico Bannow and
                  Christoph Grimm and
                  Daniel Zielinski and
                  Carna Zivkovic},
  title        = {Optimization Framework for Hardware Design of Engine Control Units},
  booktitle    = {22nd Workshop Methods and Description Languages for Modelling and
                  Verification of Circuits and Systems, {MBMV} 2019, Kaiserslautern,
                  Germany, March 8-9, 2019},
  pages        = {1--8},
  publisher    = {{VDE} Verlag},
  year         = {2019},
  url          = {https://ieeexplore.ieee.org/document/8727158/},
  timestamp    = {Thu, 11 Jul 2019 17:44:24 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/KmitinaBGZZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZivkovicG18,
  author       = {Carna Zivkovic and
                  Christoph Grimm},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Symbolic Simulation of SystemC {AMS} Without Yet Another Compiler},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524061},
  doi          = {10.1109/FDL.2018.8524061},
  timestamp    = {Tue, 29 Nov 2022 08:40:57 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ZivkovicG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/Pecheux0MBE18,
  author       = {Fran{\c{c}}ois P{\^{e}}cheux and
                  Christoph Grimm and
                  Torsten Maehne and
                  Martin Barnasconi and
                  Karsten Einwich},
  title        = {SystemC {AMS} Based Frameworks for Virtual Prototyping of Heterogeneous
                  Systems},
  booktitle    = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2018,
                  27-30 May 2018, Florence, Italy},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISCAS.2018.8351864},
  doi          = {10.1109/ISCAS.2018.8351864},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/Pecheux0MBE18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/0001R17,
  author       = {Christoph Grimm and
                  Michael Rathmair},
  title        = {Dealing with Uncertainties in Analog/Mixed-Signal Systems: Invited},
  booktitle    = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
                  2017, Austin, TX, USA, June 18-22, 2017},
  pages        = {35:1--35:6},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3061639.3072949},
  doi          = {10.1145/3061639.3072949},
  timestamp    = {Tue, 06 Nov 2018 16:58:15 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/0001R17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/FurtigG0HHLNORS17,
  author       = {Andreas Furtig and
                  Georg Glaeser and
                  Christoph Grimm and
                  Lars Hedrich and
                  Stefan Heinen and
                  Hyun{-}Sek Lukas Lee and
                  Gregor Nitsche and
                  Markus Olbrich and
                  Carna Radojicic and
                  Fabian Speicher},
  editor       = {Manfred Dietrich and
                  Ondrej Nov{\'{a}}k},
  title        = {Novel metrics for Analog Mixed-Signal coverage},
  booktitle    = {20th {IEEE} International Symposium on Design and Diagnostics of Electronic
                  Circuits {\&} Systems, {DDECS} 2017, Dresden, Germany, April 19-21,
                  2017},
  pages        = {97--102},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/DDECS.2017.7934589},
  doi          = {10.1109/DDECS.2017.7934589},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/ddecs/FurtigG0HHLNORS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/giots/GuanVGSVOGSPRH017,
  author       = {Yajuan Guan and
                  Juan C. Vasquez and
                  Josep M. Guerrero and
                  Natalie Samovich and
                  Stefan Vanya and
                  Viktor Oravec and
                  Raul Garcia{-}Castro and
                  Fernando Serena and
                  Mar{\'{\i}}a Poveda{-}Villal{\'{o}}n and
                  Carna Radojicic and
                  Christopher Heinz and
                  Christoph Grimm and
                  Athanasios Tryferidis and
                  Dimitrios Tzovaras and
                  Keith Dickerson and
                  Marek Paralic and
                  Marek Skokan and
                  Tomas Sabol},
  title        = {An open virtual neighbourhood network to connect IoT infrastructures
                  and smart objects - Vicinity: IoT enables interoperability as a service},
  booktitle    = {Global Internet of Things Summit, GIoTS 2017, Geneva, Switzerland,
                  June 6-9, 2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/GIOTS.2017.8016233},
  doi          = {10.1109/GIOTS.2017.8016233},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/giots/GuanVGSVOGSPRH017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmR17,
  author       = {Christoph Grimm and
                  Carna Radojicic},
  editor       = {Daniel Gro{\ss}e and
                  Rolf Drechsler},
  title        = {Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal
                  Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2017, Bremen, Germany, February
                  8-9, 2017},
  pages        = {39--40},
  publisher    = {Shaker Verlag},
  year         = {2017},
  timestamp    = {Mon, 20 Nov 2017 10:25:21 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrimmR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/PurusothamanG17,
  author       = {Thiyagarajan Purusothaman and
                  Christoph Grimm},
  editor       = {Daniel Gro{\ss}e and
                  Rolf Drechsler},
  title        = {SystemC {AMS} based Co-simulation Framework for Cyber Physical Systems},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2017, Bremen, Germany, February
                  8-9, 2017},
  pages        = {55--66},
  publisher    = {Shaker Verlag},
  year         = {2017},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/PurusothamanG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Radojicic0JR17,
  author       = {Carna Radojicic and
                  Christoph Grimm and
                  Axel Jantsch and
                  Michael Rathmair},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Sergiy Bogomolov},
  title        = {Towards Verification of Uncertain Cyber-Physical Systems},
  booktitle    = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
                  for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
                  2017},
  series       = {{EPTCS}},
  volume       = {247},
  pages        = {1--17},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.247.1},
  doi          = {10.4204/EPTCS.247.1},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Radojicic0JR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BarkeFG0HHHLNNO16,
  author       = {Erich Barke and
                  Andreas Furtig and
                  Georg Glaeser and
                  Christoph Grimm and
                  Lars Hedrich and
                  Stefan Heinen and
                  Eckhard Hennig and
                  Hyun{-}Sek Lukas Lee and
                  Wolfgang Nebel and
                  Gregor Nitsche and
                  Markus Olbrich and
                  Carna Radojicic and
                  Fabian Speicher},
  editor       = {Luca Fanucci and
                  J{\"{u}}rgen Teich},
  title        = {Embedded tutorial: Analog-/mixed-signal verification methods for {AMS}
                  coverage analysis},
  booktitle    = {2016 Design, Automation {\&} Test in Europe Conference {\&}
                  Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
  pages        = {1102--1111},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://ieeexplore.ieee.org/document/7459473/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/BarkeFG0HHHLNNO16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/RadojicicPG15,
  author       = {Carna Radojicic and
                  Thiyagarajan Purusothaman and
                  Christoph Grimm},
  title        = {Towards formal validation: Symbolic simulation of SystemC models},
  booktitle    = {10th International Conference on Design {\&} Technology of Integrated
                  Systems in Nanoscale Era, {DTIS} 2015, Napoli, Italy, April 21-23,
                  2015},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/DTIS.2015.7127376},
  doi          = {10.1109/DTIS.2015.7127376},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/dtis/RadojicicPG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/WawrzikCM015,
  author       = {Frank Wawrzik and
                  William Chipman and
                  Javier Moreno Molina and
                  Christoph Grimm},
  title        = {Modeling and simulation of Cyber-Physical Systems with {SICYPHOS}},
  booktitle    = {10th International Conference on Design {\&} Technology of Integrated
                  Systems in Nanoscale Era, {DTIS} 2015, Napoli, Italy, April 21-23,
                  2015},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/DTIS.2015.7127375},
  doi          = {10.1109/DTIS.2015.7127375},
  timestamp    = {Wed, 02 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dtis/WawrzikCM015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PanM015,
  author       = {Xiao Pan and
                  Javier Moreno Molina and
                  Christoph Grimm},
  title        = {Modeling power consumption at system-level for design of power integrity-aware
                  AMS-circuits},
  booktitle    = {2015 Forum on Specification and Design Languages, {FDL} 2015, Barcelona,
                  Spain, September 14-16, 2015},
  pages        = {32--39},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/FDL.2015.7306087},
  doi          = {10.1109/FDL.2015.7306087},
  timestamp    = {Wed, 02 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/PanM015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/PanM015,
  author       = {Xiao Pan and
                  Javier Moreno and
                  Christoph Grimm},
  editor       = {Ulrich Heinkel and
                  Daniel Kriesten and
                  Marko R{\"{o}}{\ss}ler},
  title        = {Modeling Power Consumption for Design of Power- and Noise-Aware {AMS}
                  Circuits},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
                  3-4, 2015},
  pages        = {83--92},
  publisher    = {S{\"{a}}chsische Landesbibliothek},
  year         = {2015},
  timestamp    = {Sat, 17 Jul 2021 09:02:10 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/PanM015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HarrantNKGP14,
  author       = {Manuel Harrant and
                  Thomas Nirmaier and
                  J{\'{e}}r{\^{o}}me Kirscher and
                  Christoph Grimm and
                  Georg Pelz},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Emulation-based robustness assessment for automotive smart-power ICs},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--6},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.017},
  doi          = {10.7873/DATE.2014.017},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/HarrantNKGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RadojicicGMP14,
  author       = {Carna Radojicic and
                  Christoph Grimm and
                  Javier Moreno and
                  Xiao Pan},
  editor       = {Gerhard P. Fettweis and
                  Wolfgang Nebel},
  title        = {Semi-symbolic analysis of mixed-signal systems including discontinuities},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  pages        = {1--4},
  publisher    = {European Design and Automation Association},
  year         = {2014},
  url          = {https://doi.org/10.7873/DATE.2014.029},
  doi          = {10.7873/DATE.2014.029},
  timestamp    = {Mon, 09 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/RadojicicGMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WawrzikM014,
  author       = {Frank Wawrzik and
                  Javier Moreno Molina and
                  Christoph Grimm},
  title        = {A concept for design of embedded systems at semantic level},
  booktitle    = {Proceedings of the 2014 Forum on Specification and Design Languages,
                  {FDL} 2014, Munich, Germany, October 14-16, 2014},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/FDL.2014.7119352},
  doi          = {10.1109/FDL.2014.7119352},
  timestamp    = {Wed, 02 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/WawrzikM014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/RadojicicKG14,
  author       = {Carna Radojicic and
                  Kristin Kr{\"{u}}ger and
                  Christoph Grimm},
  editor       = {J{\"{u}}rgen Ruf and
                  Dirk Allmendinger and
                  Matteo Michel},
  title        = {Semi-Symbolische Analyse eines Sigma-Delta Modulators},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
  pages        = {83--92},
  publisher    = {Cuvillier},
  year         = {2014},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/RadojicicKG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsi/RadojicicGSR13,
  author       = {Carna Radojicic and
                  Christoph Grimm and
                  Florian Schupfer and
                  Michael Rathmair},
  title        = {Verification of Mixed-Signal Systems with Affine Arithmetic Assertions},
  journal      = {{VLSI} Design},
  volume       = {2013},
  pages        = {239064:1--239064:14},
  year         = {2013},
  url          = {https://doi.org/10.1155/2013/239064},
  doi          = {10.1155/2013/239064},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vlsi/RadojicicGSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrimmMP13,
  author       = {Christoph Grimm and
                  Javier Moreno and
                  Xiao Pan},
  editor       = {Enrico Macii},
  title        = {Ultra-low power: an {EDA} challenge},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
                  March 18-22, 2013},
  pages        = {483},
  publisher    = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year         = {2013},
  url          = {http://dl.acm.org/citation.cfm?id=2485407},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/GrimmMP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmE13,
  author       = {Christoph Grimm and
                  Emmanuelle Encrenaz},
  title        = {Verification of heterogeneous systems: Theory and industrial experiences},
  booktitle    = {Proceedings of the 2013 Forum on specification and Design Languages,
                  {FDL} 2013, Paris, France, September 24-26, 2013},
  pages        = {1},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://ieeexplore.ieee.org/document/6646626/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/GrimmE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Radojicic0P013,
  author       = {Carna Radojicic and
                  Javier Moreno and
                  Xiao Pan and
                  Christoph Grimm},
  title        = {On more dependable assertion-based verification},
  booktitle    = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics
                  Society, Vienna, Austria, November 10-13, 2013},
  pages        = {7742--7747},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/IECON.2013.6700424},
  doi          = {10.1109/IECON.2013.6700424},
  timestamp    = {Mon, 09 Aug 2021 14:54:01 +0200},
  biburl       = {https://dblp.org/rec/conf/iecon/Radojicic0P013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RadojicicSRG12,
  author       = {Carna Radojicic and
                  Florian Schupfer and
                  Michael Rathmair and
                  Christoph Grimm},
  title        = {Assertion-based verification of signal processing systems with affine
                  arithmetic},
  booktitle    = {Proceeding of the 2012 Forum on Specification and Design Languages,
                  Vienna, Austria, September 18-20, 2012},
  pages        = {20--26},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6336978/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/RadojicicSRG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MorenoDHGH12,
  author       = {Javier Moreno and
                  Markus Damm and
                  Jan Haase and
                  Christoph Grimm and
                  Edgar Holleis},
  title        = {Unified and comprehensive electronic system level, network and physics
                  simulation for wirelessly networked cyber physical systems},
  booktitle    = {Proceeding of the 2012 Forum on Specification and Design Languages,
                  Vienna, Austria, September 18-20, 2012},
  pages        = {68--74},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6336987/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MorenoDHGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HarrantNPDG12,
  author       = {Manuel Harrant and
                  Thomas Nirmaier and
                  Georg Pelz and
                  Fabrizio Dona and
                  Christoph Grimm},
  title        = {Configurable load emulation using {FPGA} and power amplifiers for
                  automotive power ICs},
  booktitle    = {Proceeding of the 2012 Forum on Specification and Design Languages,
                  Vienna, Austria, September 18-20, 2012},
  pages        = {84--89},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6336990/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HarrantNPDG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HarrantN0P12,
  author       = {Manuel Harrant and
                  Thomas Nirmaier and
                  Christoph Grimm and
                  Georg Pelz},
  editor       = {Jan Haase},
  title        = {Configurable Load Emulation Using {FPGA} and Power Amplifiers for
                  Automotive Power ICs},
  booktitle    = {Models, Methods, and Tools for Complex Chip Design - Selected Contributions
                  from {FDL} 2012},
  series       = {Lecture Notes in Electrical Engineering},
  volume       = {265},
  pages        = {109--126},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-319-01418-0\_7},
  doi          = {10.1007/978-3-319-01418-0\_7},
  timestamp    = {Sun, 02 Oct 2022 16:01:15 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HarrantN0P12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MolinaDHH012,
  author       = {Javier Moreno Molina and
                  Markus Damm and
                  Jan Haase and
                  Edgar Holleis and
                  Christoph Grimm},
  editor       = {Jan Haase},
  title        = {Model Based Design of Distributed Embedded Cyber Physical Systems},
  booktitle    = {Models, Methods, and Tools for Complex Chip Design - Selected Contributions
                  from {FDL} 2012},
  series       = {Lecture Notes in Electrical Engineering},
  volume       = {265},
  pages        = {127--143},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-319-01418-0\_8},
  doi          = {10.1007/978-3-319-01418-0\_8},
  timestamp    = {Wed, 02 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MolinaDHH012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RathmairSRG12,
  author       = {Michael Rathmair and
                  Florian Schupfer and
                  Carna Radojicic and
                  Christoph Grimm},
  title        = {Extended framework for system simulation with affine arithmetic},
  booktitle    = {Proceeding of the 2012 Forum on Specification and Design Languages,
                  Vienna, Austria, September 18-20, 2012},
  pages        = {168--175},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6337004/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/RathmairSRG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WolfGSHG12,
  author       = {Clifford Wolf and
                  Johann Glaser and
                  Florian Schupfer and
                  Jan Haase and
                  Christoph Grimm},
  title        = {Example-driven interconnect synthesis for heterogeneous coarse-grain
                  reconfigurable logic},
  booktitle    = {Proceeding of the 2012 Forum on Specification and Design Languages,
                  Vienna, Austria, September 18-20, 2012},
  pages        = {194--201},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6337010/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/WolfGSHG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AdhikariSG12,
  author       = {Sumit Adhikari and
                  Florian Schupfer and
                  Christoph Grimm},
  title        = {FAst optimization of analog amplifier architecture using simulated
                  annealing},
  booktitle    = {Proceeding of the 2012 Forum on Specification and Design Languages,
                  Vienna, Austria, September 18-20, 2012},
  pages        = {246--251},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/document/6337019/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/AdhikariSG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/DammLMHGM12,
  author       = {Markus Damm and
                  Milan Lukic and
                  Stefan Mahlknecht and
                  Jan Haase and
                  Christoph Grimm and
                  Veljko Malbasa},
  title        = {Shifting of thermal and schedulable loads based on abstract cost profiles},
  booktitle    = {3rd {IEEE} {PES} Innovative Smart Grid Technologies Europe, {ISGT}
                  Europe 2012, Berlin, Germany, October 14-17, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISGTEurope.2012.6465842},
  doi          = {10.1109/ISGTEUROPE.2012.6465842},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isgteurope/DammLMHGM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HufnagelBGO12,
  author       = {Simon Hufnagel and
                  Nico Bannow and
                  Christoph Grimm and
                  Jiong Ou},
  editor       = {Jens Brandt and
                  Klaus Schneider},
  title        = {Abstract Modeling of Communication Errors in Cyber-Physical Systems
                  using uPN},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
                  5-7, 2012},
  series       = {Forschungsergebnisse zur Informatik},
  volume       = {68},
  pages        = {49--59},
  publisher    = {Verlag Dr. Kovac},
  year         = {2012},
  timestamp    = {Tue, 19 May 2020 12:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/HufnagelBGO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdes/AdhikariSG12,
  author       = {Sumit Adhikari and
                  Florian Schupfer and
                  Christoph Grimm},
  editor       = {Zdenek Brad{\'{a}}c and
                  Frantisek Zezulka},
  title        = {Generic droop correction {IIR} filter design algorithm},
  booktitle    = {11th {IFAC} Conference on Programmable Devices and Embedded Systems,
                  PDeS 2012, Brno, Czech Republic, May 23-25, 2012},
  pages        = {7--11},
  publisher    = {International Federation of Automatic Control},
  year         = {2012},
  url          = {https://doi.org/10.3182/20120523-3-CZ-3015.00004},
  doi          = {10.3182/20120523-3-CZ-3015.00004},
  timestamp    = {Tue, 09 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdes/AdhikariSG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/AdhikariDGP12,
  author       = {Sumit Adhikari and
                  Markus Damm and
                  Christoph Grimm and
                  Fran{\c{c}}ois P{\^{e}}cheux},
  editor       = {Vishwani D. Agrawal and
                  Srimat T. Chakradhar},
  title        = {Tutorial {T1:} Design of Mixed-Signal Systems using SystemC {AMS}
                  Extensions},
  booktitle    = {25th International Conference on {VLSI} Design, Hyderabad, India,
                  January 7-11, 2012},
  pages        = {11--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/VLSID.2012.28},
  doi          = {10.1109/VLSID.2012.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vlsid/AdhikariDGP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/GlaserDHG11,
  author       = {Johann Glaser and
                  Markus Damm and
                  Jan Haase and
                  Christoph Grimm},
  title        = {{TR-FSM:} Transition-Based reconfigurable finite state machine},
  journal      = {{ACM} Trans. Reconfigurable Technol. Syst.},
  volume       = {4},
  number       = {3},
  pages        = {23:1--23:14},
  year         = {2011},
  url          = {https://doi.org/10.1145/2000832.2000835},
  doi          = {10.1145/2000832.2000835},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/trets/GlaserDHG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/africon/MorenoWHG11,
  author       = {Javier Moreno and
                  Joseph Wenninger and
                  Jan Haase and
                  Christoph Grimm},
  title        = {Energy profiling technique for network-level energy optimization},
  booktitle    = {{AFRICON} 2011, Victoria Falls, Livingstone, Zambia, September 13-15,
                  2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/AFRCON.2011.6072073},
  doi          = {10.1109/AFRCON.2011.6072073},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/africon/MorenoWHG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/africon/SchupferRWG11,
  author       = {Florian Schupfer and
                  Carna Radojicic and
                  Joseph Wenninger and
                  Christoph Grimm},
  title        = {System refinement design flow based on semi-symbolic simulations},
  booktitle    = {{AFRICON} 2011, Victoria Falls, Livingstone, Zambia, September 13-15,
                  2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/AFRCON.2011.6072111},
  doi          = {10.1109/AFRCON.2011.6072111},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/africon/SchupferRWG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/OuFHG11,
  author       = {Jiong Ou and
                  Muhammad Farooq and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {David Merodio and
                  Tughrul Arslan and
                  Umeshkumar D. Patel and
                  Didier Keymeulen and
                  Khaled Benkrid and
                  Ahmet T. Erdogan and
                  Michael Newell and
                  Luca Fossati and
                  Duane Armstrong},
  title        = {A technique for the identification of reconfigurable resources of
                  flexible communication systems},
  booktitle    = {2011 {NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS}
                  2011, San Diego, California, USA, June 6-9, 2011},
  pages        = {256--263},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/AHS.2011.5963945},
  doi          = {10.1109/AHS.2011.5963945},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ahs/OuFHG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/GravoglHG11,
  author       = {Klaus Gravogl and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Wolfgang Karl and
                  Dimitrios Soudris},
  title        = {Choosing the best wireless protocol for typical applications},
  booktitle    = {{ARCS} 2011 - 24th International Conference on Architecture of Computing
                  Systems 2011, Workshop Proceedings, February 22-23, 2011, Como, Italy},
  publisher    = {VDE-Verlag},
  year         = {2011},
  url          = {http://www.vde-verlag.de/proceedings-de/563333040.html},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arcs/GravoglHG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/MatischekHGH11,
  author       = {Rainer Matischek and
                  Thomas Herndl and
                  Christoph Grimm and
                  Jan Haase},
  editor       = {Wolfgang Karl and
                  Dimitrios Soudris},
  title        = {Real-Time Wireless {MAC} Protocol for Devices with Low-Power Protocol
                  Processor Support},
  booktitle    = {{ARCS} 2011 - 24th International Conference on Architecture of Computing
                  Systems 2011, Workshop Proceedings, February 22-23, 2011, Como, Italy},
  publisher    = {VDE-Verlag},
  year         = {2011},
  url          = {http://www.vde-verlag.de/proceedings-de/563333037.html},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arcs/MatischekHGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MatischekHGH11,
  author       = {Rainer Matischek and
                  Thomas Herndl and
                  Christoph Grimm and
                  Jan Haase},
  title        = {Real-time wireless communication in automotive applications},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
                  March 14-18, 2011},
  pages        = {1036--1041},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/DATE.2011.5763170},
  doi          = {10.1109/DATE.2011.5763170},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/MatischekHGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MahlknechtKGW11,
  author       = {Stefan Mahlknecht and
                  Tom J. Kazmierski and
                  Christoph Grimm and
                  Leran Wang},
  title        = {Wireless communication and energy harvesting in automobiles},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
                  March 14-18, 2011},
  pages        = {1042--1047},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/DATE.2011.5763171},
  doi          = {10.1109/DATE.2011.5763171},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/MahlknechtKGW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZaidiGH11,
  author       = {Yaseen Zaidi and
                  Christoph Grimm and
                  Jan Haase},
  title        = {Simulation based tuning of system specification},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
                  March 14-18, 2011},
  pages        = {1273--1278},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/DATE.2011.5763204},
  doi          = {10.1109/DATE.2011.5763204},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/ZaidiGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/AdhikariFHG11,
  author       = {Sumit Adhikari and
                  Muhammad Farooq and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Rolf Kraemer and
                  Adam Pawlak and
                  Andreas Steininger and
                  Mario Sch{\"{o}}lzel and
                  Jaan Raik and
                  Heinrich Theodor Vierhaus},
  title        = {High performance adaptive sensor interface design through model based
                  estimation of analog non-idealities},
  booktitle    = {14th {IEEE} International Symposium on Design and Diagnostics of Electronic
                  Circuits {\&} Systems, {DDECS} 2011, Cottbus, Germany, April 13-15,
                  2011},
  pages        = {41--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DDECS.2011.5783044},
  doi          = {10.1109/DDECS.2011.5783044},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ddecs/AdhikariFHG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/ZaidiAG11,
  author       = {Yaseen Zaidi and
                  Sumit Adhikari and
                  Christoph Grimm},
  editor       = {Rolf Kraemer and
                  Adam Pawlak and
                  Andreas Steininger and
                  Mario Sch{\"{o}}lzel and
                  Jaan Raik and
                  Heinrich Theodor Vierhaus},
  title        = {Abstract modeling and simulation based selective estimation},
  booktitle    = {14th {IEEE} International Symposium on Design and Diagnostics of Electronic
                  Circuits {\&} Systems, {DDECS} 2011, Cottbus, Germany, April 13-15,
                  2011},
  pages        = {275--278},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DDECS.2011.5783093},
  doi          = {10.1109/DDECS.2011.5783093},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ddecs/ZaidiAG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecctd/AdhikariZG11,
  author       = {Sumit Adhikari and
                  Yaseen Zaidi and
                  Christoph Grimm},
  title        = {Architectural mitigation for high performance energy measurement},
  booktitle    = {20th European Conference on Circuit Theory and Design, {ECCTD} 2011,
                  Linkoping, Sweden, Aug. 29-31, 2011},
  pages        = {202--205},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ECCTD.2011.6043317},
  doi          = {10.1109/ECCTD.2011.6043317},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/ecctd/AdhikariZG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AdhikariGH11,
  author       = {Sumit Adhikari and
                  Christoph Grimm and
                  Jan Haase},
  title        = {Abstract modelling and estimation of a high performance Tobey's {PGA}},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069467/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/AdhikariGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WenningerMHG11,
  author       = {Joseph Wenninger and
                  Javier Moreno and
                  Jan Haase and
                  Christoph Grimm},
  title        = {Designing low-power wireless sensor networks},
  booktitle    = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
                  Oldenburg, Germany, September 13-15, 2011},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/document/6069492/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/WenningerMHG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/LangHG11,
  author       = {Mario Lang and
                  Jan Haase and
                  Christoph Grimm},
  title        = {Parallel multi-level simulation of wireless sensor networks},
  booktitle    = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
                  15-19 2011, Rio de Janeiro, Brazil},
  pages        = {2741--2744},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISCAS.2011.5938172},
  doi          = {10.1109/ISCAS.2011.5938172},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/LangHG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/DammMGBYW11,
  author       = {Markus Damm and
                  Stefan Mahlknecht and
                  Christoph Grimm and
                  Tamas Bertenyi and
                  Tom Young and
                  Christian Wysoudil},
  title        = {A partially decentralised forecast-based demand-side-management approach},
  booktitle    = {2nd {IEEE} {PES} International Conference and Exhibition on "Innovative
                  Smart Grid Technologies", {ISGT} Europe 2011, Manchester, United Kingdom,
                  December 5-7, 2011},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISGTEurope.2011.6162709},
  doi          = {10.1109/ISGTEUROPE.2011.6162709},
  timestamp    = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl       = {https://dblp.org/rec/conf/isgteurope/DammMGBYW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ei/RafailaGDP10,
  author       = {Monica Rafaila and
                  Christoph Grimm and
                  Christian Decker and
                  Georg Pelz},
  title        = {Sequential design of experiments for effective model-based validation
                  of electronic control units},
  journal      = {Elektrotech. Informationstechnik},
  volume       = {127},
  number       = {6},
  pages        = {164--170},
  year         = {2010},
  url          = {https://doi.org/10.1007/s00502-010-0738-x},
  doi          = {10.1007/S00502-010-0738-X},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ei/RafailaGDP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/ZaidiGH10,
  author       = {Yaseen Zaidi and
                  Christoph Grimm and
                  Jan Haase},
  title        = {On Mixed Abstraction, Languages, and Simulation Approach to Refinement
                  with SystemC {AMS}},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2010},
  year         = {2010},
  url          = {https://doi.org/10.1155/2010/489365},
  doi          = {10.1155/2010/489365},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejes/ZaidiGH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/OuFHG10,
  author       = {Jiong Ou and
                  Muhammad Farooq and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Tughrul Arslan and
                  Didier Keymeulen and
                  David Merodio and
                  Khaled Benkrid and
                  Ahmet T. Erdogan and
                  Umeshkumar D. Patel},
  title        = {A formal model for specification and optimization of flexible communication
                  systems},
  booktitle    = {2010 {NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS}
                  2010, Anaheim, California, USA, June 15-18, 2010},
  pages        = {241--249},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/AHS.2010.5546253},
  doi          = {10.1109/AHS.2010.5546253},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ahs/OuFHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arc/GlaserDHG10,
  author       = {Johann Glaser and
                  Markus Damm and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Phaophak Sirisuk and
                  Fearghal Morgan and
                  Tarek A. El{-}Ghazawi and
                  Hideharu Amano},
  title        = {A Dedicated Reconfigurable Architecture for Finite State Machines},
  booktitle    = {Reconfigurable Computing: Architectures, Tools and Applications, 6th
                  International Symposium, {ARC} 2010, Bangkok, Thailand, March 17-19,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5992},
  pages        = {122--133},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12133-3\_13},
  doi          = {10.1007/978-3-642-12133-3\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arc/GlaserDHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/WenningerDMHG10,
  author       = {Joseph Wenninger and
                  Markus Damm and
                  Javier Moreno and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Michael Beigl and
                  Francisco Javier Cazorla{-}Almeida},
  title        = {Multilevel Sensor Node Simulation within a TLM-like Network Simulation
                  Framework},
  booktitle    = {{ARCS} '10 - 23th International Conference on Architecture of Computing
                  Systens 2010, Workshop Proceedings, February 22-23, 2010, Hannover,
                  Germany},
  pages        = {211--216},
  publisher    = {{VDE} Verlag},
  year         = {2010},
  url          = {https://ieeexplore.ieee.org/document/5759005/},
  timestamp    = {Sun, 08 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arcs/WenningerDMHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/MolinaHG10,
  author       = {Javier Moreno Molina and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Michael Beigl and
                  Francisco Javier Cazorla{-}Almeida},
  title        = {Energy Consumption Estimation and Profiling in Wireless Sensor Networks},
  booktitle    = {{ARCS} '10 - 23th International Conference on Architecture of Computing
                  Systens 2010, Workshop Proceedings, February 22-23, 2010, Hannover,
                  Germany},
  pages        = {259--264},
  publisher    = {{VDE} Verlag},
  year         = {2010},
  url          = {https://ieeexplore.ieee.org/document/5759013/},
  timestamp    = {Wed, 02 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arcs/MolinaHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csndsp/GlaserHG10,
  author       = {Johann Glaser and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Zabih Ghassemlooy and
                  Wai Pang Ng},
  title        = {Designing a reconfigurable architecture for ultra-low power wireless
                  sensors},
  booktitle    = {Proceedings of the 7th International Symposium on Communication Systems
                  Networks and Digital Signal Processing, {CSNDSP} 2010, University
                  of Northumbria at Newcastle, UK, 21-23 July 2010},
  pages        = {311--315},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/CSNDSP16145.2010.5580411},
  doi          = {10.1109/CSNDSP16145.2010.5580411},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csndsp/GlaserHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DammMHG10,
  author       = {Markus Damm and
                  Javier Moreno and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller and
                  Enrico Macii},
  title        = {Using Transaction Level Modeling techniques for wireless sensor network
                  simulation},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
                  March 8-12, 2010},
  pages        = {1047--1052},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/DATE.2010.5456964},
  doi          = {10.1109/DATE.2010.5456964},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/date/DammMHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/RafailaDGP10,
  author       = {Monica Rafaila and
                  Christian Decker and
                  Christoph Grimm and
                  Georg Pelz},
  editor       = {Elena Gramatov{\'{a}} and
                  Zdenek Kot{\'{a}}sek and
                  Andreas Steininger and
                  Heinrich Theodor Vierhaus and
                  Horst Zimmermann},
  title        = {Simulation-based sensitivity and worst-case analyses of automotive
                  electronics},
  booktitle    = {13th {IEEE} International Symposium on Design and Diagnostics of Electronic
                  Circuits and Systems, {DDECS} 2010, Vienna, Austria, April 14-16,
                  2010},
  pages        = {309--312},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/DDECS.2010.5491760},
  doi          = {10.1109/DDECS.2010.5491760},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ddecs/RafailaDGP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BrunmayrHG10,
  author       = {Peter Brunmayr and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Adam Morawiec and
                  Jinnie Hinderscheit},
  title        = {A Tripartite System Level Design Approach for Design Space Exploration},
  booktitle    = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
                  {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  pages        = {50--55},
  publisher    = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year         = {2010},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BrunmayrHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HaaseLG10,
  author       = {Jan Haase and
                  Mario Lang and
                  Christoph Grimm},
  editor       = {Adam Morawiec and
                  Jinnie Hinderscheit},
  title        = {Mixed-Level Simulation of Wireless Sensor Networks},
  booktitle    = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
                  {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  pages        = {99--104},
  publisher    = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year         = {2010},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HaaseLG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KirchnerBKG10,
  author       = {Tobias Kirchner and
                  Nico Bannow and
                  Christian Kerstan and
                  Christoph Grimm},
  editor       = {Adam Morawiec and
                  Jinnie Hinderscheit},
  title        = {Mixed Signal Simulation with SystemC and Saber},
  booktitle    = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
                  {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  pages        = {111--116},
  publisher    = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year         = {2010},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KirchnerBKG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SchupferGOKB10,
  author       = {Florian Schupfer and
                  Christoph Grimm and
                  Markus Olbrich and
                  Michael K{\"{a}}rgel and
                  Erich Barke},
  editor       = {Adam Morawiec and
                  Jinnie Hinderscheit},
  title        = {Towards Abstract Analysis Techniques for Range Based System Simulations},
  booktitle    = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
                  {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  pages        = {159--164},
  publisher    = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year         = {2010},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SchupferGOKB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AdhikariG10,
  author       = {Sumit Adhikari and
                  Christoph Grimm},
  editor       = {Adam Morawiec and
                  Jinnie Hinderscheit},
  title        = {Modeling Switched Capacitor Sigma Delta Modulator Nonidealities in
                  SystemC-AMS},
  booktitle    = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
                  {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  pages        = {216--221},
  publisher    = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year         = {2010},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/AdhikariG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RafailaKDPG10,
  author       = {Monica Rafaila and
                  J{\'{e}}r{\^{o}}me Kirscher and
                  Christian Decker and
                  Georg Pelz and
                  Christoph Grimm},
  editor       = {Adam Morawiec and
                  Jinnie Hinderscheit},
  title        = {Design of Experiments for Reliable Operation of Electronics in Automotive
                  Applications},
  booktitle    = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
                  {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  pages        = {222--227},
  publisher    = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year         = {2010},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RafailaKDPG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fit/FarooqAHG10,
  author       = {Muhammad Farooq and
                  Sumit Adhikari and
                  Jan Haase and
                  Christoph Grimm},
  title        = {Modeling methodology in SystemC-AMS for embedded analog mixed signal
                  systems},
  booktitle    = {{FIT} '10, 8th International Conference on Frontiers of Information
                  Technology, Islamabad, Pakistan, December 21-23, 2010},
  pages        = {27},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1943628.1943655},
  doi          = {10.1145/1943628.1943655},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fit/FarooqAHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/OuBHG10,
  author       = {Jiong Ou and
                  Peter Brunmayr and
                  Jan Haase and
                  Christoph Grimm},
  editor       = {Manfred Dietrich},
  title        = {Ein formales Modell f{\"{u}}r den Entwurf von flexiblen Kommunikationssystemen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
                  2010},
  pages        = {207--216},
  publisher    = {Fraunhofer Verlag},
  year         = {2010},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/OuBHG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/patmos/HaaseG10,
  author       = {Jan Haase and
                  Christoph Grimm},
  editor       = {Ren{\'{e}} van Leuken and
                  Gilles Sicard},
  title        = {Power Profiling of Embedded Analog/Mixed-Signal Systems},
  booktitle    = {Integrated Circuit and System Design. Power and Timing Modeling, Optimization,
                  and Simulation - 20th International Workshop, {PATMOS} 2010, Grenoble,
                  France, September 7-10, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6448},
  pages        = {250},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17752-1\_25},
  doi          = {10.1007/978-3-642-17752-1\_25},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/patmos/HaaseG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schupfer010,
  author       = {Florian Schupfer and
                  Christoph Grimm},
  editor       = {Bernd Becker and
                  Luca Cardelli and
                  Holger Hermanns and
                  Sofi{\`{e}}ne Tahar},
  title        = {Towards more Dependable Verification of Mixed-Signal Systems},
  booktitle    = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {10271},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2010},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2791/},
  timestamp    = {Sat, 30 Sep 2023 09:38:34 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Schupfer010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmas/ZaidiGH09,
  author       = {Yaseen Zaidi and
                  Christoph Grimm and
                  Jan Haase},
  title        = {Analog behavior refinement in system centric modeling},
  booktitle    = {2009 {IEEE} International Behavioral Modeling and Simulation Workshop,
                  {BMAS} 2009, San Jose, CA, USA, September 17-18, 2009},
  pages        = {31--36},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/BMAS.2009.5338893},
  doi          = {10.1109/BMAS.2009.5338893},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bmas/ZaidiGH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KirchnerBG09,
  author       = {Tobias Kirchner and
                  Nico Bannow and
                  Christoph Grimm},
  editor       = {Luca Benini and
                  Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller},
  title        = {Analogue mixed signal simulation using spice and SystemC},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
                  April 20-24, 2009},
  pages        = {284--287},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/DATE.2009.5090672},
  doi          = {10.1109/DATE.2009.5090672},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/date/KirchnerBG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HaaseDGMG09,
  author       = {Jan Haase and
                  Markus Damm and
                  Johann Glaser and
                  Javier Moreno and
                  Christoph Grimm},
  title        = {SystemC-based power simulation of wireless sensor networks},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404040/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HaaseDGMG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZaidiGH09,
  author       = {Yaseen Zaidi and
                  Christoph Grimm and
                  Jan Haase},
  title        = {Fast and unified SystemC {AMS} - {HDL} simulation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404078/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ZaidiGH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/RafailaDGEMP09,
  author       = {Monica Rafaila and
                  Christian Decker and
                  Christoph Grimm and
                  Karsten Einwich and
                  Thomas Markwirth and
                  Georg Pelz},
  editor       = {Carsten Gremzow and
                  Nico Moser},
  title        = {New Methods for System-level Verification using SystemC-AMS Extensions:
                  Application to an Automotive {ECU}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009},
  pages        = {217--226},
  publisher    = {Universit{\"{a}}tsbibliothek Berlin, Germany},
  year         = {2009},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/RafailaDGEMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/EinwichGBV09,
  author       = {Karsten Einwich and
                  Christoph Grimm and
                  Martin Barnasconi and
                  Alain Vachoux},
  title        = {Introduction to the SystemC {AMS} {DRAFT} standard},
  booktitle    = {Annual {IEEE} International SoC Conference, SoCC 2009, September 9-11,
                  2009, Belfast, Northern Ireland, UK, Proceedings},
  pages        = {446},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/SOCCON.2009.5397994},
  doi          = {10.1109/SOCCON.2009.5397994},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/socc/EinwichGBV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/DammHGHV08,
  author       = {Markus Damm and
                  Jan Haase and
                  Christoph Grimm and
                  Fernando Herrera and
                  Eugenio Villar},
  title        = {Bridging MoCs in SystemC Specifications of Heterogeneous Systems},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2008},
  year         = {2008},
  url          = {https://doi.org/10.1155/2008/738136},
  doi          = {10.1155/2008/738136},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejes/DammHGHV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/GrimmJSV08,
  author       = {Christoph Grimm and
                  Axel Jantsch and
                  Sandeep Kumar Shukla and
                  Eugenio Villar},
  title        = {C-Based Design of Heterogeneous Embedded Systems},
  journal      = {{EURASIP} J. Embed. Syst.},
  volume       = {2008},
  year         = {2008},
  url          = {https://doi.org/10.1155/2008/243890},
  doi          = {10.1155/2008/243890},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejes/GrimmJSV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmas/DammHG08,
  author       = {Markus Damm and
                  Jan Haase and
                  Christoph Grimm},
  title        = {Co-Simulation of mixed {HW/SW} and Analog/RF systems at architectural
                  level},
  booktitle    = {2008 {IEEE} International Behavioral Modeling and Simulation Workshop,
                  {BMAS} 2008, San Jose, CA, USA, September 25-26, 2008},
  pages        = {84--89},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/BMAS.2008.4751245},
  doi          = {10.1109/BMAS.2008.4751245},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bmas/DammHG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/VillarJGK08,
  author       = {Eugenio Villar and
                  Axel Jantsch and
                  Christoph Grimm and
                  Tim Kogel},
  editor       = {Donatella Sciuto},
  title        = {Heterogeneous System-level Specification Using SystemC},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
                  March 10-14, 2008},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1109/DATE.2008.4484641},
  doi          = {10.1109/DATE.2008.4484641},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/VillarJGK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/DammGHHN08,
  author       = {Markus Damm and
                  Christoph Grimm and
                  Jan Haase and
                  Andreas Herrholz and
                  Wolfgang Nebel},
  title        = {Connecting SystemC-AMS Models with {OSCI} {TLM} 2.0 Models using Temporal
                  Decoupling},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2008, September
                  23-25, 2008, Stuttgart, Germany, Proceedings},
  pages        = {25--30},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/FDL.2008.4641416},
  doi          = {10.1109/FDL.2008.4641416},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/DammGHHN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmD08,
  author       = {Christoph Grimm and
                  Manfred Dietrich},
  title        = {Automotive System Design with Specification and Verification of Uncertainties},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2008, September
                  23-25, 2008, Stuttgart, Germany, Proceedings},
  pages        = {245--246},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/FDL.2008.4641457},
  doi          = {10.1109/FDL.2008.4641457},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GrimmD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmGSN08,
  author       = {Christoph Grimm and
                  Klaus Gravogl and
                  Florian Schupfer and
                  Ingmar Neumann},
  title        = {The AutoSUN Verification Environment},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2008, September
                  23-25, 2008, Stuttgart, Germany, Proceedings},
  pages        = {249--250},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/FDL.2008.4641459},
  doi          = {10.1109/FDL.2008.4641459},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GrimmGSN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HerreraVGDH07,
  author       = {Fernando Herrera and
                  Eugenio Villar and
                  Christoph Grimm and
                  Markus Damm and
                  Jan Haase},
  title        = {A general approach to the interoperability of HetSC and SystemC-AMS},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {32--37},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=276},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HerreraVGDH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrabowskiOGB07,
  author       = {Darius Grabowski and
                  Markus Olbrich and
                  Christoph Grimm and
                  Erich Barke},
  title        = {Range Arithmetics to Speed up Reachability Analysis of Analog Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {38--43},
  publisher    = {{ECSI}},
  year         = {2007},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GrabowskiOGB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/HerrholzOHSNGDHBHVSJFM07,
  author       = {Andreas Herrholz and
                  Frank Oppenheimer and
                  Philipp A. Hartmann and
                  Andreas Schallenberg and
                  Wolfgang Nebel and
                  Christoph Grimm and
                  Markus Damm and
                  Jan Haase and
                  Florian Brame and
                  Fernando Herrera and
                  Eugenio Villar and
                  Ingo Sander and
                  Axel Jantsch and
                  Anne{-}Marie Fouilliart and
                  Marcos Mart{\'{\i}}nez},
  editor       = {Koen Bertels and
                  Walid A. Najjar and
                  Arjan J. van Genderen and
                  Stamatis Vassiliadis},
  title        = {The {ANDRES} Project: Analysis and Design of Run-Time Reconfigurable,
                  Heterogeneous Systems},
  booktitle    = {{FPL} 2007, International Conference on Field Programmable Logic and
                  Applications, Amsterdam, The Netherlands, 27-29 August 2007},
  pages        = {396--401},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/FPL.2007.4380679},
  doi          = {10.1109/FPL.2007.4380679},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/HerrholzOHSNGDHBHVSJFM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmSBW07,
  author       = {Christoph Grimm and
                  R{\"{u}}diger Schroll and
                  Florian Brame and
                  Klaus Waldschmidt},
  editor       = {Christian Haubelt and
                  J{\"{u}}rgen Teich},
  title        = {Top-Down Design analog/digitaler Systeme mit SystemC-AMS},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7,
                  2007},
  series       = {Berichte aus der Informatik},
  pages        = {131--140},
  publisher    = {Shaker},
  year         = {2007},
  timestamp    = {Thu, 11 Jul 2019 13:18:08 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrimmSBW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SchrollHWG06,
  author       = {R{\"{u}}diger Schroll and
                  Wilhelm Heupke and
                  Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {A Framework for the Design of Heterogenous Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {119--121},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=329},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SchrollHWG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/GrabowskiGB06,
  author       = {Darius Grabowski and
                  Christoph Grimm and
                  Erich Barke},
  title        = {Semi-symbolic modeling and simulation of circuits and systems},
  booktitle    = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
                  May 2006, Island of Kos, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISCAS.2006.1692752},
  doi          = {10.1109/ISCAS.2006.1692752},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/GrabowskiGB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/VachouxGKM06,
  author       = {Alain Vachoux and
                  Christoph Grimm and
                  Ralf Kakerow and
                  Christian Meise},
  title        = {Embedded mixed-signal systems: new challenges for modeling and simulation},
  booktitle    = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
                  May 2006, Island of Kos, Greece},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISCAS.2006.1692754},
  doi          = {10.1109/ISCAS.2006.1692754},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/VachouxGKM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HeupkeGW06,
  author       = {Wilhelm Heupke and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Semi-symbolische Modellierung von Abweichungen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {173--180},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/HeupkeGW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrabowskiGB06,
  author       = {Darius Grabowski and
                  Christoph Grimm and
                  Erich Barke},
  editor       = {Bernd Straube and
                  Martin Freibothe},
  title        = {Ein Verfahren zur effizienten Analyse von Schaltungen mit Parametervarianzen},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
                  2006},
  pages        = {181--190},
  publisher    = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year         = {2006},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrabowskiGB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/GrimmHW05,
  author       = {Christoph Grimm and
                  Wilhelm Heupke and
                  Klaus Waldschmidt},
  title        = {Analysis of mixed-signal systems with affine arithmetic},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {24},
  number       = {1},
  pages        = {118--123},
  year         = {2005},
  url          = {https://doi.org/10.1109/TCAD.2004.839469},
  doi          = {10.1109/TCAD.2004.839469},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/GrimmHW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HeupkeGW05,
  author       = {Wilhelm Heupke and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  title        = {Semi-Symbollic Simulation of Nonlinear Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2005, September
                  27-30, 2005, Lausanne, Switzerland, Proceedings},
  pages        = {121--132},
  publisher    = {{ECSI}},
  year         = {2005},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=435},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HeupkeGW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/VachouxGE05,
  author       = {Alain Vachoux and
                  Christoph Grimm and
                  Karsten Einwich},
  title        = {Extending SystemC to support mixed discrete-continuous system modeling
                  and simulation},
  booktitle    = {International Symposium on Circuits and Systems {(ISCAS} 2005), 23-26
                  May 2005, Kobe, Japan},
  pages        = {5166--5169},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/ISCAS.2005.1465798},
  doi          = {10.1109/ISCAS.2005.1465798},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/VachouxGE05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrimmHW04,
  author       = {Christoph Grimm and
                  Wilhelm Heupke and
                  Klaus Waldschmidt},
  title        = {Refinement of Mixed-Signal Systems with Affine Arithmetic},
  booktitle    = {2004 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2004), 16-20 February 2004, Paris, France},
  pages        = {372--377},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DATE.2004.1268875},
  doi          = {10.1109/DATE.2004.1268875},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/GrimmHW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delta/VachouxGE04,
  author       = {Alain Vachoux and
                  Christoph Grimm and
                  Karsten Einwich},
  title        = {Towards Analog and Mixed-Signal {SOC} Design with SystemC-AMS},
  booktitle    = {2nd {IEEE} International Workshop on Electronic Design, Test and Applications
                  {(DELTA} 2004), 28-30 January 2004, Perth, Australia},
  pages        = {97--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/DELTA.2004.10008},
  doi          = {10.1109/DELTA.2004.10008},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/delta/VachouxGE04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SchrollGW04,
  author       = {R{\"{u}}diger Schroll and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  title        = {{HEAVEN:} {A} Framework for the Refinement of Heterogeneous Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2004, September
                  14-17, 2004, Lille, France, Proceedings},
  pages        = {44--56},
  publisher    = {{ECSI}},
  year         = {2004},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=543},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SchrollGW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmHW04,
  author       = {Christoph Grimm and
                  Wilhelm Heupke and
                  Klaus Waldschmidt},
  title        = {Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2004, September
                  14-17, 2004, Lille, France, Proceedings},
  pages        = {56--68},
  publisher    = {{ECSI}},
  year         = {2004},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=545},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GrimmHW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/MeiseG04,
  author       = {Christian Meise and
                  Christoph Grimm},
  editor       = {Edna Natividade da Silva Barros and
                  Fl{\'{a}}vio Rech Wagner and
                  Luigi Carro and
                  Franz{-}Josef Rammig},
  title        = {A SystemC based case study of a sensor application using the BeCom
                  modeling methodology for virtual prototyping},
  booktitle    = {Proceedings of the 17th Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2004, Pernambuco, Brazil, September 7-11,
                  2004},
  pages        = {242--247},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1016568.1016633},
  doi          = {10.1145/1016568.1016633},
  timestamp    = {Fri, 03 Jun 2022 10:53:26 +0200},
  biburl       = {https://dblp.org/rec/conf/sbcci/MeiseG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/VachouxGE03,
  author       = {Alain Vachoux and
                  Christoph Grimm and
                  Karsten Einwich},
  title        = {SystemC-AMS Requirements, Design Objectives and Rationale},
  booktitle    = {2003 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  pages        = {10388--10395},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10030},
  doi          = {10.1109/DATE.2003.10030},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/VachouxGE03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrimmMHW03,
  author       = {Christoph Grimm and
                  Christian Meise and
                  Wilhelm Heupke and
                  Klaus Waldschmidt},
  title        = {Refinement of Mixed-Signal Systems with SystemC},
  booktitle    = {2003 Design, Automation and Test in Europe Conference and Exposition
                  {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  pages        = {11170--11171},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.ieeecomputersociety.org/10.1109/DATE.2003.10060},
  doi          = {10.1109/DATE.2003.10060},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/GrimmMHW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HeupkeGW03,
  author       = {Wilhelm Heupke and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  title        = {A New Method for Modeling and Analysis of Accuracy and Tolerances
                  in Mixed-Signal Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2003, September
                  23-26, 2003, Frankfurt, Germany, Proceedings},
  pages        = {82--90},
  publisher    = {{ECSI}},
  year         = {2003},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=704},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HeupkeGW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RombergG03,
  author       = {Jan Romberg and
                  Christoph Grimm},
  title        = {Refinement of Hybrid Systems from Formal Models to Design Languages},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2003, September
                  23-26, 2003, Frankfurt, Germany, Proceedings},
  pages        = {469--481},
  publisher    = {{ECSI}},
  year         = {2003},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=833},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RombergG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/VachouxGE03,
  author       = {Alain Vachoux and
                  Christoph Grimm and
                  Karsten Einwich},
  title        = {Analog and mixed signal modelling with SystemC-AMS},
  booktitle    = {Proceedings of the 2003 International Symposium on Circuits and Systems,
                  {ISCAS} 2003, Bangkok, Thailand, May 25-28, 2003},
  pages        = {914--917},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ISCAS.2003.1205169},
  doi          = {10.1109/ISCAS.2003.1205169},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/VachouxGE03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/MeiseG03,
  author       = {Christian Meise and
                  Christoph Grimm},
  editor       = {Rolf Drechsler},
  title        = {Konzept einer Klassensammlung zur Verhaltensmodellierung hybrider
                  Systeme am Beispiel der Leistungselektronik},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25,
                  2003},
  pages        = {41--50},
  publisher    = {Shaker},
  year         = {2003},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/MeiseG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/OehlerGW02,
  author       = {Peter Oehler and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  title        = {A methodology for system-level synthesis of mixed-signal applications},
  journal      = {{IEEE} Trans. Very Large Scale Integr. Syst.},
  volume       = {10},
  number       = {6},
  pages        = {935--942},
  year         = {2002},
  url          = {https://doi.org/10.1109/TVLSI.2002.801577},
  doi          = {10.1109/TVLSI.2002.801577},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tvlsi/OehlerGW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmMHW02,
  author       = {Christoph Grimm and
                  Christian Meise and
                  Wilhelm Heupke and
                  Klaus Waldschmidt},
  editor       = {J{\"{u}}rgen Ruf},
  title        = {Entwurf analog/digitaler Systeme mit SystemC},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), T{\"{u}}bingen, Germany,
                  February 25-27, 2002},
  pages        = {46--55},
  publisher    = {Shaker},
  year         = {2002},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrimmMHW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmOMWF01,
  author       = {Christoph Grimm and
                  Peter Oehler and
                  Christian Meise and
                  Klaus Waldschmidt and
                  Wolfgang Fey},
  editor       = {Dieter Monjau},
  title        = {Erstellung von C++-Modellen analoger Leistungselektronik zur schnellen
                  Systemsimulation},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Mei{\ss}en, Germany, February
                  19-21, 2001},
  pages        = {107--117},
  publisher    = {MoPress},
  year         = {2001},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrimmOMWF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Grimm00,
  author       = {Christoph Grimm},
  title        = {Hybride Datenflu{\ss}graphen und ihre Anwendung beim Entwurf analog,
                  digitaler Systeme},
  school       = {University of Frankfurt, Frankfurt am Main, Germany},
  year         = {2000},
  url          = {https://d-nb.info/959046488},
  isbn         = {978-3-18-331620-5},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Grimm00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmS00,
  author       = {Christoph Grimm and
                  Thomas Stauner},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {{\"{U}}bersetzung von HyCharts in {HDFG}},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {141--151},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 22 Dec 2014 14:03:11 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrimmS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HeuschenGW00,
  author       = {Frank Heuschen and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Modellierung des Implementierungsraumes im Analog/Digital Co-Design},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  pages        = {187--197},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/HeuschenGW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2000,
  editor       = {Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
                  28 - March 1, 2000},
  publisher    = {{VDE}},
  year         = {2000},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Grimm99,
  author       = {Christoph Grimm},
  editor       = {Kurt Beiersd{\"{o}}rfer and
                  Gregor Engels and
                  Wilhelm Sch{\"{a}}fer},
  title        = {System-Level Synthese gemischt analog/digitaler Schaltungen},
  booktitle    = {Informatik '99 - Informatik {\"{u}}berwindet Grenzen, 29. Jahrestagung
                  der Gesellschaft f{\"{u}}r Informatik, Paderborn, 5.-9. Oktober
                  1999},
  series       = {Informatik Aktuell},
  pages        = {154--163},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-662-01069-3\_25},
  doi          = {10.1007/978-3-662-01069-3\_25},
  timestamp    = {Tue, 23 May 2017 01:10:32 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Grimm99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StaunerG99,
  author       = {Thomas Stauner and
                  Christoph Grimm},
  editor       = {Gheorghe Stefanescu},
  title        = {Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow
                  Graphs},
  booktitle    = {Workshop on Distributed Systems, {WDS} 1999, {A} satellite workshop
                  to {FCT} 1999, Iassy, Romania, September 2-3, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {28},
  pages        = {81--100},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80631-0},
  doi          = {10.1016/S1571-0661(05)80631-0},
  timestamp    = {Wed, 23 Nov 2022 16:22:34 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StaunerG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/GrimmW98,
  author       = {Christoph Grimm and
                  Klaus Waldschmidt},
  title        = {Spezifikation analog/digitaler Systeme},
  journal      = {Informationstechnik Tech. Inform.},
  volume       = {40},
  number       = {3},
  pages        = {23--26},
  year         = {1998},
  url          = {https://doi.org/10.1524/itit.1998.40.3.23},
  doi          = {10.1524/ITIT.1998.40.3.23},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/GrimmW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrimmW98,
  author       = {Christoph Grimm and
                  Klaus Waldschmidt},
  editor       = {Patrick M. Dewilde and
                  Franz J. Rammig and
                  Gerry Musgrave},
  title        = {Repartitioning and Technology-Mapping of Electronic Hybrid Systems},
  booktitle    = {1998 Design, Automation and Test in Europe {(DATE} '98), February
                  23-26, 1998, Le Palais des Congr{\`{e}}s de Paris, Paris, France},
  pages        = {52--58},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/DATE.1998.655836},
  doi          = {10.1109/DATE.1998.655836},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/GrimmW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmW98,
  author       = {Christoph Grimm and
                  Klaus Waldschmidt},
  editor       = {Franz{-}Josef Rammig and
                  Wolfgang M{\"{u}}ller},
  title        = {Spezifikation hybrider Systeme},
  booktitle    = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
                  von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11,
                  1998},
  pages        = {1--10},
  publisher    = {HNI-Verlagsschriften},
  year         = {1998},
  timestamp    = {Thu, 02 Apr 2015 19:44:47 +0200},
  biburl       = {https://dblp.org/rec/conf/mbmv/GrimmW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/0001W96,
  author       = {Christoph Grimm and
                  Klaus Waldschmidt},
  editor       = {Graham Symonds and
                  Wolfgang Nebel},
  title        = {{KIR} - a graph-based model for description of mixed analog/digital
                  systems},
  booktitle    = {Proceedings of the conference on European design automation, {EURO-DAC}
                  '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
  pages        = {568--573},
  publisher    = {{IEEE} Computer Society Press},
  year         = {1996},
  url          = {https://doi.org/10.1109/EURDAC.1996.558260},
  doi          = {10.1109/EURDAC.1996.558260},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurodac/0001W96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/OehlerGW95,
  author       = {Peter Oehler and
                  Christoph Grimm and
                  Klaus Waldschmidt},
  editor       = {Gerald Musgrave},
  title        = {{KANDIS} - a tool for construction of mixed analog/digital systems},
  booktitle    = {Proceedings EURO-DAC'95, European Design Automation Conference with
                  EURO-VHDL, Brighton, England, UK, September 18-22, 1995},
  pages        = {14--19},
  publisher    = {{IEEE} Computer Society},
  year         = {1995},
  url          = {https://doi.org/10.1109/EURDAC.1995.527383},
  doi          = {10.1109/EURDAC.1995.527383},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurodac/OehlerGW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HalgamugeGG95,
  author       = {Saman K. Halgamuge and
                  Christoph Grimm and
                  Manfred Glesner},
  editor       = {Jim Hightower and
                  Ed Deaton and
                  K. M. George and
                  Janice H. Carroll and
                  Dave Oppenheim},
  title        = {A sub Bayesian nearest prototype neural network with fuzzy interpretability
                  for diagnosis problems},
  booktitle    = {Proceedings of the 1995 {ACM} symposium on applied computing, SAC'95,
                  Nashville, TN, USA, February 26-28, 1995},
  pages        = {445--449},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/315891.316065},
  doi          = {10.1145/315891.316065},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/HalgamugeGG95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}