Search dblp for Publications

export results for "toc:db/conf/fdl/fdl2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fdl/AgostaSM06,
  author       = {Giovanni Agosta and
                  Marco D. Santambrogio and
                  Seda Ogrenci Memik},
  title        = {Adaptive Metrics for System-Level Functional Partitioning},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {153--155},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=341},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/AgostaSM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Al-JunaidKW06,
  author       = {Hessa Al{-}Junaid and
                  Tom J. Kazmierski and
                  Leran Wang},
  title        = {SystemC-A Modeling of an Automotive Seating Vibration Isolation System},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {107--113},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=325},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Al-JunaidKW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/AlassirDRG06,
  author       = {Mohamad Alassir and
                  Julien Denoulet and
                  Olivier Romain and
                  Patrick Garda},
  title        = {Modelling and Simulation of an {I2C} Bus Controller in SystemC-AMS},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {121--128},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=331},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/AlassirDRG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BestoryMLD06,
  author       = {Corinne Bestory and
                  Fran{\c{c}}ois Marc and
                  Herv{\'{e}} Levi and
                  Yves Danto},
  title        = {Multi-level Modeling of Hot Carrier Injection for Reliability},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {61--68},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=357},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BestoryMLD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BrandtS06,
  author       = {Jens Brandt and
                  Klaus Schneider},
  title        = {System Description Aspects as Syntactic Sugar},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {293--301},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=403},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BrandtS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BrauseZH06,
  author       = {Thilo Brause and
                  Kaiping Zeng and
                  Sorin A. Huss},
  title        = {Supporting AMS-System Design},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {99--104},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=399},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BrauseZH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BruschiF06,
  author       = {Francesco Bruschi and
                  Fabrizio Ferrandi},
  title        = {A SystemC-based Framework of Communication Architecture},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {319--327},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=391},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BruschiF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ContiMVO06,
  author       = {Massimo Conti and
                  S. Marinelli and
                  Giovanni B. Vece and
                  S. Oricione},
  title        = {SystemC Modeling of a Dynamic Power Management Architecture},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {229--235},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=409},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ContiMVO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/DangN06,
  author       = {Thao Dang and
                  Tarik Nahhal},
  title        = {Randomized Simulation of Hybrid Systems For Circuit Validation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {9--15},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=301},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/DangN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/EckerESV06,
  author       = {Wolfgang Ecker and
                  Volkan Esen and
                  Thomas Steininger and
                  Michael Velten},
  title        = {Case Study on Transaction Level Modeling},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {209--215},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=385},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/EckerESV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/EckerESVS06,
  author       = {Wolfgang Ecker and
                  Volkan Esen and
                  Thomas Steininger and
                  Michael Velten and
                  Jacob Smit},
  title        = {{IP} Library For Temporal SystemC Assertions},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {301--309},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=405},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/EckerESVS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/EinwichBCES06,
  author       = {Karsten Einwich and
                  Jens Bastian and
                  Christoph Clau{\ss} and
                  Uwe Eichler and
                  Peter Schneider},
  title        = {SystemC-AMS Extension Library for Modeling Conservative Nonlinear
                  Dynamic Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {113--119},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=326},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/EinwichBCES06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/FalkHT06,
  author       = {Joachim Falk and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  title        = {Efficient Representation and Simulation of Model-Based Designs},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {129--135},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=333},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/FalkHT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/FerreraFG06,
  author       = {Giovanna Ferrera and
                  Anne{-}Marie Fouilliart and
                  Joachim Gerlach},
  title        = {Industrial Partners Expectations from the {ICODES} Methodology},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {311--318},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=1192},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/FerreraFG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/FlorescuVVC06,
  author       = {Oana Florescu and
                  Jeroen Voeten and
                  Marcel Verhoef and
                  Henk Corporaal},
  title        = {Reusing Real-Time Systems Design Experience},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {375--381},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=313},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/FlorescuVVC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/FreibotheDCLSK06,
  author       = {Martin Freibothe and
                  Jens D{\"{o}}ge and
                  Torsten Coym and
                  Stefan Ludwig and
                  Bernd Straube and
                  Ernst Kock},
  title        = {Verification-Oriented Behavioral Modeling of Non-Linear Analog},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {53--60},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=355},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/FreibotheDCLSK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GargL06,
  author       = {Subhek Garg and
                  Marcello Lajolo},
  title        = {C-based Design of a Flexible Wrapper for Tiled Networks On Chip},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {185--189},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=377},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GargL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GrabbeBGSO06,
  author       = {Cornelia Grabbe and
                  Claus Brunzema and
                  Kim Gr{\"{u}}ttner and
                  Thorsten Schubert and
                  Frank Oppenheimer},
  title        = {Overview of the {ICODES} Project},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {309--311},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=389},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GrabbeBGSO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GruttnerGSBO06,
  author       = {Kim Gr{\"{u}}ttner and
                  Cornelia Grabbe and
                  Thorsten Schubert and
                  Claus Brunzema and
                  Frank Oppenheimer},
  title        = {OSSS-Channels: Modelling and Synthesis of Communication},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {327--335},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=393},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GruttnerGSBO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GuihalA06,
  author       = {D. Guihal and
                  L. Andrieux},
  title        = {{VHDL-AMS} Model Generation from Other {HDL} Language},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {77--83},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=361},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GuihalA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Haase06,
  author       = {Joachim Haase},
  title        = {Baseband Modeling Using Multidimensional Networks in {VHDL-AMS}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {47--53},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=353},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Haase06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HamoucheK06,
  author       = {R{\'{e}}dha Hamouche and
                  R{\'{e}}my Kocik},
  title        = {Metamodel-based Methodology for Real-Time Embedded Design},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {395--403},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=319},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HamoucheK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HerreraV06,
  author       = {Fernando Herrera and
                  Eugenio Villar},
  title        = {Extension of the SystemC Kernel for Simulation Coverage},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {161--168},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=344},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HerreraV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HerveD06,
  author       = {Yannick Herv{\'{e}} and
                  Patricia Desgreys},
  title        = {Functional Virtual Prototyping Design Flow and {VHDL-AMS}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {69--77},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=359},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HerveD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Heupke06,
  author       = {Wilhelm Heupke},
  title        = {Semi-Symbolic Analysis of Accuracy at System Level},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {3--9},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=299},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Heupke06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HuetCPL06,
  author       = {Sylvain Huet and
                  Emmanuel Casseau and
                  Olivier Pasquier and
                  S{\'{e}}bastien Le Nours},
  title        = {Hardware Communication Refinement in Digital Signal Processing},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {177--185},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=375},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HuetCPL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KlingaufG06,
  author       = {Wolfgang Klingauf and
                  Manuel Geffken},
  title        = {Design Structure Analysis and Transaction Recording in SystemC},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {169--177},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=346},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KlingaufG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KrekuQST06,
  author       = {Jari Kreku and
                  Yang Qu and
                  Juha{-}Pekka Soininen and
                  Kari Tiensyrj{\"{a}}},
  title        = {Layered {UML} Workload and SystemC Platform Models},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {223--229},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=407},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KrekuQST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KronlofKOE06,
  author       = {Klaus Kronl{\"{o}}f and
                  Samu Kontinen and
                  Ian Oliver and
                  Timo Eriksson},
  title        = {A Method for Terminal Platform Architecture Development},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {351--359},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=294},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KronlofKOE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KumarCDRPC06,
  author       = {Rajeev Kumar and
                  Rahul Chaudhry and
                  Dipankar Das and
                  Vibha Rathi and
                  Subrat Kumar Panda and
                  P. P. Chakrabarti},
  title        = {SystemC Modeling and Validation of {A} {RISC} Processor System},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {189--197},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=379},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KumarCDRPC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LabbaniRDB06,
  author       = {Ouassila Labbani and
                  {\'{E}}ric Rutten and
                  Jean{-}Luc Dekeyser and
                  Pierre Boulet},
  title        = {{UML2} Profile for Modeling Controlled Data Parallel Applications},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {359--367},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=296},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LabbaniRDB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LahtinenSM06,
  author       = {Vesa Lahtinen and
                  Jouni Siirtola and
                  Tommi M{\"{a}}kel{\"{a}}inen},
  title        = {Transaction Level Modeling in Communication Engine Design},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {197--203},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=381},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LahtinenSM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MadecUH06,
  author       = {Morgan Madec and
                  Wilfried Uhring and
                  Yannick Herv{\'{e}}},
  title        = {{VHDL-AMS} Model of Ferroelectric Liquid Crystals},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {31--40},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=350},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MadecUH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MahneV06,
  author       = {Torsten M{\"{a}}hne and
                  Alain Vachoux},
  title        = {ModelLib: {A} Web-Based Platform for Collecting Behavioural Models},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {91--98},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=397},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MahneV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MahrSFK06,
  author       = {Thomas Mahr and
                  Patrick Schillinger and
                  Andreas F{\"{u}}rchthauer and
                  Daniel Kirchner},
  title        = {UML-based Automatic Code Generation for Hybrid {CPU-FPGA}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {403--406},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=321},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MahrSFK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MartensG06,
  author       = {Ewout Martens and
                  Georges G. E. Gielen},
  title        = {Generic Behavioral Modeling of Analog and Mixed-Signal Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {15--23},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=303},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MartensG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MathaikuttyS06,
  author       = {Deepak Mathaikutty and
                  Sandeep K. Shukla},
  title        = {Mining Metadata for Composability of IPs from SystemC {IP} Library},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {143--151},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=337},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MathaikuttyS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MathaikuttyS06a,
  author       = {Deepak Mathaikutty and
                  Sandeep K. Shukla},
  title        = {{MCF:} {A} Metamodeling-based Visual Component Composition Framework},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {367--375},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=311},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MathaikuttyS06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MedlinaLM06,
  author       = {Julio Medlina and
                  Patricia L{\'{o}}pez Mart{\'{\i}}nez and
                  Jos{\'{e}} Mar{\'{\i}}a Drake},
  title        = {Towards a {UML} Profile for Real-Time Modelling},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {381--389},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=315},
  timestamp    = {Wed, 25 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MedlinaLM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MetzgerBRVA06,
  author       = {Michel Metzger and
                  Fr{\'{e}}d{\'{e}}ric Bastien and
                  Fr{\'{e}}d{\'{e}}ric Rousseau and
                  Julie Vachon and
                  El Mostapha Aboulhamid},
  title        = {A Verification Tool Implementation using Introspection Mechanism},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {265--272},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=370},
  timestamp    = {Fri, 10 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MetzgerBRVA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MoisucRS06,
  author       = {D. Moisuc and
                  S. Revol and
                  Colin F. Snook},
  title        = {{UML} User Interface to a Proof-based Hardware Design Flow},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {337--344},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=290},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MoisucRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Morin-AlloryB06,
  author       = {Katell Morin{-}Allory and
                  Dominique Borrione},
  title        = {On-line Monitoring of Properties Built on Regular Expressions},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {249--255},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=366},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Morin-AlloryB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MuckeH06,
  author       = {Manfred M{\"{u}}cke and
                  Guido Hafeli},
  title        = {A Bitwidth-aware {HDL} Extension},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {151--153},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=339},
  timestamp    = {Tue, 28 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MuckeH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Mueller06,
  author       = {Wolfgang Mueller},
  title        = {{UML} - The Emerging Hardware Description Language?},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {335--335},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=308},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Mueller06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/NiemannH06,
  author       = {Bernhard Niemann and
                  Christian Haubelt},
  title        = {Formalizing {TLM} with Communicating State Machines},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {285--293},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=401},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/NiemannH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/PennaTPRIMT06,
  author       = {Giuseppe Della Penna and
                  Alberto Tofani and
                  Marcello Pecorari and
                  Orazio Raparelli and
                  Benedetto Intrigila and
                  Igor Melatti and
                  Enrico Tronci},
  title        = {A Case Study on Automated Generation of Integration Tests},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {278--284},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=372},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/PennaTPRIMT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/PlatteJSB06,
  author       = {Daniel Platte and
                  Shangjing Jing and
                  Ralf Sommer and
                  Erich Barke},
  title        = {Using Sequential Equations to Improve Efficiency and Robustness},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {83--90},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=395},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/PlatteJSB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/PregaldinyLDSK06,
  author       = {Fabien Pr{\'{e}}galdiny and
                  Christophe Lallement and
                  B. Diagne and
                  Jean{-}Michel Sallese and
                  Fran{\c{c}}ois Krummenacher},
  title        = {Compact Modeling of Emerging Technologies with {VHDL-AMS}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {23--31},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=348},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/PregaldinyLDSK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/PrevostiniG06,
  author       = {Mauro Prevostini and
                  Sivakumar Ganesan},
  title        = {Bridging the Gap Between SysML and Design Space Exploration},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {389--395},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=317},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/PrevostiniG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Radetzki06,
  author       = {Martin Radetzki},
  title        = {SystemC {TLM} Transaction Modelling and Dispatch for Active Object},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {203--209},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=383},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Radetzki06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RiccobeneSBR06,
  author       = {Elvinia Riccobene and
                  Patrizia Scandurra and
                  Sara Bocchio and
                  Alberto Rosti},
  title        = {A Model-driven Co-design Flow for Embedded Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {345--351},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=292},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RiccobeneSBR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RoginFROB06,
  author       = {Frank Rogin and
                  Erhard Fehlauer and
                  Steffen R{\"{u}}lke and
                  Sebastian Ohnewald and
                  Thomas Berndt},
  title        = {Non-Intrusive High-level SystemC Debugging},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {155--161},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=343},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RoginFROB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Ruah06,
  author       = {Sitvanit Ruah},
  title        = {Main Results of {PROSYD} - Methodologies and Tools for Writing Reusable
                  {PSL} Assertions},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {263--264},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=368},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Ruah06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SchickelNBE06,
  author       = {Martin Schickel and
                  Volker Nimbler and
                  Martin Braun and
                  Hans Eveking},
  title        = {On Consistency and Completeness of Property-Sets},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {241--248},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=364},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SchickelNBE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SchrollHWG06,
  author       = {R{\"{u}}diger Schroll and
                  Wilhelm Heupke and
                  Klaus Waldschmidt and
                  Christoph Grimm},
  title        = {A Framework for the Design of Heterogenous Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {119--121},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=329},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SchrollHWG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SchubertN06,
  author       = {Thorsten Schubert and
                  Wolfgang Nebel},
  title        = {The Quiny SystemC Front End: Self-Synthesising Designs},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {135--143},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=335},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SchubertN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SevillanoIVT06,
  author       = {Juan F. Sevillano and
                  Andoni Irizar and
                  Igone V{\'{e}}lez and
                  K. Tomasena},
  title        = {Efficient Monte Carlo Simulation Using SystemC},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {235--237},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=411},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SevillanoIVT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/StrohmengerB06,
  author       = {Klaus Strohmenger and
                  Martin B{\"{u}}cker},
  title        = {Token-based {OSCI} SystemC Simulator for Architecture Dimensioning},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {237--239},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=414},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/StrohmengerB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ThuyIG06,
  author       = {Andreas Thuy and
                  Leandro Soares Indrusiak and
                  Manfred Glesner},
  title        = {Applying Communication Patterns to Actor-Oriented Models},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {407--409},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=323},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ThuyIG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Winterholer06,
  author       = {Markus Winterholer},
  title        = {Design Structure Analysis and Transaction-based Co-Verification},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {215--222},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=387},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Winterholer06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ZhouCH06,
  author       = {Lingfei Zhou and
                  Yves{-}Andr{\'{e}} Chapuis and
                  Yannick Herv{\'{e}}},
  title        = {{VHDL-AMS} Modeling and Simulation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2006, September
                  19-22, 2006, Darmstadt, Germany, Proceedings},
  pages        = {41--46},
  publisher    = {{ECSI}},
  year         = {2006},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=352},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ZhouCH06.bib},
  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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.