Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fdl/AgostaP07,
  author       = {Giovanni Agosta and
                  Gerardo Pelosi},
  title        = {A Domain Specific Language for Cryptography},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {159--164},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=251},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/AgostaP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/AkehurstHMB07,
  author       = {David H. Akehurst and
                  W. Gareth J. Howells and
                  Klaus D. McDonald{-}Maier and
                  Behzad Bordbar},
  title        = {Compiling {UML} State Diagrams into {VHDL:} An Experiment in Using
                  Model Driven Development},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {219--224},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=260},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/AkehurstHMB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/AlassirDVRAG07,
  author       = {Mohamad Alassir and
                  Julien Denoulet and
                  Gabriel Vasilescu and
                  Olivier Romain and
                  Romain Arnaud and
                  Patrick Garda},
  title        = {Modeling Field Bus Communications for Automotive Applications},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {56--61},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=280},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/AlassirDVRAG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/AnderssonH07,
  author       = {Per Andersson and
                  Martin H{\"{o}}st},
  title        = {{UML} and SystemC - Comparison and Mapping Rules for Automatic Code
                  Generation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {185--190},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=255},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/AnderssonH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ArpinenSKSHH07,
  author       = {Tero Arpinen and
                  Mikko Set{\"{a}}l{\"{a}} and
                  Petri Kukkala and
                  Erno Salminen and
                  Marko H{\"{a}}nnik{\"{a}}inen and
                  Timo D. H{\"{a}}m{\"{a}}l{\"{a}}inen},
  title        = {Modeling Embedded Software Platforms with a {UML} Profile},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {237--242},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=263},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ArpinenSKSHH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BaldezPV07,
  author       = {Luis Baldez and
                  Sascha de Pena and
                  Joan Vidal},
  title        = {The Unified Models Methodology: Applications to Inkjet Printing},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {165--170},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=252},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BaldezPV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Berg07,
  author       = {Staffan Berg},
  title        = {Algorithmic Test Generation - a New Approach to testbench Creation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {152--158},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=250},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Berg07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BocchioRRS07,
  author       = {Sara Bocchio and
                  Elvinia Riccobene and
                  Alberto Rosti and
                  Patrizia Scandurra},
  title        = {A complete SystemC {UML} profile with dynamic features for behavioral
                  descriptions},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {191--197},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=256},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BocchioRRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BouletMPT07,
  author       = {Pierre Boulet and
                  Philippe Marquet and
                  {\'{E}}ric Piel and
                  Julien Taillard},
  title        = {Repetitive Allocation Modelling with {MARTE}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {280--285},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=270},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BouletMPT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BrandtS07,
  author       = {Jens Brandt and
                  Klaus Schneider},
  title        = {How Different are Esterel and SystemC?},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {98--103},
  publisher    = {{ECSI}},
  year         = {2007},
  timestamp    = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BrandtS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BrunzemaN07,
  author       = {Claus Brunzema and
                  Wolfgang Nebel},
  title        = {{CSP} with Synthesisable SystemC(tm) and {OSSS}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {116--121},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=244},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BrunzemaN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/BurtonAGK07,
  author       = {Mark Burton and
                  James Aldis and
                  Robert G{\"{u}}nzel and
                  Wolfgang Klingauf},
  title        = {Transaction Level Modelling: {A} reflection on what {TLM} is and how
                  TLMs may be classified},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {92--97},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=240},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/BurtonAGK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/CanoMSA07,
  author       = {Julio Cano and
                  Natividad Mart{\'{\i}}nez Madrid and
                  Ralf Seepold and
                  Fernando L{\'{o}}pez Aguilar},
  title        = {Model-driven development of embedded system on heterogeneous platforms},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {243--248},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=264},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/CanoMSA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ChristenBH07,
  author       = {Ernst Christen and
                  David Bedrosian and
                  Joachim Haase},
  title        = {Statistical Modeling with {VHDL-AMS}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {44--49},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=278},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ChristenBH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GladigauHNT07,
  author       = {Jens Gladigau and
                  Christian Haubelt and
                  Bernhard Niemann and
                  J{\"{u}}rgen Teich},
  title        = {Mapping Actor-Oriented Models to {TLM} Architectures},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {128--133},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=246},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GladigauHNT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GrabowskiOGB07,
  author       = {Darius Grabowski and
                  Markus Olbrich and
                  Christoph Grimm and
                  Erich Barke},
  title        = {Range Arithmetics to Speed up Reachability Analysis of Analog Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {38--43},
  publisher    = {{ECSI}},
  year         = {2007},
  timestamp    = {Mon, 22 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GrabowskiOGB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GrossePKD07,
  author       = {Daniel Gro{\ss}e and
                  Hernan Peraza and
                  Wolfgang Klingauf and
                  Rolf Drechsler},
  title        = {Measuring the Quality of a SystemC Testbench by using Code Coverage
                  Techniques},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {146--151},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=249},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GrossePKD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GunzelKA07,
  author       = {Robert G{\"{u}}nzel and
                  Wolfgang Klingauf and
                  James Aldis},
  title        = {Combinatorial Dependencies in Transaction Level Models},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {86--91},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=239},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GunzelKA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HerreraVGDH07,
  author       = {Fernando Herrera and
                  Eugenio Villar and
                  Christoph Grimm and
                  Markus Damm and
                  Jan Haase},
  title        = {A general approach to the interoperability of HetSC and SystemC-AMS},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {32--37},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=276},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HerreraVGDH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HonarmandSAN07,
  author       = {Nima Honarmand and
                  Hasan Sohofi and
                  Maghsoud Abbaspour and
                  Zainalabedin Navabi},
  title        = {{APDL:} {A} Processor Description Language For Design Space Exploration
                  of Embedded Processors},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {50--55},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=279},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HonarmandSAN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HuetLPC07,
  author       = {Sylvain Huet and
                  S{\'{e}}bastien Le Nours and
                  Olivier Pasquier and
                  Emmanuel Casseau},
  title        = {Granularity Issues in Transaction Level Modelling Digital Signal Processing
                  Applications},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {177--184},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=254},
  timestamp    = {Mon, 12 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/HuetLPC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KarlssonEP07,
  author       = {Daniel Karlsson and
                  Petru Eles and
                  Zebo Peng},
  title        = {Transactor-based Formal Verification of Real-time Embedded Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {305--310},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=287},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KarlssonEP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KhanHTM07,
  author       = {Tareq Hasan Khan and
                  Ali Habibi and
                  Sofi{\`{e}}ne Tahar and
                  Otmane A{\"{\i}}t Mohamed},
  title        = {Autometic Generation of SystemC Transactors from AsmL Specification},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {104--109},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=242},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KhanHTM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Koch-HoferR07,
  author       = {Cedric Koch{-}Hofer and
                  Marc Renaudin},
  title        = {Timed Asynchronous Circuits Modeling using SystemC},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {110--115},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=243},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Koch-HoferR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KorteS07,
  author       = {Mario Korte and
                  Frank Slomka},
  title        = {C-based System Development of Asynchronous Distributed Systems},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {134--139},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=247},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KorteS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KrekuHTA07,
  author       = {Jari Kreku and
                  Mika Hoppari and
                  Kari Tiensyrj{\"{a}} and
                  Per Andersson},
  title        = {SystemC workload model generation from {UML} for performance simulation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {204--285},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=258},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KrekuHTA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LeonardiCVA07,
  author       = {Tommasso Leonardi and
                  Massimo Conti and
                  Eva Vidal and
                  Eduard Alarc{\'{o}}n},
  title        = {SystemC-WMS modeling of control techniques for switching amplifiers
                  targeting polar {RF} transmitters},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {18--24},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=274},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LeonardiCVA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LevitanMC07,
  author       = {Steven P. Levitan and
                  Jose A. Martinez and
                  Donald M. Chiarulli},
  title        = {Non-Linear Circuit Simulation using {MATLAB}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {1--5},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=271},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LevitanMC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LiCT07,
  author       = {Lun Li and
                  Frank P. Coyle and
                  Mitchell A. Thornton},
  title        = {Automatic High Level Assertion Generation and Synthesis for Embedded
                  System Design},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {261--267},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=267},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LiCT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LiliusPST07,
  author       = {Johan Lilius and
                  Ivan Porres and
                  Kim Sandstr{\"{o}}m and
                  Dragos Truscan},
  title        = {SystemC-based Simulation of the {MICAS} Architecture},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {122--127},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=245},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LiliusPST07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MaehneV07,
  author       = {Torsten M{\"{a}}hne and
                  Alain Vachoux},
  title        = {Proposal for a Bond Graph Based Model of Computation in SystemC-AMS},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {25--31},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=275},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MaehneV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MalletAS07,
  author       = {Fr{\'{e}}d{\'{e}}ric Mallet and
                  Charles Andr{\'{e}} and
                  Robert de Simone},
  title        = {Modeling of immediate vs. delayed data communications: from {AADL}
                  to {UML} Marte},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {249--254},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=265},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MalletAS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MathaikuttyDS07,
  author       = {Deepak Mathaikutty and
                  Ajit Dingankar and
                  Sandeep K. Shukla},
  title        = {A Metamodeling based Framework for Architectural Modeling and Simulator
                  Generation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {210--218},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=259},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MathaikuttyDS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MilikP07,
  author       = {Adam Milik and
                  Andrzej Pulka},
  title        = {Common HDL-Matlab Simulation Environment},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {68--73},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=282},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MilikP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Morin-AlloryFRB07,
  author       = {Katell Morin{-}Allory and
                  Laurent Fesquet and
                  Benjamin Roustan and
                  Dominique Borrione},
  title        = {Asynchronous online-monitoring of logical and temporal assertions},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {286--290},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=283},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Morin-AlloryFRB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MuraP07,
  author       = {Marcello Mura and
                  Marco Paolieri},
  title        = {{SC2} StateCharts to SystemC: Automatic Executable Models Generation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {198--203},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=257},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/MuraP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/NallaBPRKR07,
  author       = {Pradeep Kumar Nalla and
                  J{\"{o}}rg Behrend and
                  Prakash Mohan Peranandam and
                  J{\"{u}}rgen Ruf and
                  Thomas Kropf and
                  Wolfgang Rosenstiel},
  title        = {Grid Based Fast Falsification For Bounded Property Checking},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {299--304},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=286},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/NallaBPRKR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/PosadasQVM07,
  author       = {Hector Posadas and
                  David Quijano and
                  Eugenio Villar and
                  Marcos Mart{\'{\i}}nez},
  title        = {Protocol Bus Modeling using inheritance with {TLM2.0}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {80--85},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=238},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/PosadasQVM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RadetzkiK07,
  author       = {Martin Radetzki and
                  Rauf Salimi Khaligh},
  title        = {Modelling Alternatives for Cycle Approximate Bus TLMs},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {74--79},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=237},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RadetzkiK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RaslanS07,
  author       = {Waseem Raslan and
                  Ahmed Sameh},
  title        = {Mapping SysML to SystemC},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {225--230},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=261},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RaslanS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RazaghiMN07,
  author       = {Parisa Razaghi and
                  Shahrzad Mirkhani and
                  Zainalabedin Navabi},
  title        = {A Configurable Transaction Level Model of a Generic Interconnection
                  Part of Embedded Systems Used in an {ESL} Design Library},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {171--176},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=253},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RazaghiMN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RoginGDR07,
  author       = {Frank Rogin and
                  Christian Genz and
                  Rolf Drechsler and
                  Steffen R{\"{u}}lke},
  title        = {An Integrated SystemC Debugging Environment},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {140--145},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=248},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/RoginGDR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SammaneZDT07,
  author       = {Ghiath Al Sammane and
                  Mohamed H. Zaki and
                  Zhi Jie Dong and
                  Sofi{\`{e}}ne Tahar},
  title        = {Towards Assertion Based Verification of Analog and Mixed Signal Designs
                  Using {PSL}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {293--298},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=285},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SammaneZDT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SchickelOSE07,
  author       = {Martin Schickel and
                  Martin Oberk{\"{o}}nig and
                  Martin Schweikert and
                  Hans Eveking},
  title        = {A Case-Study in Property-Based Synthesis: Generating a Cache Controller
                  from a Property-Set},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {291--292},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=284},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SchickelOSE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SimoneA07,
  author       = {Robert de Simone and
                  Charles Andr{\'{e}}},
  title        = {Time Modeling in {MARTE}},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {268--273},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=268},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/SimoneA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/TahaRGD07,
  author       = {Safouan Taha and
                  Ansgar Radermacher and
                  S{\'{e}}bastien G{\'{e}}rard and
                  Jean{-}Luc Dekeyser},
  title        = {{MARTE:} UML-based Hardware Design from Modelling to Simulation},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {274--279},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=269},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/TahaRGD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ThomasGDT07,
  author       = {Fr{\'{e}}d{\'{e}}ric Thomas and
                  S{\'{e}}bastien G{\'{e}}rard and
                  J{\'{e}}r{\^{o}}me Delatour and
                  Fran{\c{c}}ois Terrier},
  title        = {Software Real-time Resource Modeling},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {231--236},
  publisher    = {{ECSI}},
  year         = {2007},
  timestamp    = {Wed, 04 Mar 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ThomasGDT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/UhleEH07,
  author       = {Thomas Uhle and
                  Karsten Einwich and
                  Joachim Haase},
  title        = {Efficient Transient Simulation of Lossy Coupled Interconnects in Digital
                  Communication Applications},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {62--67},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=281},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/UhleEH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/WahbaE07,
  author       = {Ayman M. Wahba and
                  Islam A. M. El{-}Maddah},
  title        = {Verification of the Properties of Asynchronous Real-Time Distributed
                  Systems using the B-Formalism},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {311--209},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=288},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/WahbaE07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/WangZK07,
  author       = {Leran Wang and
                  Chenxu Zhao and
                  Tom J. Kazmierski},
  title        = {An Extension to {VHDL-AMS} for {AMS} Systems with Partial Differential
                  Equations},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {12--17},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=273},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/WangZK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/WeberLLAH07,
  author       = {Juergen Weber and
                  Andreas C. Lemke and
                  Andreas Lehmler and
                  Mario Anton and
                  Sorin A. Huss},
  title        = {Mixed-Level Modeling Using Configurable {MOS} Transistor Models},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {6--11},
  publisher    = {{ECSI}},
  year         = {2007},
  url          = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&fn=def\&id=272},
  timestamp    = {Thu, 03 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/WeberLLAH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/YuGRD07,
  author       = {Huafeng Yu and
                  Abdoulaye Gamati{\'{e}} and
                  {\'{E}}ric Rutten and
                  Jean{-}Luc Dekeyser},
  title        = {Model Transformations from a Data Parallel Formalism towards Synchronous
                  Languages},
  booktitle    = {Forum on specification and Design Languages, {FDL} 2007, September
                  18-20, 2007, Barcelona, Spain, Proceedings},
  pages        = {255--260},
  publisher    = {{ECSI}},
  year         = {2007},
  timestamp    = {Wed, 04 Mar 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/YuGRD07.bib},
  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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/2007.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.