Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Front Matter
Concurrent and Distributed Systems
Checking Deadlock-Freedom of Parametric Component-Based Systems
The mCRL2 Toolset for Analysing Concurrent Systems
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Multi-core On-The-Fly Saturation
Monitoring and Runtime Verification
Specification and Efficient Monitoring Beyond STL
VyPR2: A Framework for Runtime Verification of Python Web Services
Constraint-Based Monitoring of Hyperproperties
Hybrid and Stochastic Systems
Tail Probabilities for Randomized Program Runtimes via Martingales for Higher Moments
Computing the Expected Execution Time of Probabilistic Workflow Nets
Shepherding Hordes of Markov Chains
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Synthesis
Minimal-Time Synthesis for Parametric Timed Automata
Environmentally-Friendly GR(1) Synthesis
: Automated Verification and Synthesis of Stochastic Processes
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach
Symbolic Verification
i: A Variable Order Metric for DEDS Subject to Linear Invariants
Binary Decision Diagrams with Edge-Specified Reductions
Effective Entailment Checking for Separation Logic with Inductive Definitions
Safety and Fault-Tolerant Systems
Digital Bifurcation Analysis of TCP Dynamics
Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking
Measuring Masking Fault-Tolerance
PhASAR: An Inter-procedural Static Analysis Framework for C/C++
Back Matter
← Prev
Back
Next →
← Prev
Back
Next →