The following pages link to Antoine Miné (Q681348):
Displayed 27 items.
- Inference of ranking functions for proving temporal properties by abstract interpretation (Q681349) (← links)
- Why does Astrée scale up? (Q845249) (← links)
- The octagon abstract domain (Q853733) (← links)
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← links)
- Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs (Q1664391) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs (Q2881094) (← links)
- A Constraint Solver Based on Abstract Domains (Q2926656) (← links)
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation (Q2938060) (← links)
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (Q2961579) (← links)
- Linear Absolute Value Relation Analysis (Q3000578) (← links)
- Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (Q3000591) (← links)
- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (Q3392932) (← links)
- An Abstract Domain to Discover Interval Linear Equalities (Q3656879) (← links)
- (Q4411954) (← links)
- (Q4414726) (← links)
- (Q4529777) (← links)
- Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations (Q5170174) (← links)
- Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation (Q5172643) (← links)
- Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains (Q5233247) (← links)
- Programming Languages and Systems (Q5308685) (← links)
- Programming Languages and Systems (Q5316581) (← links)
- An Abstract Domain to Infer Ordinal-Valued Ranking Functions (Q5410712) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898628) (← links)
- An abstract domain for trees with numeric relations (Q6070805) (← links)
- Relational thread-modular abstract interpretation under relaxed memory models (Q6166139) (← links)