Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fdl/AguadoD21,
  author       = {Joaqu{\'{\i}}n Aguado and
                  Alejandra Duenas},
  title        = {Synchronised Shared Memory and Model Checking: {A} Proof of Concept},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568373},
  doi          = {10.1109/FDL53530.2021.9568373},
  timestamp    = {Fri, 29 Oct 2021 16:42:37 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/AguadoD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Ahmadi-PourHD21,
  author       = {Sallar Ahmadi{-}Pour and
                  Vladimir Herdt and
                  Rolf Drechsler},
  title        = {{RISC-V} {AMS} {VP:} An Open Source Evaluation Platform for Cyber-Physical
                  Systems},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568387},
  doi          = {10.1109/FDL53530.2021.9568387},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/Ahmadi-PourHD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/ArastehD21,
  author       = {Emad Malekzadeh Arasteh and
                  Rainer D{\"{o}}mer},
  title        = {Improving Parallelism in System Level Models by Assessing {PDES} Performance},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568385},
  doi          = {10.1109/FDL53530.2021.9568385},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/ArastehD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/DallOraAFAF21,
  author       = {Nicola Dall'Ora and
                  Sadia Azam and
                  Enrico Fraccaroli and
                  Andr{\'{e}} Alberts and
                  Franco Fummi},
  title        = {A Common Manipulation Framework for Transistor-Level Languages},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568379},
  doi          = {10.1109/FDL53530.2021.9568379},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/DallOraAFAF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/DeantoniCBLL21,
  author       = {Julien Deantoni and
                  Jo{\~{a}}o Cambeiro and
                  Soroush Bateni and
                  Shaokai Lin and
                  Marten Lohstroh},
  title        = {Debugging and Verification Tools for Lingua Franca in Gemoc Studio},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568383},
  doi          = {10.1109/FDL53530.2021.9568383},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/DeantoniCBLL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GaiardelliSLF21,
  author       = {Sebastiano Gaiardelli and
                  Stefano Spellini and
                  Michele Lora and
                  Franco Fummi},
  title        = {Modeling in Industry 5.0: What Is There and What Is Missing: Special
                  Session 1: Languages for Industry 5.0},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568371},
  doi          = {10.1109/FDL53530.2021.9568371},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/GaiardelliSLF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/GoliD21,
  author       = {Mehran Goli and
                  Rolf Drechsler},
  title        = {{VIP-VP:} Early Validation of SoCs Information Flow Policies using
                  SystemC-based Virtual Prototypes},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568377},
  doi          = {10.1109/FDL53530.2021.9568377},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/GoliD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/Grimblatt21,
  author       = {Victor Grimblatt},
  title        = {The Challenge of Agriculture: Increase the Productivity in a Sustainable
                  Way},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568381},
  doi          = {10.1109/FDL53530.2021.9568381},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/Grimblatt21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/JohnGMP21,
  author       = {Jobish John and
                  Amrita Ghosal and
                  Tiziana Margaria and
                  Dirk Pesch},
  title        = {DSLs for Model Driven Development of Secure Interoperable Automation
                  Systems with EdgeX Foundry},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568378},
  doi          = {10.1109/FDL53530.2021.9568378},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/JohnGMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LucasSHGG21,
  author       = {Daniel Lucas and
                  Alexander Schulz{-}Rosengarten and
                  Reinhard von Hanxleden and
                  Friedrich Gretz and
                  Franz{-}Josef Grosch},
  title        = {Extracting Mode Diagrams from Blech Code},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568375},
  doi          = {10.1109/FDL53530.2021.9568375},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/LucasSHGG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/LumppPFB21,
  author       = {Francesco Lumpp and
                  Marco Panato and
                  Franco Fummi and
                  Nicola Bombieri},
  title        = {A Container-based Design Methodology for Robotic Applications on Kubernetes
                  Edge-Cloud architectures},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568376},
  doi          = {10.1109/FDL53530.2021.9568376},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/LumppPFB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/MerinoGPV21,
  author       = {Javier Merino and
                  Raul Gomez and
                  Hector Posadas and
                  Eugenio Villar},
  title        = {Modeling and Performance Estimation of Robotic Systems using {ROS:}
                  Application to drone-based Services},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568374},
  doi          = {10.1109/FDL53530.2021.9568374},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/MerinoGPV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SalmonPGB21,
  author       = {Lo{\"{\i}}c Salmon and
                  Pierre Yves Pillain and
                  Goulven Guillou and
                  Jean{-}Philippe Babau},
  title        = {CARES, a framework for {CPS} simulation : application to autonomous
                  underwater vehicle navigation function},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568380},
  doi          = {10.1109/FDL53530.2021.9568380},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/SalmonPGB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SennB21,
  author       = {Eric Senn and
                  Lucie Bourdon},
  title        = {Introducing {CPU} load Analysis from {AADL} Models for {ROS} applications
                  : a use case},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568386},
  doi          = {10.1109/FDL53530.2021.9568386},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/SennB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/SkenderiBCAPFC21,
  author       = {Geri Skenderi and
                  Alessia Bozzini and
                  Luigi Capogrosso and
                  Enrico Carlo Agrillo and
                  Giovanni Perbellini and
                  Franco Fummi and
                  Marco Cristani},
  title        = {{DOHMO:} Embedded Computer Vision in Co-Housing Scenarios},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568372},
  doi          = {10.1109/FDL53530.2021.9568372},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/SkenderiBCAPFC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/TempelHD21,
  author       = {S{\"{o}}ren Tempel and
                  Vladimir Herdt and
                  Rolf Drechsler},
  title        = {In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End
                  Multithreaded Operating Systems using Virtual Prototypes},
  booktitle    = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021.9568384},
  doi          = {10.1109/FDL53530.2021.9568384},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/TempelHD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/fdl/2021,
  title        = {24th Forum on specification {\&} Design Languages, {FDL} 2021,
                  Antibes, France, September 8-10, 2021},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/FDL53530.2021},
  doi          = {10.1109/FDL53530.2021},
  isbn         = {978-1-6654-1825-6},
  timestamp    = {Fri, 29 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/2021.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.