Powered by
10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2023), October 23, 2023,
Cascais, Portugal
10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS 2023)
Frontmatter
Papers
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
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
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
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
proc time: 2.24