Puri Arenas - RankMe

43 papers A 2B 11C 4Misc 1Journal 10Unranked 14

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Systematic testing of actor systems. Softw. Test. Verification Reliab. Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2017	—	`conf`	Context-Sensitive Dynamic Partial Order Reduction. CAV (1) Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey
2016	C	`conf`	Testing of concurrent and imperative software using CLP. PPDP Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2015	J	`jnl`	A practical comparator of cost functions and its applications. Sci. Comput. Program. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2015	J	`jnl`	Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez
2015	B	`conf`	Resource Analysis: From Sequential to Concurrent and Distributed Programs. FM Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
2015	B	`conf`	Test Case Generation of Actor Systems. ATVA Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2014	C	`conf`	Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. FORTE Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2014	J	`jnl`	Conditional termination of loops over heap-allocated data. Sci. Comput. Program. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez
2014	A	`conf`	SACO: Static Analyzer for Concurrent Objects. TACAS Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
2014	—	`conf`	Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas
2013	B	`conf`	Precise Cost Analysis via Local Reasoning. ATVA Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
2013	—	`conf`	aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong
2012	—	`conf`	Automatic Inference of Bounds on Resource Consumption. FMCO Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini
2012	B	`conf`	Automatic Inference of Resource Consumption Bounds. LPAR Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012	C	`conf`	COSTABS: a cost and termination analyzer for ABS. PEPM Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla
2012	J	`jnl`	Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
2012	J	`jnl`	Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
2012	—	`ed.`	Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011 PROLE Puri Arenas, Víctor M. Gulías
2012	C	`conf`	Symbolic Execution of Concurrent Objects in CLP. PADL Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2012	—	`conf`	Towards Testing Concurrent Objects in CLP. ICLP (Technical Communications) Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa
2011	J	`jnl`	Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reason. Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2011	B	`conf`	Cost Analysis of Concurrent OO Programs. APLAS Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla
2011	—	`conf`	Handling Non-linear Operations in the Value Analysis of COSTA. Bytecode@ETAPS Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
2011	—	`conf`	Preface. PROLE Puri Arenas, Víctor M. Gulías
2011	B	`conf`	Task-level analysis for a language with async/finish parallelism. LCTES Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini
2010	J	`jnl`	Certificate size reduction in Abstraction-Carrying Code CoRR Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
2010	B	`conf`	From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes
2009	J	`jnl`	18th Workshop on Logic-based methods in Programming Environments (WLPE 2008) CoRR Puri Arenas, Damiano Zanardini
2009	B	`conf`	Asymptotic Resource Usage Bounds. APLAS Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla
2009	—	`conf`	Comparing Cost Functions in Resource Analysis. FOPARA Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla
2009	B	`conf`	Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2009	—	`conf`	Resource Usage Analysis and Its Application to Resource Certification. FOSAD Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2009	—	`conf`	Termination and Cost Analysis with COSTA and its User Interfaces. PROLE Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini
2008	B	`conf`	Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2008	—	`conf`	Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. PROLE Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla
2008	Misc	`conf`	Removing useless variables in cost analysis of Java bytecode. SAC Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2008	—	`conf`	Termination Analysis of Java Bytecode. FMOODS Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
2007	—	`conf`	COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini
2007	A	`conf`	Cost Analysis of Java Bytecode. ESOP Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2007	—	`conf`	Experiments in Cost Analysis of Java Bytecode. Bytecode@ETAPS Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
2007	J	`jnl`	Some Issues on Incremental Abstraction-Carrying Code CoRR Elvira Albert, Puri Arenas, Germán Puebla
2006	B	`conf`	An Incremental Approach to Abstraction-Carrying Code. LPAR Elvira Albert, Puri Arenas, Germán Puebla