The following pages link to Bertrand Jeannet (Q435976):
Displaying 21 items.
- Applying abstract acceleration to (co-)reachability analysis of reactive programs (Q435977) (← links)
- (Q1424998) (redirect page) (← links)
- Dynamic partitioning in linear relation analysis: application to the verification of reactive systems (Q1424999) (← links)
- Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs (Q2814110) (← links)
- Concrete Memory Models for Shape Analysis (Q2814114) (← links)
- From hybrid data-flow languages to hybrid automata (Q2986764) (← links)
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack (Q3000594) (← links)
- Policy Iteration within Logico-Numerical Abstract Domains (Q3172921) (← links)
- Widening with Thresholds for Programs with Complex Control Graphs (Q3172939) (← links)
- Model-Based Test Selection for Infinite-State Reactive Systems (Q3525109) (← links)
- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification (Q3611994) (← links)
- Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues (Q3623935) (← links)
- (Q4411950) (← links)
- (Q4798031) (← links)
- (Q4813198) (← links)
- Inferring Effective Types for Static Analysis of C Programs (Q5170179) (← links)
- Algebraic Methodology and Software Technology (Q5312985) (← links)
- Abstract acceleration of general linear loops (Q5408447) (← links)
- Static Analysis (Q5466564) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703771) (← links)
- Static Analysis (Q5897434) (← links)
