2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.FL2021
Temporal Reasoning Through Automatic Translation of tock-CSP into Timed Automata
Abdulrazaq Abba, Ana Cavalcanti, Jeremy Jacob
In this work, we consider translating tock-CSP into Timed Automata for UPPAAL to facilitate using UPPAAL in reasoning about temporal specifications of tock-CSP models. The process…
cs.DS2020★ 2 cited
Bucket Oblivious Sort: An Extremely Simple Oblivious Sort
Gilad Asharov, T-H. Hubert Chan, Kartik Nayak +3
We propose a conceptually simple oblivious sort and oblivious random permutation algorithms called bucket oblivious sort and bucket oblivious random permutation. Bucket oblivious s…