Personensuche
X
?
2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS) ,
1
Optimal Runtime Assurance via Reinforcement Learning:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
Stack-Aware Hyperproperties:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
5
RTAEval: A Framework for Evaluating Runtime Assurance Logic:
, In:
?
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security ,
6
Deciding Differential Privacy of Online Algorithms with Mul..:
, In:
?
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
8
A tree clock data structure for causal orderings in concurr..:
, In:
?
Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1 ,
13
Proof Blocks : Autogradable Scaffolding Activities for L..:
, In:
?
Proceedings of the 17th ACM Conference on International Computing Education Research ,
14