Search dblp for Publications

export results for "toc:db/conf/rebls/rebls2023.bht:"

 download as .bib file

@inproceedings{DBLP:conf/rebls/AkessonHF23,
  author       = {Alfred {\AA}kesson and
                  G{\"{o}}rel Hedin and
                  Niklas Fors},
  editor       = {Manuel Serrano},
  title        = {ComPOS: {A} {DSL} for Composing IoT Systems with Weak Connectivity},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on
                  Reactive and Event-Based Languages and Systems, {REBLS} 2023, Cascais,
                  Portugal, 23 October 2023},
  pages        = {31--42},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623506.3623577},
  doi          = {10.1145/3623506.3623577},
  timestamp    = {Thu, 26 Oct 2023 16:45:37 +0200},
  biburl       = {https://dblp.org/rec/conf/rebls/AkessonHF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rebls/BaldorW023,
  author       = {Kevin Baldor and
                  Xiaoyin Wang and
                  Jianwei Niu},
  editor       = {Manuel Serrano},
  title        = {Thorium: {A} Language for Bounded Verification of Dynamic Reactive
                  Objects},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on
                  Reactive and Event-Based Languages and Systems, {REBLS} 2023, Cascais,
                  Portugal, 23 October 2023},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623506.3623574},
  doi          = {10.1145/3623506.3623574},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rebls/BaldorW023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rebls/HidakaK23,
  author       = {Daichi Hidaka and
                  Tetsuo Kamina},
  editor       = {Manuel Serrano},
  title        = {Realizing Persistent Signals in JavaScript},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on
                  Reactive and Event-Based Languages and Systems, {REBLS} 2023, Cascais,
                  Portugal, 23 October 2023},
  pages        = {25--30},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623506.3623576},
  doi          = {10.1145/3623506.3623576},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rebls/HidakaK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rebls/SogoTMW23,
  author       = {Kento Sogo and
                  Yuta Tsuji and
                  Sosuke Moriguchi and
                  Takuo Watanabe},
  editor       = {Manuel Serrano},
  title        = {Periodic and Aperiodic Task Description Mechanisms in an {FRP} Language
                  for Small-Scale Embedded Systems},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on
                  Reactive and Event-Based Languages and Systems, {REBLS} 2023, Cascais,
                  Portugal, 23 October 2023},
  pages        = {43--53},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623506.3623578},
  doi          = {10.1145/3623506.3623578},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rebls/SogoTMW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rebls/WenigP23,
  author       = {Phillip Wenig and
                  Thorsten Papenbrock},
  editor       = {Manuel Serrano},
  title        = {Actix-Telepathy},
  booktitle    = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on
                  Reactive and Event-Based Languages and Systems, {REBLS} 2023, Cascais,
                  Portugal, 23 October 2023},
  pages        = {14--24},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623506.3623575},
  doi          = {10.1145/3623506.3623575},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rebls/WenigP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rebls/2023,
  editor       = {Manuel Serrano},
  title        = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on
                  Reactive and Event-Based Languages and Systems, {REBLS} 2023, Cascais,
                  Portugal, 23 October 2023},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3623506},
  doi          = {10.1145/3623506},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/rebls/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics