Следене
Samir Genaim
Заглавие
Позовавания
Позовавания
Година
Cost analysis of java bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Programming Languages and Systems: 16th European Symposium on Programming …, 2007
2442007
Closed-form upper bounds in static cost analysis
E Albert, P Arenas, S Genaim, G Puebla
Journal of automated reasoning 46, 161-203, 2011
2122011
Cost analysis of object-oriented bytecode programs
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Theoretical Computer Science 413 (1), 142-159, 2012
1552012
Automatic inference of upper bounds for recurrence relations in cost analysis
E Albert, P Arenas, S Genaim, G Puebla
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008
1312008
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
E Albert, P Arenas, S Genaim, G Puebla, D Zanardini
Formal Methods for Components and Objects: 6th International Symposium, FMCO …, 2008
1162008
Information flow analysis for java bytecode
S Genaim, F Spoto
International Workshop on Verification, Model Checking, and Abstract …, 2005
1072005
SACO: static analyzer for concurrent objects
E Albert, P Arenas, A Flores-Montoya, S Genaim, M Gómez-Zamalloa, ...
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
912014
On the linear ranking problem for integer linear-constraint loops
AM Ben-Amram, S Genaim
ACM SIGPLAN Notices 48 (1), 51-62, 2013
832013
Termination analysis of Java bytecode
E Albert, P Arenas, M Codish, S Genaim, G Puebla, D Zanardini
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008
822008
Ranking functions for linear-constraint loops
AM Ben-Amram, S Genaim
Journal of the ACM (JACM) 61 (4), 1-55, 2014
802014
Termination analysis of logic programs through combination of type-based norms
M Bruynooghe, M Codish, JP Gallagher, S Genaim, W Vanhoof
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 10-es, 2007
762007
Preference-based configuration of web page content
C Domshlak, S Genaim, R Brafman
14th European Conference on Artificial Intelligence (ECAI 2000 …, 2000
742000
Heap space analysis for Java bytecode
E Albert, S Genaim, M Gomez-Zamalloa
Proceedings of the 6th international symposium on Memory management, 105-116, 2007
702007
May-happen-in-parallel based deadlock analysis for concurrent objects
AE Flores-Montoya, E Albert, S Genaim
International Conference on Formal Methods for Open Object-Based Distributed …, 2013
672013
Parametric inference of memory requirements for garbage collected languages
E Albert, S Genaim, M Gómez-Zamalloa
ACM Sigplan Notices 45 (8), 121-130, 2010
652010
On the termination of integer loops
AM Ben-Amram, S Genaim, AN Masud
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (4), 1-24, 2012
632012
On the inference of resource usage upper and lower bounds
E Albert, S Genaim, AN Masud
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-35, 2013
592013
On the limits of the classical approach to cost analysis
DE Alonso-Blas, S Genaim
International Static Analysis Symposium, 405-421, 2012
582012
On multiphase-linear ranking functions
AM Ben-Amram, S Genaim
International Conference on Computer Aided Verification, 601-620, 2017
572017
Live heap space analysis for languages with garbage collection
E Albert, S Genaim, M Gómez-Zamalloa Gil
Proceedings of the 2009 international symposium on Memory management, 129-138, 2009
542009
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20