Searching for authors named Samir Genaim – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
The Def-inite Approach to Dependency Analysis
- …The Def-inite Approach to Dependency Analysis Samir Genaim and Michael Codish The Department…
- Cited by 2 (1 self) – Add To MetaCart
-
Incremental Refinement of Semantic Based Program Analysis for Logic Programs
- …Incremental Refinement of Semantic Based Program Analysis for Logic Programs Samir Genaim 1…
- Cited by 5 (2 self) – Add To MetaCart
-
Information flow analysis for java bytecode
- …Information Flow Analysis for Java Bytecode Samir Genaim and Fausto Spoto Dipartimento di…
- Cited by 16 (1 self) – Add To MetaCart
-
Inferring Termination Conditions for Logic Programs Using Backwards Analysis
- …Inferring Termination Conditions for Logic Programs using Backwards Analysis Samir Genaim…
- Cited by 16 (1 self) – Add To MetaCart
-
Constancy Analysis
- …Constancy Analysis Samir Genaim and Fausto Spoto 1 CLIP, Technical University of Madrid (UPM…
- Add To MetaCart
-
Modeling Secure Information Flow with Boolean Functions
- …Modeling Secure Information Flow with Boolean Functions Samir Genaim ⋆ , Roberto Giacobazzi…
- Cited by 2 (1 self) – Add To MetaCart
-
Combining Norms to Prove Termination
- …Combining Norms to Prove Termination Samir Genaim 1 , Michael Codish 1 , John Gallagher 2…
- Cited by 10 (5 self) – Add To MetaCart
-
Reuse of Results in Termination Analysis of Typed Logic Programs
- … Codish 2 , Samir Genaim 2? , and Wim Vanhoof 1 1 Katholieke Universiteit Leuven, Department…
- Cited by 6 (1 self) – Add To MetaCart
-
One Loop at a Time
- …One Loop at a Time Michael Codish Samir Genaim Maurice Bruynooghe John Gallagher Wim Vanhoof…
- Add To MetaCart
-
One loop at a time
- …One Loop at a Time Michael Codish Samir Genaim Maurice Bruynooghe John Gallagher Wim Vanhoof…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
