Workshop REBLS 2023 – Author Index

A B F H K M N P S T W

	Åkesson, Alfred	REBLS '23: "ComPOS: A DSL for Composing ..." ComPOS: A DSL for Composing IoT Systems with Weak Connectivity Alfred Åkesson, Görel Hedin, and Niklas Fors (Lund University, Sweden) @InProceedings{REBLS23p46, author = {Alfred Åkesson and Görel Hedin and Niklas Fors}, title = {ComPOS: A DSL for Composing IoT Systems with Weak Connectivity}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3623506.3623577}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p78-p doi:10.1145/3623506.3623577
	Baldor, Kevin	REBLS '23: "Thorium: A Language for Bounded ..." Thorium: A Language for Bounded Verification of Dynamic Reactive Objects Kevin Baldor, Xiaoyin Wang, and Jianwei Niu (University of Texas at San Antonio, USA; Southwest Research Institute, USA) @InProceedings{REBLS23p1, author = {Kevin Baldor and Xiaoyin Wang and Jianwei Niu}, title = {Thorium: A Language for Bounded Verification of Dynamic Reactive Objects}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3623506.3623574}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p41-p doi:10.1145/3623506.3623574
	Fors, Niklas	REBLS '23: "ComPOS: A DSL for Composing ..." ComPOS: A DSL for Composing IoT Systems with Weak Connectivity Alfred Åkesson, Görel Hedin, and Niklas Fors (Lund University, Sweden) @InProceedings{REBLS23p46, author = {Alfred Åkesson and Görel Hedin and Niklas Fors}, title = {ComPOS: A DSL for Composing IoT Systems with Weak Connectivity}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3623506.3623577}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p78-p doi:10.1145/3623506.3623577
	Hedin, Görel	REBLS '23: "ComPOS: A DSL for Composing ..." ComPOS: A DSL for Composing IoT Systems with Weak Connectivity Alfred Åkesson, Görel Hedin, and Niklas Fors (Lund University, Sweden) @InProceedings{REBLS23p46, author = {Alfred Åkesson and Görel Hedin and Niklas Fors}, title = {ComPOS: A DSL for Composing IoT Systems with Weak Connectivity}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3623506.3623577}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p78-p doi:10.1145/3623506.3623577
	Hidaka, Daichi	REBLS '23: "Realizing Persistent Signals ..." Realizing Persistent Signals in JavaScript Daichi Hidaka and Tetsuo Kamina (Oita University, Japan) @InProceedings{REBLS23p31, author = {Daichi Hidaka and Tetsuo Kamina}, title = {Realizing Persistent Signals in JavaScript}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3623506.3623576}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p72-p doi:10.1145/3623506.3623576
	Kamina, Tetsuo	REBLS '23: "Realizing Persistent Signals ..." Realizing Persistent Signals in JavaScript Daichi Hidaka and Tetsuo Kamina (Oita University, Japan) @InProceedings{REBLS23p31, author = {Daichi Hidaka and Tetsuo Kamina}, title = {Realizing Persistent Signals in JavaScript}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3623506.3623576}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p72-p doi:10.1145/3623506.3623576
	Moriguchi, Sosuke	REBLS '23: "Periodic and Aperiodic Task ..." Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, and Takuo Watanabe (Tokyo Institute of Technology, Japan) @InProceedings{REBLS23p61, author = {Kento Sogo and Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe}, title = {Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3623506.3623578}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p94-p doi:10.1145/3623506.3623578
	Niu, Jianwei	REBLS '23: "Thorium: A Language for Bounded ..." Thorium: A Language for Bounded Verification of Dynamic Reactive Objects Kevin Baldor, Xiaoyin Wang, and Jianwei Niu (University of Texas at San Antonio, USA; Southwest Research Institute, USA) @InProceedings{REBLS23p1, author = {Kevin Baldor and Xiaoyin Wang and Jianwei Niu}, title = {Thorium: A Language for Bounded Verification of Dynamic Reactive Objects}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3623506.3623574}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p41-p doi:10.1145/3623506.3623574
	Papenbrock, Thorsten	REBLS '23: "Actix-Telepathy ..." Actix-Telepathy Phillip Wenig and Thorsten Papenbrock (Hasso Plattner Institute, Germany; University of Potsdam, Germany; University of Marburg, Germany) @InProceedings{REBLS23p16, author = {Phillip Wenig and Thorsten Papenbrock}, title = {Actix-Telepathy}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3623506.3623575}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p64-p doi:10.1145/3623506.3623575
	Sogo, Kento	REBLS '23: "Periodic and Aperiodic Task ..." Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, and Takuo Watanabe (Tokyo Institute of Technology, Japan) @InProceedings{REBLS23p61, author = {Kento Sogo and Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe}, title = {Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3623506.3623578}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p94-p doi:10.1145/3623506.3623578
	Tsuji, Yuta	REBLS '23: "Periodic and Aperiodic Task ..." Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, and Takuo Watanabe (Tokyo Institute of Technology, Japan) @InProceedings{REBLS23p61, author = {Kento Sogo and Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe}, title = {Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3623506.3623578}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p94-p doi:10.1145/3623506.3623578
	Wang, Xiaoyin	REBLS '23: "Thorium: A Language for Bounded ..." Thorium: A Language for Bounded Verification of Dynamic Reactive Objects Kevin Baldor, Xiaoyin Wang, and Jianwei Niu (University of Texas at San Antonio, USA; Southwest Research Institute, USA) @InProceedings{REBLS23p1, author = {Kevin Baldor and Xiaoyin Wang and Jianwei Niu}, title = {Thorium: A Language for Bounded Verification of Dynamic Reactive Objects}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3623506.3623574}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p41-p doi:10.1145/3623506.3623574
	Watanabe, Takuo	REBLS '23: "Periodic and Aperiodic Task ..." Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems Kento Sogo, Yuta Tsuji, Sosuke Moriguchi, and Takuo Watanabe (Tokyo Institute of Technology, Japan) @InProceedings{REBLS23p61, author = {Kento Sogo and Yuta Tsuji and Sosuke Moriguchi and Takuo Watanabe}, title = {Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3623506.3623578}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p94-p doi:10.1145/3623506.3623578
	Wenig, Phillip	REBLS '23: "Actix-Telepathy ..." Actix-Telepathy Phillip Wenig and Thorsten Papenbrock (Hasso Plattner Institute, Germany; University of Potsdam, Germany; University of Marburg, Germany) @InProceedings{REBLS23p16, author = {Phillip Wenig and Thorsten Papenbrock}, title = {Actix-Telepathy}, booktitle = {Proc.\ REBLS}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3623506.3623575}, year = {2023}, } Publisher's Version Article: splashws23reblsmain-p64-p doi:10.1145/3623506.3623575

14 authors

proc time: 5.46