BibTeX records: Christoph Grimm 0001

download as .bib file

@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},
  year      = {2017},
  crossref  = {DBLP:conf/dac/2017},
  url       = {http://doi.acm.org/10.1145/3061639.3072949},
  doi       = {10.1145/3061639.3072949},
  timestamp = {Mon, 17 Jul 2017 12:46:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dac/0001R17},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/ddecs/2017},
  url       = {https://doi.org/10.1109/DDECS.2017.7934589},
  doi       = {10.1109/DDECS.2017.7934589},
  timestamp = {Mon, 12 Jun 2017 19:22:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ddecs/FurtigG0HHLNORS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/Radojicic0JR17,
  author    = {Carna Radojicic and
               Christoph Grimm and
               Axel Jantsch and
               Michael Rathmair},
  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.},
  pages     = {1--17},
  year      = {2017},
  crossref  = {DBLP:journals/corr/AbrahamB17},
  url       = {https://doi.org/10.4204/EPTCS.247.1},
  doi       = {10.4204/EPTCS.247.1},
  timestamp = {Wed, 06 Sep 2017 14:36:42 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/Radojicic0JR17},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/date/2016},
  url       = {http://ieeexplore.ieee.org/document/7459473/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/BarkeFG0HHHLNNO16},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2015},
  crossref  = {DBLP:conf/dtis/2015},
  url       = {https://doi.org/10.1109/DTIS.2015.7127376},
  doi       = {10.1109/DTIS.2015.7127376},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dtis/RadojicicPG15},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2015},
  crossref  = {DBLP:conf/dtis/2015},
  url       = {https://doi.org/10.1109/DTIS.2015.7127375},
  doi       = {10.1109/DTIS.2015.7127375},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dtis/WawrzikCM015},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2015},
  crossref  = {DBLP:conf/fdl/2015},
  url       = {https://doi.org/10.1109/FDL.2015.7306087},
  doi       = {10.1109/FDL.2015.7306087},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/PanM015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/PanM015,
  author    = {Xiao Pan and
               Javier Moreno and
               Christoph Grimm},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/mbmv/2015},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/PanM015},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/date/2014},
  url       = {https://doi.org/10.7873/DATE.2014.017},
  doi       = {10.7873/DATE.2014.017},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/HarrantNKGP14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/RadojicicGMP14,
  author    = {Carna Radojicic and
               Christoph Grimm and
               Javier Moreno and
               Xiao Pan},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/date/2014},
  url       = {https://doi.org/10.7873/DATE.2014.029},
  doi       = {10.7873/DATE.2014.029},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/RadojicicGMP14},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2014},
  crossref  = {DBLP:conf/fdl/2014},
  url       = {https://doi.org/10.1109/FDL.2014.7119352},
  doi       = {10.1109/FDL.2014.7119352},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/WawrzikM014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/RadojicicKG14,
  author    = {Carna Radojicic and
               Kristin Kr{\"{u}}ger and
               Christoph Grimm},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/mbmv/2014},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/RadojicicKG14},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/vlsi/RadojicicGSR13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/GrimmMP13,
  author    = {Christoph Grimm and
               Javier Moreno and
               Xiao Pan},
  title     = {Ultra-low power: an {EDA} challenge},
  booktitle = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  pages     = {483},
  year      = {2013},
  crossref  = {DBLP:conf/date/2013},
  url       = {http://dl.acm.org/citation.cfm?id=2485407},
  timestamp = {Tue, 10 Nov 2015 12:54:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/GrimmMP13},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2013},
  crossref  = {DBLP:conf/fdl/2013},
  url       = {http://ieeexplore.ieee.org/document/6646626/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/GrimmE13},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/fdl/2012},
  url       = {http://ieeexplore.ieee.org/document/6336978/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/RadojicicSRG12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/fdl/2012},
  url       = {http://ieeexplore.ieee.org/document/6336987/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/MorenoDHGH12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/fdl/2012},
  url       = {http://ieeexplore.ieee.org/document/6336990/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/HarrantNPDG12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/fdl/2012},
  url       = {http://ieeexplore.ieee.org/document/6337004/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/RathmairSRG12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/fdl/2012},
  url       = {http://ieeexplore.ieee.org/document/6337010/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/WolfGSHG12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/fdl/2012},
  url       = {http://ieeexplore.ieee.org/document/6337019/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/AdhikariSG12},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2012},
  crossref  = {DBLP:conf/isgteurope/2012},
  url       = {https://doi.org/10.1109/ISGTEurope.2012.6465842},
  doi       = {10.1109/ISGTEurope.2012.6465842},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isgteurope/DammLMHGM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HufnagelBGO12,
  author    = {Simon Hufnagel and
               Nico Bannow and
               Christoph Grimm and
               Jiong Ou},
  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},
  pages     = {49--59},
  year      = {2012},
  crossref  = {DBLP:conf/mbmv/2012},
  timestamp = {Mon, 22 Dec 2014 14:25:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/HufnagelBGO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pdes/AdhikariSG12,
  author    = {Sumit Adhikari and
               Florian Schupfer and
               Christoph Grimm},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/pdes/2012},
  url       = {https://doi.org/10.3182/20120523-3-CZ-3015.00004},
  doi       = {10.3182/20120523-3-CZ-3015.00004},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pdes/AdhikariSG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/AdhikariDGP12,
  author    = {Sumit Adhikari and
               Markus Damm and
               Christoph Grimm and
               Fran{\c{c}}ois P{\^{e}}cheux},
  title     = {Tutorial {T1:} Design of Mixed-Signal Systems using SystemC {AMS}
               Extensions},
  booktitle = {25th International Conference on {VLSI} Design, {VLSID} 2012, Hyderabad,
               India, January 7-11, 2012},
  pages     = {11--12},
  year      = {2012},
  crossref  = {DBLP:conf/vlsid/2012},
  url       = {https://doi.org/10.1109/VLSID.2012.28},
  doi       = {10.1109/VLSID.2012.28},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vlsid/AdhikariDGP12},
  bibsource = {dblp computer science bibliography, http://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   = {{TRETS}},
  volume    = {4},
  number    = {3},
  pages     = {23:1--23:14},
  year      = {2011},
  url       = {http://doi.acm.org/10.1145/2000832.2000835},
  doi       = {10.1145/2000832.2000835},
  timestamp = {Wed, 04 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/trets/GlaserDHG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ahs/OuFHG11,
  author    = {Jiong Ou and
               Muhammad Farooq and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/ahs/2011},
  url       = {https://doi.org/10.1109/AHS.2011.5963945},
  doi       = {10.1109/AHS.2011.5963945},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ahs/OuFHG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/arcs/GravoglHG11,
  author    = {Klaus Gravogl and
               Jan Haase and
               Christoph Grimm},
  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.},
  year      = {2011},
  crossref  = {DBLP:conf/arcs/2011w},
  url       = {http://www.vde-verlag.de/proceedings-de/563333040.html},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/arcs/GravoglHG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/arcs/MatischekHGH11,
  author    = {Rainer Matischek and
               Thomas Herndl and
               Christoph Grimm and
               Jan Haase},
  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.},
  year      = {2011},
  crossref  = {DBLP:conf/arcs/2011w},
  url       = {http://www.vde-verlag.de/proceedings-de/563333037.html},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/arcs/MatischekHGH11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/date/2011},
  url       = {https://doi.org/10.1109/DATE.2011.5763170},
  doi       = {10.1109/DATE.2011.5763170},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/MatischekHGH11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/date/2011},
  url       = {https://doi.org/10.1109/DATE.2011.5763171},
  doi       = {10.1109/DATE.2011.5763171},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/MahlknechtKGW11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/date/2011},
  url       = {https://doi.org/10.1109/DATE.2011.5763204},
  doi       = {10.1109/DATE.2011.5763204},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/ZaidiGH11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/AdhikariFHG11,
  author    = {Sumit Adhikari and
               Muhammad Farooq and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/ddecs/2011},
  url       = {https://doi.org/10.1109/DDECS.2011.5783044},
  doi       = {10.1109/DDECS.2011.5783044},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ddecs/AdhikariFHG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/ZaidiAG11,
  author    = {Yaseen Zaidi and
               Sumit Adhikari and
               Christoph Grimm},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/ddecs/2011},
  url       = {https://doi.org/10.1109/DDECS.2011.5783093},
  doi       = {10.1109/DDECS.2011.5783093},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ddecs/ZaidiAG11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/ecctd/2011},
  url       = {https://doi.org/10.1109/ECCTD.2011.6043317},
  doi       = {10.1109/ECCTD.2011.6043317},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ecctd/AdhikariZG11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/fdl/2011},
  url       = {http://ieeexplore.ieee.org/document/6069467/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/AdhikariGH11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/fdl/2011},
  url       = {http://ieeexplore.ieee.org/document/6069492/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/WenningerMHG11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/iscas/2011},
  url       = {https://doi.org/10.1109/ISCAS.2011.5938172},
  doi       = {10.1109/ISCAS.2011.5938172},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/LangHG11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/isgteurope/2011},
  url       = {https://doi.org/10.1109/ISGTEurope.2011.6162709},
  doi       = {10.1109/ISGTEurope.2011.6162709},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isgteurope/DammMGBYW11},
  bibsource = {dblp computer science bibliography, http://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   = {Elektrotechnik und 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, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ei/RafailaGDP10},
  bibsource = {dblp computer science bibliography, http://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. Emb. Sys.},
  volume    = {2010},
  year      = {2010},
  url       = {https://doi.org/10.1155/2010/489365},
  doi       = {10.1155/2010/489365},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ejes/ZaidiGH10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ahs/OuFHG10,
  author    = {Jiong Ou and
               Muhammad Farooq and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/ahs/2010},
  url       = {https://doi.org/10.1109/AHS.2010.5546253},
  doi       = {10.1109/AHS.2010.5546253},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ahs/OuFHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/arc/GlaserDHG10,
  author    = {Johann Glaser and
               Markus Damm and
               Jan Haase and
               Christoph Grimm},
  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},
  pages     = {122--133},
  year      = {2010},
  crossref  = {DBLP:conf/arc/2010},
  url       = {https://doi.org/10.1007/978-3-642-12133-3_13},
  doi       = {10.1007/978-3-642-12133-3_13},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/arc/GlaserDHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/arcs/WenningerDMHG10,
  author    = {Joseph Wenninger and
               Markus Damm and
               Javier Moreno and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/arcs/2010w},
  url       = {http://ieeexplore.ieee.org/document/5759005/},
  timestamp = {Wed, 09 Aug 2017 19:06:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/arcs/WenningerDMHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/arcs/MolinaHG10,
  author    = {Javier Moreno Molina and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/arcs/2010w},
  url       = {http://ieeexplore.ieee.org/document/5759013/},
  timestamp = {Wed, 09 Aug 2017 19:06:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/arcs/MolinaHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csndsp/GlaserHG10,
  author    = {Johann Glaser and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/csndsp/2010},
  url       = {http://ieeexplore.ieee.org/document/5580411/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csndsp/GlaserHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/DammMHG10,
  author    = {Markus Damm and
               Javier Moreno and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/date/2010},
  url       = {https://doi.org/10.1109/DATE.2010.5456964},
  doi       = {10.1109/DATE.2010.5456964},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/DammMHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/RafailaDGP10,
  author    = {Monica Rafaila and
               Christian Decker and
               Christoph Grimm and
               Georg Pelz},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/ddecs/2010},
  url       = {https://doi.org/10.1109/DDECS.2010.5491760},
  doi       = {10.1109/DDECS.2010.5491760},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ddecs/RafailaDGP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fdl/BrunmayrHG10,
  author    = {Peter Brunmayr and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/fdl/2010},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/BrunmayrHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HaaseLG10,
  author    = {Jan Haase and
               Mario Lang and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/fdl/2010},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/HaaseLG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KirchnerBKG10,
  author    = {Tobias Kirchner and
               Nico Bannow and
               Christian Kerstan and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/fdl/2010},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/KirchnerBKG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SchupferGOKB10,
  author    = {Florian Schupfer and
               Christoph Grimm and
               Markus Olbrich and
               Michael K{\"{a}}rgel and
               Erich Barke},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/fdl/2010},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/SchupferGOKB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AdhikariG10,
  author    = {Sumit Adhikari and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/fdl/2010},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/AdhikariG10},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/fdl/2010},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/RafailaKDPG10},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2010},
  crossref  = {DBLP:conf/fit/2010},
  url       = {http://doi.acm.org/10.1145/1943628.1943655},
  doi       = {10.1145/1943628.1943655},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fit/FarooqAHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/OuBHG10,
  author    = {Jiong Ou and
               Peter Brunmayr and
               Jan Haase and
               Christoph Grimm},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/mbmv/2010},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/OuBHG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/patmos/HaaseG10,
  author    = {Jan Haase and
               Christoph Grimm},
  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},
  pages     = {250},
  year      = {2010},
  crossref  = {DBLP:conf/patmos/2010},
  url       = {https://doi.org/10.1007/978-3-642-17752-1_25},
  doi       = {10.1007/978-3-642-17752-1_25},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/patmos/HaaseG10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schupfer010,
  author    = {Florian Schupfer and
               Christoph Grimm},
  title     = {Towards more Dependable Verification of Mixed-Signal Systems},
  booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10271},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2791/},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dagstuhl/Schupfer010},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/bmas/2009},
  url       = {https://doi.org/10.1109/BMAS.2009.5338893},
  doi       = {10.1109/BMAS.2009.5338893},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bmas/ZaidiGH09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/KirchnerBG09,
  author    = {Tobias Kirchner and
               Nico Bannow and
               Christoph Grimm},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/date/2009},
  url       = {https://doi.org/10.1109/DATE.2009.5090672},
  doi       = {10.1109/DATE.2009.5090672},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/KirchnerBG09},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/fdl/2009},
  url       = {http://ieeexplore.ieee.org/document/5404040/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/HaaseDGMG09},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/fdl/2009},
  url       = {http://ieeexplore.ieee.org/document/5404078/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/ZaidiGH09},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/mbmv/2009},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/RafailaDGEMP09},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2009},
  crossref  = {DBLP:conf/socc/2009},
  url       = {https://doi.org/10.1109/SOCCON.2009.5397994},
  doi       = {10.1109/SOCCON.2009.5397994},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/socc/EinwichGBV09},
  bibsource = {dblp computer science bibliography, http://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. Emb. Sys.},
  volume    = {2008},
  year      = {2008},
  url       = {https://doi.org/10.1155/2008/738136},
  doi       = {10.1155/2008/738136},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ejes/DammHGHV08},
  bibsource = {dblp computer science bibliography, http://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. Emb. Sys.},
  volume    = {2008},
  year      = {2008},
  url       = {https://doi.org/10.1155/2008/243890},
  doi       = {10.1155/2008/243890},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ejes/GrimmJSV08},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2008},
  crossref  = {DBLP:conf/bmas/2008},
  url       = {https://doi.org/10.1109/BMAS.2008.4751245},
  doi       = {10.1109/BMAS.2008.4751245},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/bmas/DammHG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/VillarJGK08,
  author    = {Eugenio Villar and
               Axel Jantsch and
               Christoph Grimm and
               Tim Kogel},
  title     = {Heterogeneous System-level Specification Using SystemC},
  booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
               March 10-14, 2008},
  year      = {2008},
  crossref  = {DBLP:conf/date/2008},
  url       = {https://doi.org/10.1109/DATE.2008.4484641},
  doi       = {10.1109/DATE.2008.4484641},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/VillarJGK08},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2008},
  crossref  = {DBLP:conf/fdl/2008},
  url       = {https://doi.org/10.1109/FDL.2008.4641416},
  doi       = {10.1109/FDL.2008.4641416},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/DammGHHN08},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2008},
  crossref  = {DBLP:conf/fdl/2008},
  url       = {https://doi.org/10.1109/FDL.2008.4641457},
  doi       = {10.1109/FDL.2008.4641457},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/GrimmD08},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2008},
  crossref  = {DBLP:conf/fdl/2008},
  url       = {https://doi.org/10.1109/FDL.2008.4641459},
  doi       = {10.1109/FDL.2008.4641459},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/GrimmGSN08},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2007},
  crossref  = {DBLP:conf/fdl/2007},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=276},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/HerreraVGDH07},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2007},
  crossref  = {DBLP:conf/fdl/2007},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/GrabowskiOGB07},
  bibsource = {dblp computer science bibliography, http://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},
  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},
  year      = {2007},
  crossref  = {DBLP:conf/fpl/2007},
  url       = {https://doi.org/10.1109/FPL.2007.4380679},
  doi       = {10.1109/FPL.2007.4380679},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fpl/HerrholzOHSNGDHBHVSJFM07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmSBW07,
  author    = {Christoph Grimm and
               R{\"{u}}diger Schroll and
               Florian Brame and
               Klaus Waldschmidt},
  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},
  pages     = {131--140},
  year      = {2007},
  crossref  = {DBLP:conf/mbmv/2007},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/GrimmSBW07},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/fdl/2006},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=329},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/SchrollHWG06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/iscas/2006},
  url       = {https://doi.org/10.1109/ISCAS.2006.1692752},
  doi       = {10.1109/ISCAS.2006.1692752},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/GrabowskiGB06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/iscas/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    = {http://dblp.org/rec/bib/conf/iscas/VachouxGKM06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HeupkeGW06,
  author    = {Wilhelm Heupke and
               Christoph Grimm and
               Klaus Waldschmidt},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/mbmv/2006},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/HeupkeGW06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrabowskiGB06,
  author    = {Darius Grabowski and
               Christoph Grimm and
               Erich Barke},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/mbmv/2006},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/GrabowskiGB06},
  bibsource = {dblp computer science bibliography, http://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. on {CAD} of Integrated Circuits and Systems},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tcad/GrimmHW05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/fdl/2005},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=435},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/HeupkeGW05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/iscas/2005},
  url       = {https://doi.org/10.1109/ISCAS.2005.1465798},
  doi       = {10.1109/ISCAS.2005.1465798},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/VachouxGE05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/date/2004},
  url       = {https://doi.org/10.1109/DATE.2004.1268875},
  doi       = {10.1109/DATE.2004.1268875},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/GrimmHW04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/delta/2004},
  url       = {https://doi.org/10.1109/DELTA.2004.10008},
  doi       = {10.1109/DELTA.2004.10008},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/delta/VachouxGE04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/fdl/2004},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=543},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/SchrollGW04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/fdl/2004},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=545},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/GrimmHW04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sbcci/MeiseG04,
  author    = {Christian Meise and
               Christoph Grimm},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/sbcci/2004},
  url       = {http://doi.acm.org/10.1145/1016568.1016633},
  doi       = {10.1145/1016568.1016633},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sbcci/MeiseG04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2003},
  crossref  = {DBLP:conf/date/2003},
  url       = {http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10030},
  doi       = {10.1109/DATE.2003.10030},
  timestamp = {Mon, 09 Nov 2015 15:56:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/VachouxGE03},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2003},
  crossref  = {DBLP:conf/date/2003},
  url       = {http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10060},
  doi       = {10.1109/DATE.2003.10060},
  timestamp = {Mon, 09 Nov 2015 15:56:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/GrimmMHW03},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2003},
  crossref  = {DBLP:conf/fdl/2003},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=704},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/HeupkeGW03},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2003},
  crossref  = {DBLP:conf/fdl/2003},
  url       = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=833},
  timestamp = {Tue, 12 Jul 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/RombergG03},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2003},
  crossref  = {DBLP:conf/iscas/2003},
  url       = {https://doi.org/10.1109/ISCAS.2003.1205169},
  doi       = {10.1109/ISCAS.2003.1205169},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/VachouxGE03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/MeiseG03,
  author    = {Christian Meise and
               Christoph Grimm},
  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},
  year      = {2003},
  crossref  = {DBLP:conf/mbmv/2003},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/MeiseG03},
  bibsource = {dblp computer science bibliography, http://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. {VLSI} 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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tvlsi/OehlerGW02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmMHW02,
  author    = {Christoph Grimm and
               Christian Meise and
               Wilhelm Heupke and
               Klaus Waldschmidt},
  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},
  year      = {2002},
  crossref  = {DBLP:conf/mbmv/2002},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/GrimmMHW02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmOMWF01,
  author    = {Christoph Grimm and
               Peter Oehler and
               Christian Meise and
               Klaus Waldschmidt and
               Wolfgang Fey},
  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},
  year      = {2001},
  crossref  = {DBLP:conf/mbmv/2001},
  timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/GrimmOMWF01},
  bibsource = {dblp computer science bibliography, http://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       = {http://d-nb.info/959046488},
  isbn      = {978-3-18-331620-5},
  timestamp = {Tue, 17 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/phd/dnb/Grimm00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmS00,
  author    = {Christoph Grimm and
               Thomas Stauner},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/mbmv/2000},
  timestamp = {Mon, 22 Dec 2014 14:03:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/GrimmS00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HeuschenGW00,
  author    = {Frank Heuschen and
               Christoph Grimm and
               Klaus Waldschmidt},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/mbmv/2000},
  timestamp = {Mon, 22 Dec 2014 14:03:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/HeuschenGW00},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/mbmv/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/StaunerG99,
  author    = {Thomas Stauner and
               Christoph Grimm},
  title     = {Prototyping of hybrid systems - from HyCharts to Hybrid Data-Flow
               Graphs},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {28},
  pages     = {81--100},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0661(05)80631-0},
  doi       = {10.1016/S1571-0661(05)80631-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/StaunerG99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gi/Grimm99,
  author    = {Christoph Grimm},
  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.},
  pages     = {154--163},
  year      = {1999},
  crossref  = {DBLP:conf/gi/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    = {http://dblp.org/rec/bib/conf/gi/Grimm99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/it/GrimmW98,
  author    = {Christoph Grimm and
               Klaus Waldschmidt},
  title     = {Spezifikation analog/digitaler Systeme},
  journal   = {it+ti - Informationstechnik und Technische Informatik},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/it/GrimmW98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/date/GrimmW98,
  author    = {Christoph Grimm and
               Klaus Waldschmidt},
  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},
  year      = {1998},
  crossref  = {DBLP:conf/date/1998},
  url       = {https://doi.org/10.1109/DATE.1998.655836},
  doi       = {10.1109/DATE.1998.655836},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/GrimmW98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmW98,
  author    = {Christoph Grimm and
               Klaus Waldschmidt},
  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},
  year      = {1998},
  crossref  = {DBLP:conf/mbmv/1998},
  timestamp = {Thu, 02 Apr 2015 19:44:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/GrimmW98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/0001W96,
  author    = {Christoph Grimm and
               Klaus Waldschmidt},
  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},
  year      = {1996},
  crossref  = {DBLP:conf/eurodac/1996},
  url       = {https://doi.org/10.1109/EURDAC.1996.558260},
  doi       = {10.1109/EURDAC.1996.558260},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurodac/0001W96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/OehlerGW95,
  author    = {Peter Oehler and
               Christoph Grimm and
               Klaus Waldschmidt},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/eurodac/1995},
  url       = {https://doi.org/10.1109/EURDAC.1995.527383},
  doi       = {10.1109/EURDAC.1995.527383},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurodac/OehlerGW95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/HalgamugeGG95,
  author    = {Saman K. Halgamuge and
               Christoph Grimm and
               Manfred Glesner},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/sac/1995},
  url       = {http://doi.acm.org/10.1145/315891.316065},
  doi       = {10.1145/315891.316065},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/HalgamugeGG95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dac/2017,
  title     = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
               2017, Austin, TX, USA, June 18-22, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3061639},
  doi       = {10.1145/3061639},
  isbn      = {978-1-4503-4927-7},
  timestamp = {Mon, 17 Jul 2017 12:46:02 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dac/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ddecs/2017,
  editor    = {Manfred Dietrich and
               Ondrej Nov{\'{a}}k},
  title     = {20th {IEEE} International Symposium on Design and Diagnostics of Electronic
               Circuits {\&} Systems, {DDECS} 2017, Dresden, Germany, April 19-21,
               2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7932334},
  isbn      = {978-1-5386-0472-4},
  timestamp = {Mon, 12 Jun 2017 19:22:48 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ddecs/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/AbrahamB17,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Sergiy Bogomolov},
  title     = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
               for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
               2017},
  series    = {{EPTCS}},
  volume    = {247},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.02421},
  timestamp = {Wed, 06 Sep 2017 14:36:42 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/AbrahamB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2016,
  editor    = {Luca Fanucci and
               J{\"{u}}rgen Teich},
  title     = {2016 Design, Automation {\&} Test in Europe Conference {\&}
               Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7454909},
  isbn      = {978-3-9815-3707-9},
  timestamp = {Tue, 03 May 2016 10:06:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dtis/2015,
  title     = {10th International Conference on Design {\&} Technology of Integrated
               Systems in Nanoscale Era, {DTIS} 2015, Napoli, Italy, April 21-23,
               2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7118811},
  isbn      = {978-1-4799-1999-4},
  timestamp = {Tue, 23 Jun 2015 13:55:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/dtis/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2015,
  title     = {2015 Forum on Specification and Design Languages, {FDL} 2015, Barcelona,
               Spain, September 14-16, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7299994},
  isbn      = {978-1-4673-7735-5},
  timestamp = {Thu, 19 Nov 2015 14:01:13 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2015,
  editor    = {Ulrich Heinkel and
               Daniel Kriesten and
               Marko R{\"{o}}{\ss}ler},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2015, Chemnitz, Germany, March
               3-4, 2015},
  publisher = {S{\"{a}}chsische Landesbibliothek},
  year      = {2015},
  url       = {http://d-nb.info/1068405465},
  isbn      = {978-3-00-048889-4},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2014,
  editor    = {Gerhard Fettweis and
               Wolfgang Nebel},
  title     = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
               {DATE} 2014, Dresden, Germany, March 24-28, 2014},
  publisher = {European Design and Automation Association},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6784162},
  isbn      = {978-3-9815370-2-4},
  timestamp = {Tue, 10 Nov 2015 12:54:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2014,
  title     = {Proceedings of the 2014 Forum on Specification and Design Languages,
               {FDL} 2014, Munich, Germany, October 14-16, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7113213},
  isbn      = {978-2-9530504-9-3},
  timestamp = {Mon, 15 Jun 2015 13:17:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2014,
  editor    = {J{\"{u}}rgen Ruf and
               Dirk Allmendinger and
               Matteo Michel},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
  publisher = {Cuvillier},
  year      = {2014},
  timestamp = {Thu, 13 Mar 2014 18:26:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2013,
  editor    = {Enrico Macii},
  title     = {Design, Automation and Test in Europe, {DATE} 13, Grenoble, France,
               March 18-22, 2013},
  publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6507370},
  isbn      = {978-1-4503-2153-2},
  timestamp = {Tue, 10 Nov 2015 12:54:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2013,
  title     = {Proceedings of the 2013 Forum on specification and Design Languages,
               {FDL} 2013, Paris, France, September 24-26, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6636145},
  isbn      = {978-2-9530504-8-6},
  timestamp = {Mon, 15 Jun 2015 17:05:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2012,
  title     = {Proceeding of the 2012 Forum on Specification and Design Languages,
               Vienna, Austria, September 18-20, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6330712},
  isbn      = {978-1-4673-1240-0},
  timestamp = {Mon, 12 Nov 2012 12:46:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isgteurope/2012,
  title     = {3rd {IEEE} {PES} Innovative Smart Grid Technologies Europe, {ISGT}
               Europe 2012, Berlin, Germany, October 14-17, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6450175},
  isbn      = {978-1-4673-2595-0},
  timestamp = {Wed, 11 Sep 2013 14:04:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isgteurope/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2012,
  editor    = {Jens Brandt and
               Klaus Schneider},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
               5-7, 2012},
  publisher = {Verlag Dr. Kovac},
  year      = {2012},
  timestamp = {Mon, 22 Dec 2014 14:25:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pdes/2012,
  editor    = {Zdenek Brad{\'{a}}c and
               Frantisek Zezulka},
  title     = {11th {IFAC} Conference on Programmable Devices and Embedded Systems,
               PDeS 2012, Brno, Czech Republic, May 23-25, 2012},
  publisher = {International Federation of Automatic Control},
  year      = {2012},
  url       = {http://www.ifac-papersonline.net/Programmable_Devices_and_Embedded_Systems/11th_IFAC_Conference_on_Programmable_Devices_and_Embedded_Systems__2012__Jointly_with_the_IEEE_/index.html},
  isbn      = {978-3-902823-21-2},
  timestamp = {Tue, 02 Dec 2014 17:40:57 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/pdes/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vlsid/2012,
  editor    = {Vishwani D. Agrawal and
               Srimat T. Chakradhar},
  title     = {25th International Conference on {VLSI} Design, {VLSID} 2012, Hyderabad,
               India, January 7-11, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6167333},
  isbn      = {978-1-4673-0438-2},
  timestamp = {Mon, 20 Apr 2015 18:26:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vlsid/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ahs/2011,
  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     = {2011 {NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS}
               2011, San Diego, California, USA, June 6-9, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5949573},
  isbn      = {978-1-4577-0598-4},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ahs/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/arcs/2011w,
  editor    = {Wolfgang Karl and
               Dimitrios Soudris},
  title     = {{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/buecher/563333/arcs-2011.html},
  isbn      = {978-3-8007-3333-0},
  timestamp = {Thu, 16 May 2013 20:19:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/arcs/2011w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2011,
  title     = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
               March 14-18, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5754459},
  isbn      = {978-1-61284-208-0},
  timestamp = {Wed, 11 Nov 2015 10:09:32 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ddecs/2011,
  editor    = {Rolf Kraemer and
               Adam Pawlak and
               Andreas Steininger and
               Mario Sch{\"{o}}lzel and
               Jaan Raik and
               Heinrich Theodor Vierhaus},
  title     = {14th {IEEE} International Symposium on Design and Diagnostics of Electronic
               Circuits {\&} Systems, {DDECS} 2011, Cottbus, Germany, April 13-15,
               2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5771301},
  isbn      = {978-1-4244-9755-3},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ddecs/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecctd/2011,
  title     = {20th European Conference on Circuit Theory and Design, {ECCTD} 2011,
               Linkoping, Sweden, Aug. 29-31, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6033674},
  isbn      = {978-1-4577-0617-2},
  timestamp = {Mon, 31 Oct 2011 11:49:23 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/ecctd/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2011,
  title     = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
               Oldenburg, Germany, September 13-15, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6062354},
  isbn      = {978-1-4577-0763-6},
  timestamp = {Tue, 15 Nov 2011 10:54:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iscas/2011,
  title     = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
               15-19 2011, Rio de Janeiro, Brazil},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5910713},
  isbn      = {978-1-4244-9473-6},
  timestamp = {Fri, 20 May 2016 09:36:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isgteurope/2011,
  title     = {2nd {IEEE} {PES} International Conference and Exhibition on "Innovative
               Smart Grid Technologies", {ISGT} Europe 2011, Manchester, United Kingdom,
               December 5-7, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6151917},
  isbn      = {978-1-4577-1422-1},
  timestamp = {Sun, 12 Jan 2014 17:44:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/isgteurope/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ahs/2010,
  editor    = {Tughrul Arslan and
               Didier Keymeulen and
               David Merodio and
               Khaled Benkrid and
               Ahmet T. Erdogan and
               Umeshkumar D. Patel},
  title     = {2010 {NASA/ESA} Conference on Adaptive Hardware and Systems, {AHS}
               2010, Anaheim, California, USA, June 15-18, 2010},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5535249},
  isbn      = {978-1-4244-5887-5},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ahs/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/arc/2010,
  editor    = {Phaophak Sirisuk and
               Fearghal Morgan and
               Tarek A. El{-}Ghazawi and
               Hideharu Amano},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12133-3},
  doi       = {10.1007/978-3-642-12133-3},
  isbn      = {978-3-642-12132-6},
  timestamp = {Fri, 26 May 2017 00:49:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/arc/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/arcs/2010w,
  editor    = {Michael Beigl and
               Francisco Javier Cazorla{-}Almeida},
  title     = {{ARCS} '10 - 23th International Conference on Architecture of Computing
               Systens 2010, Workshop Proceedings, February 22-23, 2010, Hannover,
               Germany},
  publisher = {{VDE} Verlag},
  year      = {2010},
  isbn      = {978-3-8007-3222-7},
  timestamp = {Wed, 09 Aug 2017 19:06:51 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/arcs/2010w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csndsp/2010,
  editor    = {Zabih Ghassemlooy and
               Wai Pang Ng},
  title     = {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},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5564175},
  isbn      = {978-1-86135-369-6},
  timestamp = {Mon, 26 Sep 2016 16:46:40 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/csndsp/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2010,
  editor    = {Giovanni De Micheli and
               Bashir M. Al{-}Hashimi and
               Wolfgang M{\"{u}}ller and
               Enrico Macii},
  title     = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
               March 8-12, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5450668},
  isbn      = {978-1-4244-7054-9},
  timestamp = {Fri, 23 Dec 2016 10:54:18 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ddecs/2010,
  editor    = {Elena Gramatov{\'{a}} and
               Zdenek Kot{\'{a}}sek and
               Andreas Steininger and
               Heinrich Theodor Vierhaus and
               Horst Zimmermann},
  title     = {13th {IEEE} International Symposium on Design and Diagnostics of Electronic
               Circuits and Systems, {DDECS} 2010, Vienna, Austria, April 14-16,
               2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5484099},
  isbn      = {978-1-4244-6612-2},
  timestamp = {Thu, 20 Aug 2015 15:50:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ddecs/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2010,
  editor    = {Adam Morawiec and
               Jinnie Hinderscheit},
  title     = {Proceedings of the 2010 Forum on specification {\&} Design Languages,
               {FDL} 2010, September 14-16, 2010, Southampton, {UK}},
  publisher = {ECSI, Electronic Chips {\&} Systems design Initiative},
  year      = {2010},
  url       = {http://www.ecsi.org/fdl2010/},
  timestamp = {Fri, 25 Feb 2011 17:44:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fit/2010,
  title     = {{FIT} '10, 8th International Conference on Frontiers of Information
               Technology, Islamabad, Pakistan, December 21-23, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1943628},
  doi       = {10.1145/1943628},
  isbn      = {978-1-4503-0342-2},
  timestamp = {Tue, 04 Nov 2014 18:50:17 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fit/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2010,
  editor    = {Manfred Dietrich},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24,
               2010},
  publisher = {Fraunhofer Verlag},
  year      = {2010},
  timestamp = {Thu, 28 Jun 2012 08:20:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/patmos/2010,
  editor    = {Ren{\'{e}} van Leuken and
               Gilles Sicard},
  title     = {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},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-17752-1},
  doi       = {10.1007/978-3-642-17752-1},
  isbn      = {978-3-642-17751-4},
  timestamp = {Fri, 26 May 2017 00:49:33 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/patmos/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10271,
  editor    = {Bernd Becker and
               Luca Cardelli and
               Holger Hermanns and
               Sofi{\`{e}}ne Tahar},
  title     = {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/portals/10271/},
  timestamp = {Fri, 20 Jan 2017 12:54:05 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/dagstuhl/2010P10271},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bmas/2009,
  title     = {2009 {IEEE} International Behavioral Modeling and Simulation Workshop,
               {BMAS} 2009, San Jose, CA, USA, September 17-18, 2009},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5335440},
  isbn      = {978-1-4244-5358-0},
  timestamp = {Fri, 21 Nov 2014 14:29:13 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/bmas/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2009,
  editor    = {Luca Benini and
               Giovanni De Micheli and
               Bashir M. Al{-}Hashimi and
               Wolfgang M{\"{u}}ller},
  title     = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
               April 20-24, 2009},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4926138},
  isbn      = {978-1-4244-3781-8},
  timestamp = {Tue, 10 Nov 2015 12:54:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2009,
  title     = {Forum on specification and Design Languages, {FDL} 2009, September
               22-24, 2009, Sophia Antipolis, France, Proceedings},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5393959},
  isbn      = {978-2-9530504-1-7},
  timestamp = {Mon, 15 Jun 2015 17:05:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2009,
  editor    = {Carsten Gremzow and
               Nico Moser},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009},
  publisher = {Universit{\"{a}}tsbibliothek Berlin, Germany},
  year      = {2009},
  timestamp = {Thu, 28 Jun 2012 08:33:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/socc/2009,
  title     = {Annual {IEEE} International SoC Conference, SoCC 2009, September 9-11,
               2009, Belfast, Northern Ireland, UK, Proceedings},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5379508},
  isbn      = {978-1-4244-4940-8},
  timestamp = {Mon, 14 Nov 2011 10:28:56 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/socc/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bmas/2008,
  title     = {2008 {IEEE} International Behavioral Modeling and Simulation Workshop,
               {BMAS} 2008, San Jose, CA, USA, September 25-26, 2008},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4747412},
  isbn      = {978-1-4244-2896-0},
  timestamp = {Fri, 21 Nov 2014 14:27:25 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/bmas/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2008,
  editor    = {Donatella Sciuto},
  title     = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
               March 10-14, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1403375},
  doi       = {10.1145/1403375},
  isbn      = {978-3-9810801-3-1},
  timestamp = {Tue, 10 Nov 2015 12:54:15 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2008,
  title     = {Forum on specification and Design Languages, {FDL} 2008, September
               23-25, 2008, Stuttgart, Germany, Proceedings},
  publisher = {{IEEE}},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4636106},
  isbn      = {978-1-4244-2265-4},
  timestamp = {Mon, 15 Jun 2015 17:05:21 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2007,
  title     = {Forum on specification and Design Languages, {FDL} 2007, September
               18-20, 2007, Barcelona, Spain, Proceedings},
  publisher = {{ECSI}},
  year      = {2007},
  timestamp = {Wed, 04 Mar 2009 14:27:08 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fpl/2007,
  editor    = {Koen Bertels and
               Walid A. Najjar and
               Arjan J. van Genderen and
               Stamatis Vassiliadis},
  title     = {{FPL} 2007, International Conference on Field Programmable Logic and
               Applications, Amsterdam, The Netherlands, 27-29 August 2007},
  publisher = {{IEEE}},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4380601},
  isbn      = {1-4244-1060-6},
  timestamp = {Tue, 26 Apr 2016 13:23:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fpl/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2007,
  editor    = {Christian Haubelt and
               J{\"{u}}rgen Teich},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7,
               2007},
  publisher = {Shaker},
  year      = {2007},
  timestamp = {Thu, 28 Jun 2012 08:55:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2006,
  title     = {Forum on specification and Design Languages, {FDL} 2006, September
               19-22, 2006, Darmstadt, Germany, Proceedings},
  publisher = {{ECSI}},
  year      = {2006},
  isbn      = {978-3-00-019710-9},
  timestamp = {Wed, 04 Mar 2009 14:23:41 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iscas/2006,
  title     = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
               May 2006, Island of Kos, Greece},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11145},
  isbn      = {0-7803-9389-9},
  timestamp = {Fri, 20 May 2016 09:41:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2006,
  editor    = {Bernd Straube and
               Martin Freibothe},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
               2006},
  publisher = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
  year      = {2006},
  timestamp = {Thu, 28 Jun 2012 09:12:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2005,
  title     = {Forum on specification and Design Languages, {FDL} 2005, September
               27-30, 2005, Lausanne, Switzerland, Proceedings},
  publisher = {{ECSI}},
  year      = {2005},
  timestamp = {Thu, 05 Mar 2009 15:09:02 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iscas/2005,
  title     = {International Symposium on Circuits and Systems {(ISCAS} 2005), 23-26
               May 2005, Kobe, Japan},
  publisher = {{IEEE}},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9898},
  isbn      = {0-7803-8834-8},
  timestamp = {Fri, 20 May 2016 09:46:35 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2004,
  title     = {2004 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2004), 16-20 February 2004, Paris, France},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://www.computer.org/csdl/proceedings/date/2004/index.html},
  isbn      = {0-7695-2085-5},
  timestamp = {Tue, 05 Apr 2016 18:04:59 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/date/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/delta/2004,
  title     = {2nd {IEEE} International Workshop on Electronic Design, Test and Applications
               {(DELTA} 2004), 28-30 January 2004, Perth, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9676},
  isbn      = {0-7695-2081-2},
  timestamp = {Wed, 18 May 2016 10:24:36 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/delta/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2004,
  title     = {Forum on specification and Design Languages, {FDL} 2004, September
               14-17, 2004, Lille, France, Proceedings},
  publisher = {{ECSI}},
  year      = {2004},
  timestamp = {Fri, 06 Mar 2009 14:50:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sbcci/2004,
  editor    = {Edna Natividade da Silva Barros and
               Fl{\'{a}}vio Rech Wagner and
               Luigi Carro and
               Franz{-}Josef Rammig},
  title     = {Proceedings of the 17th Annual Symposium on Integrated Circuits and
               Systems Design, {SBCCI} 2004, Pernambuco, Brazil, September 7-11,
               2004},
  publisher = {{ACM}},
  year      = {2004},
  timestamp = {Mon, 04 Jun 2007 15:14:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sbcci/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/2003,
  title     = {2003 Design, Automation and Test in Europe Conference and Exposition
               {(DATE} 2003), 3-7 March 2003, Munich, Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8443},
  isbn      = {0-7695-1870-2},
  timestamp = {Mon, 09 Nov 2015 15:56:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fdl/2003,
  title     = {Forum on specification and Design Languages, {FDL} 2003, September
               23-26, 2003, Frankfurt, Germany, Proceedings},
  publisher = {{ECSI}},
  year      = {2003},
  timestamp = {Sun, 08 Mar 2009 12:28:03 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/fdl/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iscas/2003,
  title     = {Proceedings of the 2003 International Symposium on Circuits and Systems,
               {ISCAS} 2003, Bangkok, Thailand, May 25-28, 2003},
  publisher = {{IEEE}},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8570},
  isbn      = {0-7803-7761-3},
  timestamp = {Fri, 20 May 2016 10:01:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iscas/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2003,
  editor    = {Rolf Drechsler},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25,
               2003},
  publisher = {Shaker},
  year      = {2003},
  timestamp = {Thu, 28 Jun 2012 12:33:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2002,
  editor    = {J{\"{u}}rgen Ruf},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), T{\"{u}}bingen, Germany,
               February 25-27, 2002},
  publisher = {Shaker},
  year      = {2002},
  timestamp = {Thu, 28 Jun 2012 12:33:04 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2001,
  editor    = {Dieter Monjau},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Mei{\ss}en, Germany, February
               19-21, 2001},
  publisher = {MoPress},
  year      = {2001},
  timestamp = {Thu, 28 Jun 2012 13:09:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2001},
  bibsource = {dblp computer science bibliography, http://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 14:03:11 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gi/1999,
  editor    = {Kurt Beiersd{\"{o}}rfer and
               Gregor Engels and
               Wilhelm Sch{\"{a}}fer},
  title     = {Informatik '99 - Informatik {\"{u}}berwindet Grenzen, 29. Jahrestagung
               der Gesellschaft f{\"{u}}r Informatik, Paderborn, 5.-9. Oktober
               1999},
  series    = {Informatik Aktuell},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/978-3-662-01069-3},
  doi       = {10.1007/978-3-662-01069-3},
  isbn      = {3-540-66450-5},
  timestamp = {Tue, 23 May 2017 01:10:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gi/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/date/1998,
  editor    = {Patrick Dewilde and
               Franz J. Rammig and
               Gerry Musgrave},
  title     = {1998 Design, Automation and Test in Europe {(DATE} '98), February
               23-26, 1998, Le Palais des Congr{\`{e}}s de Paris, Paris, France},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5270},
  isbn      = {0-8186-8359-7},
  timestamp = {Mon, 09 Nov 2015 15:56:25 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/date/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mbmv/1998,
  editor    = {Franz{-}Josef Rammig and
               Wolfgang M{\"{u}}ller},
  title     = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
               von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11,
               1998},
  publisher = {HNI-Verlagsschriften},
  year      = {1998},
  timestamp = {Thu, 02 Apr 2015 19:44:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mbmv/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurodac/1996,
  editor    = {Graham Symonds and
               Wolfgang Nebel},
  title     = {Proceedings of the conference on European design automation, {EURO-DAC}
               '96/EURO-VHDL '96, Geneva, Switzerland, September 16-20, 1996},
  publisher = {{IEEE} Computer Society Press},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4063},
  isbn      = {0-8186-7573-X},
  timestamp = {Thu, 12 Nov 2015 10:17:19 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/eurodac/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurodac/1995,
  editor    = {Gerald Musgrave},
  title     = {Proceedings EURO-DAC'95, European Design Automation Conference with
               EURO-VHDL, Brighton, England, UK, September 18-22, 1995},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4009},
  isbn      = {0-8186-7156-4},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurodac/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/1995,
  editor    = {Jim Hightower and
               Ed Deaton and
               K. M. George and
               Janice H. Carroll and
               Dave Oppenheim},
  title     = {Proceedings of the 1995 {ACM} symposium on applied computing, SAC'95,
               Nashville, TN, USA, February 26-28, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://doi.acm.org/10.1145/315891},
  doi       = {10.1145/315891},
  isbn      = {0-89791-658-1},
  timestamp = {Tue, 03 Nov 2015 12:36:38 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sac/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier