Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fdl/BrunsIG19,
  author       = {Friederike Bruns and
                  Philipp Ittershagen and
                  Kim Gr{\"{u}}ttner},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Time Measurement and Control Blocks for Bare-Metal {C++} Applications},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876898},
  doi          = {10.1109/FDL.2019.8876898},
  timestamp    = {Tue, 22 Oct 2019 15:47:03 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/BrunsIG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/CaligolaCFLCBG19,
  author       = {Simone Caligola and
                  Tommaso Carlucci and
                  Franco Fummi and
                  Carlo Laudanna and
                  Gabriela Constantin and
                  Nicola Bombieri and
                  Rosalba Giugno},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Efficient Simulation and Parametrization of Stochastic Petri Nets
                  in SystemC: {A} Case study from Systems Biology},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876940},
  doi          = {10.1109/FDL.2019.8876940},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/CaligolaCFLCBG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Domenech-Asensi19,
  author       = {Gin{\'{e}}s Dom{\'{e}}nech{-}Asensi and
                  Tom J. Kazmierski},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Simulation Acceleration of Image Filtering on {CMOS} Vision Chips
                  Using Many-Core Processors},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876903},
  doi          = {10.1109/FDL.2019.8876903},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/Domenech-Asensi19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GhasempouriDPBR19,
  author       = {Tara Ghasempouri and
                  Alessandro Danese and
                  Graziano Pravadelli and
                  Nicola Bombieri and
                  Jaan Raik},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {{RTL} Assertion Mining with Automated RTL-to-TLM Abstraction},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876941},
  doi          = {10.1109/FDL.2019.8876941},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/GhasempouriDPBR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GiraultHJY19,
  author       = {Alain Girault and
                  Nicolas Hili and
                  Eric Jenn and
                  Eugene Yip},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {A Multi-Rate Precision Timed Programming Language for Multi-Cores},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876950},
  doi          = {10.1109/FDL.2019.8876950},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/GiraultHJY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GresslSN19,
  author       = {Lukas Gressl and
                  Christian Steger and
                  Ulrich Neffe},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Security Driven Design Space Exploration for Embedded Systems},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876944},
  doi          = {10.1109/FDL.2019.8876944},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/GresslSN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HassanGVED19,
  author       = {Muhammad Hassan and
                  Daniel Gro{\ss}e and
                  Thilo V{\"{o}}rtler and
                  Karsten Einwich and
                  Rolf Drechsler},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Functional Coverage-Driven Characterization of {RF} Amplifiers},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876957},
  doi          = {10.1109/FDL.2019.8876957},
  timestamp    = {Wed, 09 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HassanGVED19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HerdtGDGJB0SSK19,
  author       = {Vladimir Herdt and
                  Daniel Gro{\ss}e and
                  Rolf Drechsler and
                  Christoph Gerum and
                  Alexander Jung and
                  Joscha Benz and
                  Oliver Bringmann and
                  Michael Schwarz and
                  Dominik Stoffel and
                  Wolfgang Kunz},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Systematic {RISC-V} based Firmware Design\({}^{\mbox{{\(\star\)}}}\)},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876945},
  doi          = {10.1109/FDL.2019.8876945},
  timestamp    = {Fri, 21 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HerdtGDGJB0SSK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/HouR19,
  author       = {Jie Hou and
                  Martin Radetzki},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {A methodology to compute long-term fault resilience of NoCs under
                  fault-tolerant routing algorithms},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876904},
  doi          = {10.1109/FDL.2019.8876904},
  timestamp    = {Mon, 02 Sep 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/HouR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/KeszoczeH19,
  author       = {Oliver Kesz{\"{o}}cze and
                  Ian G. Harris},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Chatbot-based assertion generation from natural language specifications},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876925},
  doi          = {10.1109/FDL.2019.8876925},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/KeszoczeH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LiboniD19,
  author       = {Giovanni Liboni and
                  Julien Deantoni},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {{WIP} on a Coordination Language to Automate the Generation of Co-Simulations},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876914},
  doi          = {10.1109/FDL.2019.8876914},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fdl/LiboniD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LohstrohL19,
  author       = {Marten Lohstroh and
                  Edward A. Lee},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Deterministic Actors},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876922},
  doi          = {10.1109/FDL.2019.8876922},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/LohstrohL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MartinoF19,
  author       = {Gianluca Martino and
                  G{\"{o}}rschwin Fey},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Syntax-Guided Enumeration of Temporal Properties},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876892},
  doi          = {10.1109/FDL.2019.8876892},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MartinoF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Riener19,
  author       = {Heinz Riener},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Exact Synthesis of {LTL} Properties from Traces},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876900},
  doi          = {10.1109/FDL.2019.8876900},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/Riener19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Schulz-Rosengarten19,
  author       = {Alexander Schulz{-}Rosengarten and
                  Steven Smyth and
                  Michael Mendler},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Towards Object-Oriented Modeling in SCCharts},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876901},
  doi          = {10.1109/FDL.2019.8876901},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/Schulz-Rosengarten19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SpelliniCLF19,
  author       = {Stefano Spellini and
                  Roberta Chirico and
                  Michele Lora and
                  Franco Fummi},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Languages and Formalisms to Enable {EDA} Techniques in the Context
                  of Industry 4.0},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876899},
  doi          = {10.1109/FDL.2019.8876899},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/SpelliniCLF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/StrobelR19,
  author       = {Manuel Strobel and
                  Martin Radetzki},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {A Backend Tool for the Integration of Memory Optimizations into Embedded
                  Software},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876895},
  doi          = {10.1109/FDL.2019.8876895},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/StrobelR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/UngureanuSASS19,
  author       = {George Ungureanu and
                  Timmy Sundstr{\"{o}}m and
                  Anders {\AA}hlander and
                  Ingo Sander and
                  Ingemar S{\"{o}}derquist},
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {Formal Design, Co-Simulation and Validation of a Radar Signal Processing
                  System},
  booktitle    = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/FDL.2019.8876905},
  doi          = {10.1109/FDL.2019.8876905},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/UngureanuSASS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fdl/2019,
  editor       = {Tom J. Kazmierski and
                  Reinhard von Hanxleden and
                  Terrence S. T. Mak},
  title        = {2019 Forum for Specification and Design Languages, {FDL} 2019, Southampton,
                  United Kingdom, September 2-4, 2019},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8870903/proceeding},
  isbn         = {978-1-7281-4113-8},
  timestamp    = {Tue, 22 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.