Timed hyperproperties
From MaRDI portal
Publication:821560
DOI10.1016/j.ic.2020.104639OpenAlexW4214833524MaRDI QIDQ821560
Ruoyu Zhou, Timothy M. Jones, Hsi-Ming Ho
Publication date: 21 September 2021
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: http://sro.sussex.ac.uk/id/eprint/94743/1/IandC_accepted_manuscript.pdf
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Real-time logics: Complexity and expressiveness
- A theory of timed automata
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- Uppaal in a nutshell
- The compound interest in relaxing punctuality
- Secure information release in timed automata
- System-level non-interference of constant-time cryptography. I: Model
- The stuttering principle revisited
- Non-Interference Control Synthesis for Security Timed Automata
- Secure information flow by self-composition
- Time-Bounded Verification
- Weak Second‐Order Arithmetic and Finite Automata
- On the Expressiveness of Metric Temporal Logic over Bounded Timed Words
- Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
- Some Recent Results in Metric Temporal Logic
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Realizability of Real-Time Logics
- On Communicating Finite-State Machines
- A really temporal logic
- The benefits of relaxing punctuality
- Real-Time Synthesis is Hard!
- On the decidability and complexity of Metric Temporal Logic over finite words
- Hybrid Systems: Computation and Control
- Model checking quantitative hyperproperties
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
- Owl: a library for \(\omega \)-words, automata, and LTL