Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fdl/CentomoLF18,
  author       = {Stefano Centomo and
                  Michele Lora and
                  Franco Fummi},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Transaction-level Functional Mockup Units for Cyber-Physical Virtual
                  Platforms},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--8},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524083},
  doi          = {10.1109/FDL.2018.8524083},
  timestamp    = {Tue, 29 Nov 2022 08:40:57 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/CentomoLF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ChabotPN18,
  author       = {Martial Chabot and
                  Laurence Pierre and
                  Alexandre Nabais{-}Moreno},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Automated Testing for Cyber-physical Systems: From Scenarios to Executable
                  Tests},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524132},
  doi          = {10.1109/FDL.2018.8524132},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ChabotPN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ChengSD18,
  author       = {Zhongqi Cheng and
                  Tim Schmidt and
                  Rainer D{\"{o}}mer},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {SystemC Coding Guideline for Faster Out-of-order Parallel Discrete
                  Event Simulation},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524058},
  doi          = {10.1109/FDL.2018.8524058},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ChengSD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ColacoPPP18,
  author       = {Jean{-}Louis Cola{\c{c}}o and
                  Bruno Pagano and
                  C{\'{e}}dric Pasteur and
                  Marc Pouzet},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524052},
  doi          = {10.1109/FDL.2018.8524052},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ColacoPPP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/DavvGGRT18,
  author       = {Guillaume Davy and
                  Christophe Garion and
                  Pierre{-}Lo{\"{\i}}c Garoche and
                  Pierre Roux and
                  Xavier Thirioux},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Preserving Functional Correctness of Cyber-Physical System Controllers:
                  From Model to Code},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524044},
  doi          = {10.1109/FDL.2018.8524044},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/DavvGGRT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/FraccaroliQF18,
  author       = {Enrico Fraccaroli and
                  Davide Quaglia and
                  Franco Fummi},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Simulation-based Holistic Functional Safety Assessment for Networked
                  Cyber-Physical Systems},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524050},
  doi          = {10.1109/FDL.2018.8524050},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/FraccaroliQF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GlaserSWGH18,
  author       = {Georg Gl{\"{a}}ser and
                  Benjamin Saft and
                  Dominik Wrana and
                  Athanasios Gatzastras and
                  Eckhard Hennig},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {From Low-Power to No-Power: Adaptive Clocking for Event-Driven Systems},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524131},
  doi          = {10.1109/FDL.2018.8524131},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GlaserSWGH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GretzG18,
  author       = {Friedrich Gretz and
                  Franz{-}Josef Grosch},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Blech, Imperative Synchronous Programming!},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524036},
  doi          = {10.1109/FDL.2018.8524036},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/GretzG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HerdtGLD18,
  author       = {Vladimir Herdt and
                  Daniel Gro{\ss}e and
                  Hoang M. Le and
                  Rolf Drechsler},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Extensible and Configurable {RISC-V} Based Virtual Prototype},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524047},
  doi          = {10.1109/FDL.2018.8524047},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HerdtGLD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KirchnerOB18,
  author       = {Aljoscha Kirchner and
                  Jan{-}Hendrik Oetjens and
                  Oliver Bringmann},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Using SysML for Modelling and Code Generation for Smart Sensor ASICs},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524051},
  doi          = {10.1109/FDL.2018.8524051},
  timestamp    = {Fri, 29 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KirchnerOB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KorkanKKS18,
  author       = {Ege Korkan and
                  Sebastian K{\"{a}}bisch and
                  Matthias Kovatsch and
                  Sebastian Steinhorst},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Sequential Behavioral Modeling for Scalable IoT Devices and Systems},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524065},
  doi          = {10.1109/FDL.2018.8524065},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/KorkanKKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LuDK18,
  author       = {Yue Lu and
                  Shengyu Duan and
                  Tom J. Kazmierski},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {A New Ageing-Aware Approach Via Path Isolation},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524033},
  doi          = {10.1109/FDL.2018.8524033},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/LuDK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/RegnathS18,
  author       = {Emanuel Regnath and
                  Sebastian Steinhorst},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {SmaCoNat: Smart Contracts in Natural Language},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524068},
  doi          = {10.1109/FDL.2018.8524068},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/RegnathS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SCRC18,
  author       = {Luis Alberto Cruz Salazar and
                  Jaime H. Carvajal and
                  Oscar A. Rojas and
                  Edgar Chac{\'{o}}n Ram{\'{\i}}rez},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Cyber-Physical System for Industrial Control Automation Based on the
                  Holonic Approach and the {IEC} 61499 Standard},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524082},
  doi          = {10.1109/FDL.2018.8524082},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/SCRC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Schulz-Rosengarten18,
  author       = {Alexander Schulz{-}Rosengarten and
                  Reinhard von Hanxleden and
                  Fr{\'{e}}d{\'{e}}ric Mallet and
                  Robert de Simone and
                  Julien Deantoni},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Time in SCCharts},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524111},
  doi          = {10.1109/FDL.2018.8524111},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Schulz-Rosengarten18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/StahlMS18,
  author       = {Rafael Stahl and
                  Daniel Mueller{-}Gritschneder and
                  Ulf Schlichtmann},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Automated Redirection of Hardware Accesses for Host-Compiled Software
                  Simulation},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524038},
  doi          = {10.1109/FDL.2018.8524038},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/StahlMS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Strauch18,
  author       = {Tobias Strauch},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Dynamic Inside-Out Verification Using Inverse Transactions in {TLM}},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524048},
  doi          = {10.1109/FDL.2018.8524048},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Strauch18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Wille0DS18,
  author       = {Robert Wille and
                  Bing Li and
                  Rolf Drechsler and
                  Ulf Schlichtmann},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Automatic Design of Microfluidic Devices},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524091},
  doi          = {10.1109/FDL.2018.8524091},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/Wille0DS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ZivkovicG18,
  author       = {Carna Zivkovic and
                  Christoph Grimm},
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {Symbolic Simulation of SystemC {AMS} Without Yet Another Compiler},
  booktitle    = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  pages        = {5--16},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FDL.2018.8524061},
  doi          = {10.1109/FDL.2018.8524061},
  timestamp    = {Fri, 16 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/ZivkovicG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fdl/2018,
  editor       = {Hiren D. Patel and
                  Tom J. Kazmierski and
                  Sebastian Steinhorst},
  title        = {2018 Forum on Specification {\&} Design Languages, {FDL} 2018,
                  Garching, Germany, September 10-12, 2018},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8501260/proceeding},
  isbn         = {978-1-5386-6418-6},
  timestamp    = {Tue, 29 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/2018.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.