Samir Genaim

Samir Genaim

Universidad Complutense de Madrid - Madrid / Spain
Engineering & Technology / Computer Science
AD Scientific Index ID: 1266053
Complutense University of Madrid
person_outline Samir Genaim's MOST POPULAR ARTICLES
1-) Closed-form upper bounds in static cost analysis Journal of automated reasoning 46, 161-203, 2011
2-) Automatic inference of upper bounds for recurrence relations in cost analysis Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008
3-) Information flow analysis for java bytecode International Workshop on Verification, Model Checking, and Abstract …, 2005
4-) Ranking functions for linear-constraint loops Journal of the ACM (JACM) 61 (4), 1-55, 2014
5-) SACO: static analyzer for concurrent objects Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014