Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jean-Xavier Rampon
Reachability Analysis on Distributed Executions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Faithful Extensions on Finite Orders Classes
Electronic Notes in Discrete Mathematics
Combinatorics
Applied Mathematics
Discrete Mathematics
Related publications
Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Reachability Analysis of Finite-State Distributed Systems With User-Specified Constraints
Sensitivity Analysis for Linear Systems Based on Reachability Sets
Risk-Based Analysis of Business Process Executions
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Forensic Analysis of Autonomous System Reachability
Generalized Fair Reachability Analysis for Cyclic Protocols
IEEE/ACM Transactions on Networking
Electronic Engineering
Computer Networks
Communications
Computer Science Applications
Electrical
Software
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
