Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gereon Fox
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Optimal Dyck Reachability for Data-Dependence and Alias Analysis
Proceedings of the ACM on Programming Languages
Temporal Analysis of Time Bounded Digital Systems
Sensitivity Analysis for Linear Systems Based on Reachability Sets
Axiomatic Characterization of Trace Reachability for Concurrent Objects
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Context-Bounded Analysis for Concurrent Programs With Dynamic Creation of Threads
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
