Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarBibTeX records: Christoph Grimm 0001
@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 = {https://dblp.org/rec/bib/conf/dac/0001R17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/FurtigG0HHLNORS17,
author = {Andreas Furtig and
Georg Glaeser and
Christoph Grimm and
Lars Hedrich and
Stefan Heinen and
Hyun{-}Sek Lukas Lee and
Gregor Nitsche and
Markus Olbrich and
Carna Radojicic and
Fabian Speicher},
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 = {https://dblp.org/rec/bib/conf/ddecs/FurtigG0HHLNORS17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/giots/GuanVGSVOGSPRH017,
author = {Yajuan Guan and
Juan C. Vasquez and
Josep M. Guerrero and
Natalie Samovich and
Stefan Vanya and
Viktor Oravec and
Raul Garcia{-}Castro and
Fernando Serena and
Mar{\'{\i}}a Poveda{-}Villal{\'{o}}n and
Carna Radojicic and
Christopher Heinz and
Christoph Grimm and
Athanasios Tryferidis and
Dimitrios Tzovaras and
Keith Dickerson and
Marek Paralic and
Marek Skokan and
Tomas Sabol},
title = {An open virtual neighbourhood network to connect IoT infrastructures
and smart objects - Vicinity: IoT enables interoperability as a service},
booktitle = {Global Internet of Things Summit, GIoTS 2017, Geneva, Switzerland,
June 6-9, 2017},
pages = {1--6},
year = {2017},
crossref = {DBLP:conf/giots/2017},
url = {https://doi.org/10.1109/GIOTS.2017.8016233},
doi = {10.1109/GIOTS.2017.8016233},
timestamp = {Fri, 08 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/conf/giots/GuanVGSVOGSPRH017},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmR17,
author = {Christoph Grimm and
Carna Radojicic},
title = {Extending Affine Arithmetic for Formal Verification of Analog/Mixed-Signal
Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2017, Bremen, Germany, February
8-9, 2017.},
pages = {39--40},
year = {2017},
crossref = {DBLP:conf/mbmv/2017},
timestamp = {Mon, 20 Nov 2017 10:25:21 +0100},
biburl = {https://dblp.org/rec/bib/conf/mbmv/GrimmR17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/PurusothamanG17,
author = {Thiyagarajan Purusothaman and
Christoph Grimm},
title = {SystemC {AMS} based Co-simulation Framework for Cyber Physical Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2017, Bremen, Germany, February
8-9, 2017.},
pages = {55--66},
year = {2017},
crossref = {DBLP:conf/mbmv/2017},
timestamp = {Mon, 20 Nov 2017 10:25:21 +0100},
biburl = {https://dblp.org/rec/bib/conf/mbmv/PurusothamanG17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Radojicic0JR17,
author = {Carna Radojicic and
Christoph Grimm and
Axel Jantsch and
Michael Rathmair},
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 = {https://dblp.org/rec/bib/journals/corr/Radojicic0JR17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BarkeFG0HHHLNNO16,
author = {Erich Barke and
Andreas Furtig and
Georg Glaeser and
Christoph Grimm and
Lars Hedrich and
Stefan Heinen and
Eckhard Hennig and
Hyun{-}Sek Lukas Lee and
Wolfgang Nebel and
Gregor Nitsche and
Markus Olbrich and
Carna Radojicic and
Fabian Speicher},
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 = {https://dblp.org/rec/bib/conf/date/BarkeFG0HHHLNNO16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/RadojicicPG15,
author = {Carna Radojicic and
Thiyagarajan Purusothaman and
Christoph Grimm},
title = {Towards formal validation: Symbolic simulation of SystemC models},
booktitle = {10th International Conference on Design {\&} Technology of Integrated
Systems in Nanoscale Era, {DTIS} 2015, Napoli, Italy, April 21-23,
2015},
pages = {1--6},
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 = {https://dblp.org/rec/bib/conf/dtis/RadojicicPG15},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dtis/WawrzikCM015,
author = {Frank Wawrzik and
William Chipman and
Javier Moreno Molina and
Christoph Grimm},
title = {Modeling and simulation of Cyber-Physical Systems with {SICYPHOS}},
booktitle = {10th International Conference on Design {\&} Technology of Integrated
Systems in Nanoscale Era, {DTIS} 2015, Napoli, Italy, April 21-23,
2015},
pages = {1--6},
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 = {https://dblp.org/rec/bib/conf/dtis/WawrzikCM015},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/PanM015,
author = {Xiao Pan and
Javier Moreno Molina and
Christoph Grimm},
title = {Modeling power consumption at system-level for design of power integrity-aware
AMS-circuits},
booktitle = {2015 Forum on Specification and Design Languages, {FDL} 2015, Barcelona,
Spain, September 14-16, 2015},
pages = {32--39},
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 = {https://dblp.org/rec/bib/conf/fdl/PanM015},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/PanM015},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HarrantNKGP14,
author = {Manuel Harrant and
Thomas Nirmaier and
J{\'{e}}r{\^{o}}me Kirscher and
Christoph Grimm and
Georg Pelz},
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 = {Wed, 15 Nov 2017 16:53:38 +0100},
biburl = {https://dblp.org/rec/bib/conf/date/HarrantNKGP14},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RadojicicGMP14,
author = {Carna Radojicic and
Christoph Grimm and
Javier Moreno and
Xiao Pan},
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 = {Wed, 15 Nov 2017 16:53:38 +0100},
biburl = {https://dblp.org/rec/bib/conf/date/RadojicicGMP14},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WawrzikM014,
author = {Frank Wawrzik and
Javier Moreno Molina and
Christoph Grimm},
title = {A concept for design of embedded systems at semantic level},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages,
{FDL} 2014, Munich, Germany, October 14-16, 2014},
pages = {1--4},
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 = {https://dblp.org/rec/bib/conf/fdl/WawrzikM014},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/RadojicicKG14},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsi/RadojicicGSR13,
author = {Carna Radojicic and
Christoph Grimm and
Florian Schupfer and
Michael Rathmair},
title = {Verification of Mixed-Signal Systems with Affine Arithmetic Assertions},
journal = {{VLSI} Design},
volume = {2013},
pages = {239064:1--239064:14},
year = {2013},
url = {https://doi.org/10.1155/2013/239064},
doi = {10.1155/2013/239064},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/vlsi/RadojicicGSR13},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/GrimmMP13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmE13,
author = {Christoph Grimm and
Emmanuelle Encrenaz},
title = {Verification of heterogeneous systems: Theory and industrial experiences},
booktitle = {Proceedings of the 2013 Forum on specification and Design Languages,
{FDL} 2013, Paris, France, September 24-26, 2013},
pages = {1},
year = {2013},
crossref = {DBLP:conf/fdl/2013},
url = {http://ieeexplore.ieee.org/document/6646626/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/GrimmE13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RadojicicSRG12,
author = {Carna Radojicic and
Florian Schupfer and
Michael Rathmair and
Christoph Grimm},
title = {Assertion-based verification of signal processing systems with affine
arithmetic},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages,
Vienna, Austria, September 18-20, 2012},
pages = {20--26},
year = {2012},
crossref = {DBLP:conf/fdl/2012},
url = {http://ieeexplore.ieee.org/document/6336978/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/RadojicicSRG12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/MorenoDHGH12,
author = {Javier Moreno and
Markus Damm and
Jan Haase and
Christoph Grimm and
Edgar Holleis},
title = {Unified and comprehensive electronic system level, network and physics
simulation for wirelessly networked cyber physical systems},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages,
Vienna, Austria, September 18-20, 2012},
pages = {68--74},
year = {2012},
crossref = {DBLP:conf/fdl/2012},
url = {http://ieeexplore.ieee.org/document/6336987/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/MorenoDHGH12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HarrantNPDG12,
author = {Manuel Harrant and
Thomas Nirmaier and
Georg Pelz and
Fabrizio Dona and
Christoph Grimm},
title = {Configurable load emulation using {FPGA} and power amplifiers for
automotive power ICs},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages,
Vienna, Austria, September 18-20, 2012},
pages = {84--89},
year = {2012},
crossref = {DBLP:conf/fdl/2012},
url = {http://ieeexplore.ieee.org/document/6336990/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/HarrantNPDG12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RathmairSRG12,
author = {Michael Rathmair and
Florian Schupfer and
Carna Radojicic and
Christoph Grimm},
title = {Extended framework for system simulation with affine arithmetic},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages,
Vienna, Austria, September 18-20, 2012},
pages = {168--175},
year = {2012},
crossref = {DBLP:conf/fdl/2012},
url = {http://ieeexplore.ieee.org/document/6337004/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/RathmairSRG12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WolfGSHG12,
author = {Clifford Wolf and
Johann Glaser and
Florian Schupfer and
Jan Haase and
Christoph Grimm},
title = {Example-driven interconnect synthesis for heterogeneous coarse-grain
reconfigurable logic},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages,
Vienna, Austria, September 18-20, 2012},
pages = {194--201},
year = {2012},
crossref = {DBLP:conf/fdl/2012},
url = {http://ieeexplore.ieee.org/document/6337010/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/WolfGSHG12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AdhikariSG12,
author = {Sumit Adhikari and
Florian Schupfer and
Christoph Grimm},
title = {FAst optimization of analog amplifier architecture using simulated
annealing},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages,
Vienna, Austria, September 18-20, 2012},
pages = {246--251},
year = {2012},
crossref = {DBLP:conf/fdl/2012},
url = {http://ieeexplore.ieee.org/document/6337019/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/AdhikariSG12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/DammLMHGM12,
author = {Markus Damm and
Milan Lukic and
Stefan Mahlknecht and
Jan Haase and
Christoph Grimm and
Veljko Malbasa},
title = {Shifting of thermal and schedulable loads based on abstract cost profiles},
booktitle = {3rd {IEEE} {PES} Innovative Smart Grid Technologies Europe, {ISGT}
Europe 2012, Berlin, Germany, October 14-17, 2012},
pages = {1--8},
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 = {https://dblp.org/rec/bib/conf/isgteurope/DammLMHGM12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HufnagelBGO12,
author = {Simon Hufnagel and
Nico Bannow and
Christoph Grimm and
Jiong Ou},
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 = {https://dblp.org/rec/bib/conf/mbmv/HufnagelBGO12},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/pdes/AdhikariSG12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/AdhikariDGP12,
author = {Sumit Adhikari and
Markus Damm and
Christoph Grimm and
Fran{\c{c}}ois P{\^{e}}cheux},
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 = {https://dblp.org/rec/bib/conf/vlsid/AdhikariDGP12},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trets/GlaserDHG11,
author = {Johann Glaser and
Markus Damm and
Jan Haase and
Christoph Grimm},
title = {{TR-FSM:} Transition-Based reconfigurable finite state machine},
journal = {{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 = {https://dblp.org/rec/bib/journals/trets/GlaserDHG11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/OuFHG11,
author = {Jiong Ou and
Muhammad Farooq and
Jan Haase and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/ahs/OuFHG11},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/arcs/GravoglHG11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/MatischekHGH11,
author = {Rainer Matischek and
Thomas Herndl and
Christoph Grimm and
Jan Haase},
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 = {https://dblp.org/rec/bib/conf/arcs/MatischekHGH11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MatischekHGH11,
author = {Rainer Matischek and
Thomas Herndl and
Christoph Grimm and
Jan Haase},
title = {Real-time wireless communication in automotive applications},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1036--1041},
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 = {https://dblp.org/rec/bib/conf/date/MatischekHGH11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/MahlknechtKGW11,
author = {Stefan Mahlknecht and
Tom J. Kazmierski and
Christoph Grimm and
Leran Wang},
title = {Wireless communication and energy harvesting in automobiles},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1042--1047},
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 = {https://dblp.org/rec/bib/conf/date/MahlknechtKGW11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZaidiGH11,
author = {Yaseen Zaidi and
Christoph Grimm and
Jan Haase},
title = {Simulation based tuning of system specification},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {1273--1278},
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 = {https://dblp.org/rec/bib/conf/date/ZaidiGH11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/AdhikariFHG11,
author = {Sumit Adhikari and
Muhammad Farooq and
Jan Haase and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/ddecs/AdhikariFHG11},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/ddecs/ZaidiAG11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecctd/AdhikariZG11,
author = {Sumit Adhikari and
Yaseen Zaidi and
Christoph Grimm},
title = {Architectural mitigation for high performance energy measurement},
booktitle = {20th European Conference on Circuit Theory and Design, {ECCTD} 2011,
Linkoping, Sweden, Aug. 29-31, 2011},
pages = {202--205},
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 = {https://dblp.org/rec/bib/conf/ecctd/AdhikariZG11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/AdhikariGH11,
author = {Sumit Adhikari and
Christoph Grimm and
Jan Haase},
title = {Abstract modelling and estimation of a high performance Tobey's {PGA}},
booktitle = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
Oldenburg, Germany, September 13-15, 2011},
pages = {1--6},
year = {2011},
crossref = {DBLP:conf/fdl/2011},
url = {http://ieeexplore.ieee.org/document/6069467/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/AdhikariGH11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WenningerMHG11,
author = {Joseph Wenninger and
Javier Moreno and
Jan Haase and
Christoph Grimm},
title = {Designing low-power wireless sensor networks},
booktitle = {2011 Forum on Specification {\&} Design Languages, {FDL} 2011,
Oldenburg, Germany, September 13-15, 2011},
pages = {1--6},
year = {2011},
crossref = {DBLP:conf/fdl/2011},
url = {http://ieeexplore.ieee.org/document/6069492/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/WenningerMHG11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/LangHG11,
author = {Mario Lang and
Jan Haase and
Christoph Grimm},
title = {Parallel multi-level simulation of wireless sensor networks},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2011), May
15-19 2011, Rio de Janeiro, Brazil},
pages = {2741--2744},
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 = {https://dblp.org/rec/bib/conf/iscas/LangHG11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgteurope/DammMGBYW11,
author = {Markus Damm and
Stefan Mahlknecht and
Christoph Grimm and
Tamas Bertenyi and
Tom Young and
Christian Wysoudil},
title = {A partially decentralised forecast-based demand-side-management approach},
booktitle = {2nd {IEEE} {PES} International Conference and Exhibition on "Innovative
Smart Grid Technologies", {ISGT} Europe 2011, Manchester, United Kingdom,
December 5-7, 2011},
pages = {1--7},
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 = {https://dblp.org/rec/bib/conf/isgteurope/DammMGBYW11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ei/RafailaGDP10,
author = {Monica Rafaila and
Christoph Grimm and
Christian Decker and
Georg Pelz},
title = {Sequential design of experiments for effective model-based validation
of electronic control units},
journal = {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 = {https://dblp.org/rec/bib/journals/ei/RafailaGDP10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/ZaidiGH10,
author = {Yaseen Zaidi and
Christoph Grimm and
Jan Haase},
title = {On Mixed Abstraction, Languages, and Simulation Approach to Refinement
with SystemC {AMS}},
journal = {{EURASIP} J. 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 = {https://dblp.org/rec/bib/journals/ejes/ZaidiGH10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ahs/OuFHG10,
author = {Jiong Ou and
Muhammad Farooq and
Jan Haase and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/ahs/OuFHG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arc/GlaserDHG10,
author = {Johann Glaser and
Markus Damm and
Jan Haase and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/arc/GlaserDHG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/WenningerDMHG10,
author = {Joseph Wenninger and
Markus Damm and
Javier Moreno and
Jan Haase and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/arcs/WenningerDMHG10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/arcs/MolinaHG10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/csndsp/GlaserHG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/DammMHG10,
author = {Markus Damm and
Javier Moreno and
Jan Haase and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/date/DammMHG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/RafailaDGP10,
author = {Monica Rafaila and
Christian Decker and
Christoph Grimm and
Georg Pelz},
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 = {https://dblp.org/rec/bib/conf/ddecs/RafailaDGP10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/BrunmayrHG10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/HaaseLG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KirchnerBKG10,
author = {Tobias Kirchner and
Nico Bannow and
Christian Kerstan and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/fdl/KirchnerBKG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SchupferGOKB10,
author = {Florian Schupfer and
Christoph Grimm and
Markus Olbrich and
Michael K{\"{a}}rgel and
Erich Barke},
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 = {https://dblp.org/rec/bib/conf/fdl/SchupferGOKB10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/AdhikariG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RafailaKDPG10,
author = {Monica Rafaila and
J{\'{e}}r{\^{o}}me Kirscher and
Christian Decker and
Georg Pelz and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/fdl/RafailaKDPG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fit/FarooqAHG10,
author = {Muhammad Farooq and
Sumit Adhikari and
Jan Haase and
Christoph Grimm},
title = {Modeling methodology in SystemC-AMS for embedded analog mixed signal
systems},
booktitle = {{FIT} '10, 8th International Conference on Frontiers of Information
Technology, Islamabad, Pakistan, December 21-23, 2010},
pages = {27},
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 = {https://dblp.org/rec/bib/conf/fit/FarooqAHG10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/OuBHG10,
author = {Jiong Ou and
Peter Brunmayr and
Jan Haase and
Christoph Grimm},
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 = {https://dblp.org/rec/bib/conf/mbmv/OuBHG10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/patmos/HaaseG10},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/dagstuhl/Schupfer010},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmas/ZaidiGH09,
author = {Yaseen Zaidi and
Christoph Grimm and
Jan Haase},
title = {Analog behavior refinement in system centric modeling},
booktitle = {2009 {IEEE} International Behavioral Modeling and Simulation Workshop,
{BMAS} 2009, San Jose, CA, USA, September 17-18, 2009},
pages = {31--36},
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 = {https://dblp.org/rec/bib/conf/bmas/ZaidiGH09},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/KirchnerBG09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HaaseDGMG09,
author = {Jan Haase and
Markus Damm and
Johann Glaser and
Javier Moreno and
Christoph Grimm},
title = {SystemC-based power simulation of wireless sensor networks},
booktitle = {Forum on specification and Design Languages, {FDL} 2009, September
22-24, 2009, Sophia Antipolis, France, Proceedings},
pages = {1--4},
year = {2009},
crossref = {DBLP:conf/fdl/2009},
url = {http://ieeexplore.ieee.org/document/5404040/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/HaaseDGMG09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/ZaidiGH09,
author = {Yaseen Zaidi and
Christoph Grimm and
Jan Haase},
title = {Fast and unified SystemC {AMS} - {HDL} simulation},
booktitle = {Forum on specification and Design Languages, {FDL} 2009, September
22-24, 2009, Sophia Antipolis, France, Proceedings},
pages = {1--6},
year = {2009},
crossref = {DBLP:conf/fdl/2009},
url = {http://ieeexplore.ieee.org/document/5404078/},
timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/conf/fdl/ZaidiGH09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/RafailaDGEMP09,
author = {Monica Rafaila and
Christian Decker and
Christoph Grimm and
Karsten Einwich and
Thomas Markwirth and
Georg Pelz},
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 = {https://dblp.org/rec/bib/conf/mbmv/RafailaDGEMP09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socc/EinwichGBV09,
author = {Karsten Einwich and
Christoph Grimm and
Martin Barnasconi and
Alain Vachoux},
title = {Introduction to the SystemC {AMS} {DRAFT} standard},
booktitle = {Annual {IEEE} International SoC Conference, SoCC 2009, September 9-11,
2009, Belfast, Northern Ireland, UK, Proceedings},
pages = {446},
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 = {https://dblp.org/rec/bib/conf/socc/EinwichGBV09},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/DammHGHV08,
author = {Markus Damm and
Jan Haase and
Christoph Grimm and
Fernando Herrera and
Eugenio Villar},
title = {Bridging MoCs in SystemC Specifications of Heterogeneous Systems},
journal = {{EURASIP} J. 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 = {https://dblp.org/rec/bib/journals/ejes/DammHGHV08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/GrimmJSV08,
author = {Christoph Grimm and
Axel Jantsch and
Sandeep Kumar Shukla and
Eugenio Villar},
title = {C-Based Design of Heterogeneous Embedded Systems},
journal = {{EURASIP} J. 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 = {https://dblp.org/rec/bib/journals/ejes/GrimmJSV08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmas/DammHG08,
author = {Markus Damm and
Jan Haase and
Christoph Grimm},
title = {Co-Simulation of mixed {HW/SW} and Analog/RF systems at architectural
level},
booktitle = {2008 {IEEE} International Behavioral Modeling and Simulation Workshop,
{BMAS} 2008, San Jose, CA, USA, September 25-26, 2008},
pages = {84--89},
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 = {https://dblp.org/rec/bib/conf/bmas/DammHG08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/VillarJGK08,
author = {Eugenio Villar and
Axel Jantsch and
Christoph Grimm and
Tim Kogel},
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 = {https://dblp.org/rec/bib/conf/date/VillarJGK08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/DammGHHN08,
author = {Markus Damm and
Christoph Grimm and
Jan Haase and
Andreas Herrholz and
Wolfgang Nebel},
title = {Connecting SystemC-AMS Models with {OSCI} {TLM} 2.0 Models using Temporal
Decoupling},
booktitle = {Forum on specification and Design Languages, {FDL} 2008, September
23-25, 2008, Stuttgart, Germany, Proceedings},
pages = {25--30},
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 = {https://dblp.org/rec/bib/conf/fdl/DammGHHN08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmD08,
author = {Christoph Grimm and
Manfred Dietrich},
title = {Automotive System Design with Specification and Verification of Uncertainties},
booktitle = {Forum on specification and Design Languages, {FDL} 2008, September
23-25, 2008, Stuttgart, Germany, Proceedings},
pages = {245--246},
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 = {https://dblp.org/rec/bib/conf/fdl/GrimmD08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmGSN08,
author = {Christoph Grimm and
Klaus Gravogl and
Florian Schupfer and
Ingmar Neumann},
title = {The AutoSUN Verification Environment},
booktitle = {Forum on specification and Design Languages, {FDL} 2008, September
23-25, 2008, Stuttgart, Germany, Proceedings},
pages = {249--250},
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 = {https://dblp.org/rec/bib/conf/fdl/GrimmGSN08},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HerreraVGDH07,
author = {Fernando Herrera and
Eugenio Villar and
Christoph Grimm and
Markus Damm and
Jan Haase},
title = {A general approach to the interoperability of HetSC and SystemC-AMS},
booktitle = {Forum on specification and Design Languages, {FDL} 2007, September
18-20, 2007, Barcelona, Spain, Proceedings},
pages = {32--37},
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 = {https://dblp.org/rec/bib/conf/fdl/HerreraVGDH07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrabowskiOGB07,
author = {Darius Grabowski and
Markus Olbrich and
Christoph Grimm and
Erich Barke},
title = {Range Arithmetics to Speed up Reachability Analysis of Analog Systems},
booktitle = {Forum on specification and Design Languages, {FDL} 2007, September
18-20, 2007, Barcelona, Spain, Proceedings},
pages = {38--43},
year = {2007},
crossref = {DBLP:conf/fdl/2007},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/conf/fdl/GrabowskiOGB07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/HerrholzOHSNGDHBHVSJFM07,
author = {Andreas Herrholz and
Frank Oppenheimer and
Philipp A. Hartmann and
Andreas Schallenberg and
Wolfgang Nebel and
Christoph Grimm and
Markus Damm and
Jan Haase and
Florian Brame and
Fernando Herrera and
Eugenio Villar and
Ingo Sander and
Axel Jantsch and
Anne{-}Marie Fouilliart and
Marcos Mart{\'{\i}}nez},
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 = {https://dblp.org/rec/bib/conf/fpl/HerrholzOHSNGDHBHVSJFM07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmSBW07,
author = {Christoph Grimm and
R{\"{u}}diger Schroll and
Florian Brame and
Klaus Waldschmidt},
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 = {https://dblp.org/rec/bib/conf/mbmv/GrimmSBW07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SchrollHWG06,
author = {R{\"{u}}diger Schroll and
Wilhelm Heupke and
Klaus Waldschmidt and
Christoph Grimm},
title = {A Framework for the Design of Heterogenous Systems},
booktitle = {Forum on specification and Design Languages, {FDL} 2006, September
19-22, 2006, Darmstadt, Germany, Proceedings},
pages = {119--121},
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 = {https://dblp.org/rec/bib/conf/fdl/SchrollHWG06},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/GrabowskiGB06,
author = {Darius Grabowski and
Christoph Grimm and
Erich Barke},
title = {Semi-symbolic modeling and simulation of circuits and systems},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
May 2006, Island of Kos, Greece},
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 = {https://dblp.org/rec/bib/conf/iscas/GrabowskiGB06},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/VachouxGKM06,
author = {Alain Vachoux and
Christoph Grimm and
Ralf Kakerow and
Christian Meise},
title = {Embedded mixed-signal systems: new challenges for modeling and simulation},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2006), 21-24
May 2006, Island of Kos, Greece},
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 = {https://dblp.org/rec/bib/conf/iscas/VachouxGKM06},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/HeupkeGW06},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/GrabowskiGB06},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/GrimmHW05,
author = {Christoph Grimm and
Wilhelm Heupke and
Klaus Waldschmidt},
title = {Analysis of mixed-signal systems with affine arithmetic},
journal = {{IEEE} Trans. 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 = {https://dblp.org/rec/bib/journals/tcad/GrimmHW05},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HeupkeGW05,
author = {Wilhelm Heupke and
Christoph Grimm and
Klaus Waldschmidt},
title = {Semi-Symbollic Simulation of Nonlinear Systems},
booktitle = {Forum on specification and Design Languages, {FDL} 2005, September
27-30, 2005, Lausanne, Switzerland, Proceedings},
pages = {121--132},
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 = {https://dblp.org/rec/bib/conf/fdl/HeupkeGW05},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/VachouxGE05,
author = {Alain Vachoux and
Christoph Grimm and
Karsten Einwich},
title = {Extending SystemC to support mixed discrete-continuous system modeling
and simulation},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2005), 23-26
May 2005, Kobe, Japan},
pages = {5166--5169},
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 = {https://dblp.org/rec/bib/conf/iscas/VachouxGE05},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrimmHW04,
author = {Christoph Grimm and
Wilhelm Heupke and
Klaus Waldschmidt},
title = {Refinement of Mixed-Signal Systems with Affine Arithmetic},
booktitle = {2004 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2004), 16-20 February 2004, Paris, France},
pages = {372--377},
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 = {https://dblp.org/rec/bib/conf/date/GrimmHW04},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delta/VachouxGE04,
author = {Alain Vachoux and
Christoph Grimm and
Karsten Einwich},
title = {Towards Analog and Mixed-Signal {SOC} Design with SystemC-AMS},
booktitle = {2nd {IEEE} International Workshop on Electronic Design, Test and Applications
{(DELTA} 2004), 28-30 January 2004, Perth, Australia},
pages = {97--102},
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 = {https://dblp.org/rec/bib/conf/delta/VachouxGE04},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/SchrollGW04,
author = {R{\"{u}}diger Schroll and
Christoph Grimm and
Klaus Waldschmidt},
title = {{HEAVEN:} {A} Framework for the Refinement of Heterogeneous Systems},
booktitle = {Forum on specification and Design Languages, {FDL} 2004, September
14-17, 2004, Lille, France, Proceedings},
pages = {44--56},
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 = {https://dblp.org/rec/bib/conf/fdl/SchrollGW04},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/GrimmHW04,
author = {Christoph Grimm and
Wilhelm Heupke and
Klaus Waldschmidt},
title = {Semi-Symbolic Modeling and Analysis of Noise in Heterogeneous Systems},
booktitle = {Forum on specification and Design Languages, {FDL} 2004, September
14-17, 2004, Lille, France, Proceedings},
pages = {56--68},
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 = {https://dblp.org/rec/bib/conf/fdl/GrimmHW04},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/sbcci/MeiseG04},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/VachouxGE03,
author = {Alain Vachoux and
Christoph Grimm and
Karsten Einwich},
title = {SystemC-AMS Requirements, Design Objectives and Rationale},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {10388--10395},
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 = {https://dblp.org/rec/bib/conf/date/VachouxGE03},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GrimmMHW03,
author = {Christoph Grimm and
Christian Meise and
Wilhelm Heupke and
Klaus Waldschmidt},
title = {Refinement of Mixed-Signal Systems with SystemC},
booktitle = {2003 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2003), 3-7 March 2003, Munich, Germany},
pages = {11170--11171},
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 = {https://dblp.org/rec/bib/conf/date/GrimmMHW03},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/HeupkeGW03,
author = {Wilhelm Heupke and
Christoph Grimm and
Klaus Waldschmidt},
title = {A New Method for Modeling and Analysis of Accuracy and Tolerances
in Mixed-Signal Systems},
booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
23-26, 2003, Frankfurt, Germany, Proceedings},
pages = {82--90},
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 = {https://dblp.org/rec/bib/conf/fdl/HeupkeGW03},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RombergG03,
author = {Jan Romberg and
Christoph Grimm},
title = {Refinement of Hybrid Systems from Formal Models to Design Languages},
booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
23-26, 2003, Frankfurt, Germany, Proceedings},
pages = {469--481},
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 = {https://dblp.org/rec/bib/conf/fdl/RombergG03},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/VachouxGE03,
author = {Alain Vachoux and
Christoph Grimm and
Karsten Einwich},
title = {Analog and mixed signal modelling with SystemC-AMS},
booktitle = {Proceedings of the 2003 International Symposium on Circuits and Systems,
{ISCAS} 2003, Bangkok, Thailand, May 25-28, 2003},
pages = {914--917},
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 = {https://dblp.org/rec/bib/conf/iscas/VachouxGE03},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/MeiseG03},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/OehlerGW02,
author = {Peter Oehler and
Christoph Grimm and
Klaus Waldschmidt},
title = {A methodology for system-level synthesis of mixed-signal applications},
journal = {{IEEE} Trans. {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 = {https://dblp.org/rec/bib/journals/tvlsi/OehlerGW02},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmMHW02,
author = {Christoph Grimm and
Christian Meise and
Wilhelm Heupke and
Klaus Waldschmidt},
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 = {https://dblp.org/rec/bib/conf/mbmv/GrimmMHW02},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrimmOMWF01,
author = {Christoph Grimm and
Peter Oehler and
Christian Meise and
Klaus Waldschmidt and
Wolfgang Fey},
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 = {https://dblp.org/rec/bib/conf/mbmv/GrimmOMWF01},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Grimm00,
author = {Christoph Grimm},
title = {Hybride Datenflu{\ss}graphen und ihre Anwendung beim Entwurf analog,
digitaler Systeme},
school = {University of Frankfurt, Frankfurt am Main, Germany},
year = {2000},
url = {http://d-nb.info/959046488},
isbn = {978-3-18-331620-5},
timestamp = {Tue, 17 Jan 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/phd/dnb/Grimm00},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/GrimmS00},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/HeuschenGW00},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2000,
editor = {Klaus Waldschmidt and
Christoph Grimm},
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
28 - March 1, 2000},
publisher = {{VDE}},
year = {2000},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/bib/conf/mbmv/2000},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/journals/entcs/StaunerG99},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/gi/Grimm99},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/GrimmW98,
author = {Christoph Grimm and
Klaus Waldschmidt},
title = {Spezifikation analog/digitaler Systeme},
journal = {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 = {https://dblp.org/rec/bib/journals/it/GrimmW98},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/GrimmW98},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/GrimmW98},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/eurodac/0001W96},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/eurodac/OehlerGW95},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/sac/HalgamugeGG95},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/dac/2017},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/ddecs/2017},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/giots/2017,
title = {Global Internet of Things Summit, GIoTS 2017, Geneva, Switzerland,
June 6-9, 2017},
publisher = {{IEEE}},
year = {2017},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8011434},
isbn = {978-1-5090-5873-0},
timestamp = {Thu, 07 Dec 2017 17:14:00 +0100},
biburl = {https://dblp.org/rec/bib/conf/giots/2017},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2017,
editor = {Daniel Gro{\ss}e and
Rolf Drechsler},
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2017, Bremen, Germany, February
8-9, 2017},
publisher = {Shaker Verlag},
year = {2017},
isbn = {978-3-8440-4996-1},
timestamp = {Mon, 20 Nov 2017 10:25:21 +0100},
biburl = {https://dblp.org/rec/bib/conf/mbmv/2017},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/journals/corr/AbrahamB17},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/2016},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/dtis/2015},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2015},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2015},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2014,
editor = {Gerhard P. 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 = {Wed, 15 Nov 2017 16:53:38 +0100},
biburl = {https://dblp.org/rec/bib/conf/date/2014},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2014},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2014},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/2013},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2013},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2012},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/isgteurope/2012},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2012},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/pdes/2012},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/vlsid/2012},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/ahs/2011},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/arcs/2011w},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/2011},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/ddecs/2011},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/ecctd/2011},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2011},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/iscas/2011},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/isgteurope/2011},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/ahs/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/arc/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/arcs/2010w},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/csndsp/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/ddecs/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fit/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/patmos/2010},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10271},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/bmas/2009},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/2009},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2009},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2009},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/socc/2009},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/bmas/2008},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/2008},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2008},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2007},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fpl/2007},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2007},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2006},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/iscas/2006},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2006},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2005},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/iscas/2005},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/2004},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/delta/2004},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2004},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/sbcci/2004},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/2003},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/fdl/2003},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/iscas/2003},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2003},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2002},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/2001},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mbmv/2000,
editor = {Klaus Waldschmidt and
Christoph Grimm},
title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February
28 - March 1, 2000},
publisher = {{VDE}},
year = {2000},
timestamp = {Mon, 22 Dec 2014 14:03:11 +0100},
biburl = {https://dblp.org/rec/bib/conf/mbmv/2000},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/gi/1999},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/date/1998},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/mbmv/1998},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/eurodac/1996},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/eurodac/1995},
bibsource = {dblp computer science bibliography, https://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 = {https://dblp.org/rec/bib/conf/sac/1995},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-12-10 23:26 CET by the dblp team