The following pages link to Pierre Ganty (Q453530):
Displayed 39 items.
- Bounded underapproximations (Q453533) (← links)
- Verification of population protocols (Q523133) (← links)
- Parikh image of pushdown automata (Q1679980) (← links)
- Parikh's theorem: a simple and direct automaton construction (Q1944966) (← links)
- Fixed point guided abstraction refinement for alternating automata (Q1959653) (← links)
- Analysis of Asynchronous Programs with Event-Based Synchronization (Q2802452) (← links)
- (Q2911620) (← links)
- Interprocedural Reachability for Flat Integer Programs (Q2947875) (← links)
- A Perfect Model for Bounded Verification (Q2986805) (← links)
- Complexity Analysis of the Backward Coverability Algorithm for VASS (Q3172868) (← links)
- Parameterized Verification of Asynchronous Shared-Memory Systems (Q3177767) (← links)
- (Q3601862) (← links)
- Fixpoint-Guided Abstraction Refinements (Q3612008) (← links)
- From Many Places to Few: Automatic Abstraction Refinement for Petri Nets (Q3612929) (← links)
- Fixpoint Guided Abstraction Refinement for Alternating Automata (Q3637352) (← links)
- Analyzing Real-Time Event-Driven Programs (Q3648830) (← links)
- (Q4636574) (← links)
- Tree dimension in verification of constrained Horn clauses (Q4644355) (← links)
- (Q5009448) (← links)
- (Q5015278) (← links)
- (Q5015369) (← links)
- A Congruence-Based Perspective on Finite Tree Automata (Q5025071) (← links)
- Complete Abstractions for Checking Language Inclusion (Q5056350) (← links)
- (Q5089207) (← links)
- (Q5090971) (← links)
- (Q5092441) (← links)
- Fixing the State Budget: Approximation of Regular Languages with Small DFAs (Q5096078) (← links)
- A Language-Theoretic View on Network Protocols (Q5096096) (← links)
- Sound up-to techniques and Complete abstract domains (Q5145290) (← links)
- Verifying liveness for asynchronous programs (Q5261509) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308417) (← links)
- Underapproximation of Procedure Summaries for Integer Programs (Q5326329) (← links)
- (Q5357724) (← links)
- Ordered Counter-Abstraction (Q5404930) (← links)
- Complexity of pattern-based verification for multithreaded programs (Q5408569) (← links)
- Model checking parameterized asynchronous shared-memory systems (Q5892422) (← links)
- Static Analysis (Q5897432) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898609) (← links)
- (Q6134251) (← links)