Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fdl/AlsayegMF09,
  author       = {Khaled Alsayeg and
                  Katell Morin{-}Allory and
                  Laurent Fesquet},
  title        = {RAT-based formal verification of {QDI} asynchronous controllers},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404069/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/AlsayegMF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BarreteauLPC09,
  author       = {Anthony Barreteau and
                  S{\'{e}}bastien Le Nours and
                  Olivier Pasquier and
                  Jean Paul Calvez},
  title        = {Transaction level modeling of an adaptive multi-standard and multi-application
                  radio communication system},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404076/},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BarreteauLPC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/CheikhwafaLPC09,
  author       = {M. Cheikhwafa and
                  S{\'{e}}bastien Le Nours and
                  Olivier Pasquier and
                  Jean Paul Calvez},
  title        = {Transaction level modeling of a FlexRay communication network},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404045/},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/CheikhwafaLPC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ContiVC09,
  author       = {Massimo Conti and
                  Giovanni B. Vece and
                  Sara Colazilli},
  title        = {Extension of SystemC framework towards power analysis},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404042/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ContiVC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/FerroP09,
  author       = {Luca Ferro and
                  Laurence Pierre},
  title        = {{ISIS:} Runtime verification of {TLM} platforms},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404067/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/FerroP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GreinerFPG09,
  author       = {Alain Greiner and
                  Etienne Faure and
                  Nicolas Pouillon and
                  Daniela Genius},
  title        = {A generic hardware / software communication middleware for streaming
                  applications on shared memory multi processor systems-on-chip},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404041/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/GreinerFPG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HaaseDGMG09,
  author       = {Jan Haase and
                  Markus Damm and
                  Johann Glaser and
                  Javier Moreno and
                  Christoph Grimm},
  title        = {SystemC-based power simulation of wireless sensor networks},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404040/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HaaseDGMG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HaaseHM09,
  author       = {Joachim Haase and
                  Ewald Hessel and
                  Heinz{-}Theo Mammen},
  title        = {Proposal to extend frequency domain analysis in {VHDL-AMS}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404047/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HaaseHM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HerreraV09,
  author       = {Fernando Herrera and
                  Eugenio Villar},
  title        = {Local application of simulation directed for Exhaustive Coverage of
                  Schedulings of SystemC specifications},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404068/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HerreraV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/JosePSS09,
  author       = {Bijoy Antony Jose and
                  Jason Pribble and
                  Lemaire Stewart and
                  Sandeep K. Shukla},
  title        = {EmCodeSyn: {A} visual framework for multi-rate data flow specifications
                  and code synthesis for embedded applications},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404049/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/JosePSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KarnerSWA09,
  author       = {Michael Karner and
                  Christian Steger and
                  Reinhold Weiss and
                  Eric Armengaud},
  title        = {Optimizing {HW/SW} Co-simulation based on run-time model switching},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404058/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KarnerSWA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KazmierskiZA09,
  author       = {Tom J. Kazmierski and
                  Dafeng Zhou and
                  Bashir M. Al{-}Hashimi},
  title        = {{HSPICE} implementation of a numerically efficient model of {CNT}
                  transistor},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404051/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KazmierskiZA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KhanMAS09,
  author       = {Aamir Mehut Khan and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Charles Andr{\'{e}} and
                  Robert de Simone},
  title        = {{IP-XACT} components with abstract time characterization},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404036/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KhanMAS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KhanPKTS09,
  author       = {Subayal Khan and
                  Susanna Pantsar{-}Syv{\"{a}}niemi and
                  Jari Kreku and
                  Kari Tiensyrj{\"{a}} and
                  Juha{-}Pekka Soininen},
  title        = {Linking {GENESYS} application architecture modelling with platform
                  performance simulation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404038/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KhanPKTS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KhouriNSTJ09,
  author       = {Rami Khouri and
                  Benjamin Nicolle and
                  Lucas Alves Da Silva and
                  William Tatinian and
                  Gilles Jacquemod},
  title        = {Evaluation of SystemC-AMS modeling capabilities of {RF} front-end
                  non-linearities: satellite receiver case study},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404044/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KhouriNSTJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KohlerR09,
  author       = {Ad{\'{a}}n Kohler and
                  Martin Radetzki},
  title        = {A SystemC {TLM2} model of communication in wormhole switched Networks-On-Chip},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404048/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KohlerR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KurumahmutKGY09,
  author       = {Bayram Kurumahmut and
                  G{\"{o}}khan Kabukcu and
                  Roza Ghamari and
                  Arda Yurdakul},
  title        = {Design automation model for application-specific processors on reconfigurable
                  fabric},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404066/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KurumahmutKGY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LangerH09,
  author       = {Jan Langer and
                  Ulrich Heinkel},
  title        = {High level synthesis using operation properties},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404071/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/LangerH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LobS09,
  author       = {Hans{-}Peter L{\"{o}}b and
                  Christian Sauer},
  title        = {Exploration of embedded memories in SoCs using SystemC-based functional
                  performance models},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404065/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/LobS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MahneVGC09,
  author       = {Torsten M{\"{a}}hne and
                  Alain Vachoux and
                  Fr{\'{e}}d{\'{e}}ric Giroud and
                  Matteo Contaldo},
  title        = {A {VHDL-AMS} modeling methodology for top-down/bottom-up design of
                  {RF} systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404056/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MahneVGC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MolterSH09,
  author       = {H. Gregor Molter and
                  Andr{\'{e}} Seffrin and
                  Sorin Alexander Huss},
  title        = {{DEVS2VHDL:} Automatic transformation of XML-specified {DEVS} Model
                  of Computation into synthesizable {VHDL} code},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404050/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MolterSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MontonCB09,
  author       = {Marius Monton and
                  Jordi Carrabina and
                  Mark Burton},
  title        = {Mixed simulation kernels for high performance virtual platforms},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404061/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MontonCB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MontonEB09,
  author       = {Marius Monton and
                  Jakob Engblom and
                  Mark Burton},
  title        = {Checkpoint and Restore for SystemC models},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404062/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MontonEB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MurilloMP09,
  author       = {Luis Gabriel Murillo and
                  Marcello Mura and
                  Mauro Prevostini},
  title        = {Semi-automated Hw/Sw Co-design for embedded systems: from {MARTE}
                  models to SystemC simulators},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404075/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MurilloMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/NguyenTWSKB09,
  author       = {Minh D. Nguyen and
                  Max Thalmaier and
                  Markus Wedler and
                  Dominik Stoffel and
                  Wolfgang Kunz and
                  J{\"{o}}rg Bormann},
  title        = {A re-use methodology for formal SoC protocol compliance verification},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404072/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/NguyenTWSKB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RafailaDPG09,
  author       = {Monica Rafaila and
                  Christoph Decker and
                  Georg Pelz and
                  Christian Grimm},
  title        = {Design of experiments for effective pre-silicon verification of automotive
                  electronics},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404053/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/RafailaDPG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RosslerWHED09,
  author       = {Marko R{\"{o}}{\ss}ler and
                  Hailu Wang and
                  Ulrich Heinkel and
                  Nur Engin and
                  Wolfram Drescher},
  title        = {Rapid prototyping of a {DVB-SH} turbo decoder using high-level-synthesis},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404063/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/RosslerWHED09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ShoufanH09,
  author       = {Abdulhadi Shoufan and
                  Sorin Alexander Huss},
  title        = {Understanding physical models in {VHDL-AMS}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404043/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ShoufanH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SmirnovT09,
  author       = {Maxim Smirnov and
                  Andres Takach},
  title        = {A SystemC superset for high-level synthesis},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404052/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/SmirnovT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/StreubuhrGHT09,
  author       = {Martin Streub{\"{u}}hr and
                  Jens Gladigau and
                  Christian Haubelt and
                  J{\"{u}}rgen Teich},
  title        = {Efficient approximately-timed performance modeling for architectural
                  exploration of MPSoCs},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404057/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/StreubuhrGHT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/TerrassonBBD09,
  author       = {Guillaume Terrasson and
                  Renaud Briand and
                  Skandar Basrour and
                  Val{\'{e}}rie Dup{\'{e}}},
  title        = {A top-down approach for the design of low-power microsensor nodes
                  for wireless sensor network},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404054/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/TerrassonBBD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ToczekHM09,
  author       = {Tomasz Toczek and
                  Dominique Houzet and
                  St{\'{e}}phane Mancini},
  title        = {Another take on functional system-level design and modeling},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404060/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ToczekHM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/WilleGHD09,
  author       = {Robert Wille and
                  Daniel Gro{\ss}e and
                  Finn Haedicke and
                  Rolf Drechsler},
  title        = {SMT-based stimuli generation in the SystemC Verification library},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404070/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/WilleGHD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/WinterholerS09,
  author       = {Markus Winterholer and
                  Florian Sch{\"{a}}fer},
  title        = {Reuse of a {HW/SW} coverification environment during the refinement
                  process of a functional {C} model down to an executable {HW/SW} specification},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404046/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/WinterholerS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/YeLT09,
  author       = {Jun Ye and
                  Tun Li and
                  QingPing Tan},
  title        = {The application of Aspectual Feature Module in the development and
                  verification of SystemC models},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404059/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/YeLT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ZaidiGH09,
  author       = {Yaseen Zaidi and
                  Christoph Grimm and
                  Jan Haase},
  title        = {Fast and unified SystemC {AMS} - {HDL} simulation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404078/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ZaidiGH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ZhaoK09,
  author       = {Chenxu Zhao and
                  Tom J. Kazmierski},
  title        = {Analysis of sense finger dynamics for accurate {\(\Sigma\)}{\(\Delta\)}
                  {MEMS} accelerometer modelling in {VHDL-AMS}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2009, September
                  22-24, 2009, Sophia Antipolis, France, Proceedings},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/document/5404039/},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ZhaoK09.bib},
  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          = {https://ieeexplore.ieee.org/xpl/conhome/5393959/proceeding},
  isbn         = {978-2-9530504-1-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/2009.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.