29:10 [FTSCS] Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata ACM SIGPLAN
28:33 [FTSCS] Q: A Sound Verification Framework for Statecharts and Their Implementations ACM SIGPLAN
26:58 [FTSCS] Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search ACM SIGPLAN
29:05 [FTSCS]Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation ACM SIGPLAN
28:49 [FTSCS] Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS ACM SIGPLAN