Cited By
View all- Hendriks MVerriet JBasten T(2024)Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace toolInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-024-00736-326:1(101-126)Online publication date: 1-Feb-2024
- 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
- Lloyd-Roberts BJames PEdwards MRobinson SWerner T(2023)Improving Railway Safety: Human-in-the-loop Invariant FindingExtended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems10.1145/3544549.3573853(1-8)Online publication date: 19-Apr-2023
- Show More Cited By