Search for persons
X
?
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control ,
1
Temporal Behavior Trees -- Segmentation:
, In:
?
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control ,
2
Temporal Behavior Trees: Robustness and Segmentation:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
AutoHyper: Explicit-State Model Checking for HyperLTL:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
5
Reactive Synthesis of Smart Contract Control Flows:
, In:
?
2023 IEEE 36th Computer Security Foundations Symposium (CSF) ,
6
Smart Contract Synthesis Modulo Hyperproperties:
, In:
?
Theories of Programming and Formal Methods; Lecture Notes in Computer Science ,
7
Concurrent Hyperproperties:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
8
Leveraging Static Analysis: An IDE for RTLola:
, In:
?
Automated Technology for Verification and Analysis; Lecture Notes in Computer Science ,
9
Checking and Sketching Causes on Temporal Sequences:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
11
Bounded Model Checking for Asynchronous Hyperproperties:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
12
Automata-Based Software Model Checking of Hyperproperties:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
14