Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jens Bendisposto
Symbolic Reachability Analysis of B Through ProB and LTSmin
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Flow Analysis for Event-B
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation
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
Reachability Analysis on Distributed Executions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Forensic Analysis of Autonomous System Reachability
Optimal Dyck Reachability for Data-Dependence and Alias Analysis
Proceedings of the ACM on Programming Languages
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Exploiting Reachability and Cardinality in Higher-Order Flow Analysis
Journal of Functional Programming
Software
Generalized Fair Reachability Analysis for Cyclic Protocols
IEEE/ACM Transactions on Networking
Electronic Engineering
Computer Networks
Communications
Computer Science Applications
Electrical
Software
Symbolic Signal Processing and System Analysis
Facta universitatis - series: Electronics and Energetics
