Cited By
View all- Finkbeiner BFrenkel HMetzger NSiber J(2024)Synthesis of Temporal CausalityComputer Aided Verification10.1007/978-3-031-65633-0_5(87-111)Online publication date: 24-Jul-2024
- Beutner RFinkbeiner BFrenkel HSiber J(2023)Checking and Sketching Causes on Temporal SequencesAutomated Technology for Verification and Analysis10.1007/978-3-031-45332-8_18(314-327)Online publication date: 19-Oct-2023
- Horak TCoenen NMetzger NHahn CFlemisch TMéndez JDimov DFinkbeiner BDachselt R(2022)Visual Analysis of Hyperproperties for Understanding Model Checking ResultsIEEE Transactions on Visualization and Computer Graphics10.1109/TVCG.2021.311486628:1(357-367)Online publication date: 1-Jan-2022
- Show More Cited By