Search dblp for Publications

export results for "toc:db/conf/acsd/acsd2019.bht:"

 download as .bib file

@inproceedings{DBLP:conf/acsd/Anders019,
  author       = {Markus Anders and
                  Klaus Schneider},
  title        = {A Formal Semantics of Exposed Datapath Architectures with Buffered
                  Processing Units},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {53--62},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00010},
  doi          = {10.1109/ACSD.2019.00010},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/Anders019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/AndreCFJL19,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Emmanuel Coquard and
                  Laurent Fribourg and
                  Jawher Jerray and
                  David Lesens},
  title        = {Parametric Schedulability Analysis of a Launcher Flight Control System
                  Under Reactivity Constraints},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {13--22},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00006},
  doi          = {10.1109/ACSD.2019.00006},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/AndreCFJL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/AndreLRS19,
  author       = {{\'{E}}tienne Andr{\'{e}} and
                  Didier Lime and
                  Mathias Ramparison and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Parametric Analyses of Attack-Fault Trees},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {33--42},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00008},
  doi          = {10.1109/ACSD.2019.00008},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/AndreLRS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BechennecLR19,
  author       = {Jean{-}Luc B{\'{e}}chennec and
                  Didier Lime and
                  Olivier H. Roux},
  title        = {Control of {DES} with Urgency, Avoidability and Ineluctability},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {92--101},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00020},
  doi          = {10.1109/ACSD.2019.00020},
  timestamp    = {Tue, 24 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/BechennecLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/DidierCPG19,
  author       = {Keryan Didier and
                  Albert Cohen and
                  Dumitru Potop{-}Butucaru and
                  Adrien Gauffriau},
  title        = {Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded
                  Software},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {43--52},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00009},
  doi          = {10.1109/ACSD.2019.00009},
  timestamp    = {Wed, 12 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/DidierCPG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/FelliLM19,
  author       = {Paolo Felli and
                  Massimiliano de Leoni and
                  Marco Montali},
  title        = {Soundness Verification of Decision-Aware Process Models with Variable-to-Variable
                  Conditions},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {82--91},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00013},
  doi          = {10.1109/ACSD.2019.00013},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/FelliLM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/GolubcovsMBSY19,
  author       = {Stanislavs Golubcovs and
                  Andrey Mokhov and
                  Alex Bystrov and
                  Danil Sokolov and
                  Alex Yakovlev},
  title        = {Generalised Asynchronous Arbiter},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {3--12},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00005},
  doi          = {10.1109/ACSD.2019.00005},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/GolubcovsMBSY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/MelotKE019,
  author       = {Nicolas Melot and
                  Christoph W. Kessler and
                  Patrick Eitschberger and
                  J{\"{o}}rg Keller},
  title        = {Co-Optimizing Core Allocation, Mapping and {DVFS} in Streaming Programs
                  with Moldable Tasks for Energy Efficient Execution on Manycore Architectures},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {63--72},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00011},
  doi          = {10.1109/ACSD.2019.00011},
  timestamp    = {Tue, 24 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/MelotKE019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/OuniKAZ19,
  author       = {Hiba Ouni and
                  Kais Klai and
                  Chiheb Ameur Abid and
                  Belhassen Zouari},
  title        = {Towards Parallel Verification of Concurrent Systems using the Symbolic
                  Observation Graph},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {23--32},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00007},
  doi          = {10.1109/ACSD.2019.00007},
  timestamp    = {Tue, 24 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/OuniKAZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/TaymouriC19,
  author       = {Farbod Taymouri and
                  Josep Carmona},
  title        = {Structural Computation of Alignments of Business Processes Over Partial
                  Orders},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {73--81},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00012},
  doi          = {10.1109/ACSD.2019.00012},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/TaymouriC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Tsigas19,
  author       = {Philippas Tsigas},
  title        = {Lock-free Concurrent Data Structures and How to Model their Performance},
  booktitle    = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACSD.2019.00004},
  doi          = {10.1109/ACSD.2019.00004},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/Tsigas19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/acsd/2019,
  title        = {19th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2019, Aachen, Germany, June 23-28, 2019},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8830708/proceeding},
  isbn         = {978-1-7281-3843-5},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/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.