Filtrer vos résultats
- 4
- 4
- 6
- 1
- 1
- 8
- 3
- 4
- 1
- 8
- 8
- 8
- 1
- 1
- 1
- 4
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
8 résultats
|
|
triés par
|
|
Static analysis by abstract interpretation of concurrent programsPerformance [cs.PF]. Ecole Normale Supérieure de Paris - ENS Paris, 2013
HDR
tel-00903447v1
|
||
|
Static Analysis by Abstract Interpretation of Sequential and Multi-Thread Programs10th School of Modelling and Verifying Parallel Processes, Dec 2012, Marseille, France
Communication dans un congrès
hal-00763076v1
|
||
A case for static analyzers in the cloudBytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Miguel Gomez-Zamalloa and Germán Puebla, Mar 2013, Rome, Italy
Communication dans un congrès
hal-00925837v1
|
|||
|
An abstract domain to infer ordinal-valued ranking functionsESOP 2014 - 23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.412-431, ⟨10.1007/978-3-642-54833-8_22⟩
Communication dans un congrès
hal-00925731v1
|
||
|
A Constraint Solver based on Abstract DomainsVMCAI 2013 - 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2013, Rome, Italy. pp.434--454, ⟨10.1007/978-3-642-35873-9_26⟩
Communication dans un congrès
hal-00785604v1
|
||
Piecewise-Defined Ranking Functions13th International Workshop on Termination, Aug 2013, Bertinoro, Italy. pp.69-73
Communication dans un congrès
hal-00925682v1
|
|||
Automatic Inference of Ranking Functions by Abstract Interpretation2014
Autre publication scientifique
hal-00925760v1
|
|||
|
The Abstract Domain of Segmented Ranking FunctionsStatic Analysis, 20th International Symposium,, Jun 2013, Seattle, United States. pp.43-62, ⟨10.1007/978-3-642-38856-9_5⟩
Communication dans un congrès
hal-00925670v1
|