default search action
Search dblp for Publications
export results for "toc:db/conf/rebls/rebls2023.bht:"
@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} }
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.