The following pages link to Swen Jacobs (Q784146):
Displayed 27 items.
- Promptness and bounded fairness in concurrent and parameterized systems (Q784148) (← links)
- Comparing instance generation methods for automated reasoning (Q877884) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Validation of abstract side-channel models for computer architectures (Q2225102) (← links)
- A symbolic algorithm for lazy synthesis of eager strategies (Q2303874) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- Tight Cutoffs for Guarded Protocols with Fairness (Q2796072) (← links)
- Applications of Hierarchical Reasoning in the Verification of Complex Systems (Q2864523) (← links)
- Lazy Synthesis (Q2891413) (← links)
- Parameterized Synthesis (Q2894282) (← links)
- Reductions for Synthesis Procedures (Q2926641) (← links)
- Towards Efficient Parameterized Synthesis (Q2926642) (← links)
- Parameterized Model Checking of Token-Passing Systems (Q2938070) (← links)
- Towards Complete Reasoning about Axiomatic Specifications (Q3075488) (← links)
- Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity (Q3296331) (← links)
- Efficient Information-Flow Verification Under Speculative Execution (Q3297608) (← links)
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space (Q3510811) (← links)
- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (Q3608886) (← links)
- Incremental Instance Generation in Local Reasoning (Q3636873) (← links)
- Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems (Q4633532) (← links)
- (Q5015281) (← links)
- Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (Q5091107) (← links)
- Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information (Q5194960) (← links)
- Parameterized Synthesis (Q5404478) (← links)
- On Local Reasoning in Verification (Q5458332) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479275) (← links)
- (Q6161057) (← links)