The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Elvira Albert" ( http://dblp.L3S.de/Authors/Elvira_Albert )

URL (Homepage):  http://costa.ls.fi.upm.es/~elvira/  Author page on DBLP  Author page in RDF  Community of Elvira Albert in ASPL-2

Publication years (Num. hits)
1998-2002 (18) 2003-2005 (15) 2006-2008 (19) 2009-2010 (20) 2011-2012 (22) 2013-2014 (21) 2015-2016 (21) 2017-2019 (22)
Publication types (Num. hits)
article(55) inproceedings(97) proceedings(6)
Venues (Conferences, Journals, ...)
CoRR(14) LOPSTR(13) Electr. Notes Theor. Comput. S...(8) SAS(7) LPAR(6) PEPM(5) Sci. Comput. Program.(5) TPLP(5) ATVA(4) FM(4) PPDP(4) ACM Trans. Comput. Log.(3) APPIA-GULP-PRODE(3) ICLP(3) IFM(3) ISMM(3) More (+10 of total 69)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 25 keywords

Results
Found 159 publication records. Showing 158 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin A Transformational Approach to Resource Analysis with Typed-norms Inference. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio SAFEVM: A Safety Verifier for Ethereum Smart Contracts. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Elvira Albert, Jesús Correas, Guillermo Román-Díez Peak resource analysis of concurrent distributed systems. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio Resource Analysis driven by (Conditional) Termination Proofs. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio SAFEVM: a safety verifier for Ethereum smart contracts. Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey Optimal context-sensitive dynamic partial order reduction with observers. Search on Bibsonomy ISSTA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. Search on Bibsonomy VECoS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez Parallel Cost Analysis. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey GASTAP: A Gas Analyzer for Smart Contracts. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Systematic testing of actor systems. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio Constrained Dynamic Partial Order Reduction. Search on Bibsonomy CAV (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva 0001 SDN-Actors: Modeling and Verification of SDN Programs. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. Search on Bibsonomy ATVA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel On the Generation of Initial Contexts for Effective Deadlock Detection. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15). Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey Context-Sensitive Dynamic Partial Order Reduction. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Pablo Gordillo May-Happen-in-Parallel Analysis with Returned Futures. Search on Bibsonomy ATVA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez 0001, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. Search on Bibsonomy STAF Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel Generation of Initial Contexts for Effective Deadlock Detection. Search on Bibsonomy LOPSTR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Damiano Zanardini, Elvira Albert, Karina Villela Resource-usage-aware configuration in software product lines. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin May-Happen-in-Parallel Analysis for Actor-Based Concurrency. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Elvira Albert, Jesús Correas, Guillermo Román-Díez Resource Analysis of Distributed Systems. Search on Bibsonomy Theory and Practice of Formal Methods The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel SYCO: a systematic testing tool for concurrent objects. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel Combining Static Analysis and Testing for Deadlock Detection. Search on Bibsonomy IFM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Testing of concurrent and imperative software using CLP. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Ivan Lanese (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings Search on Bibsonomy FORTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez A multi-domain incremental analysis engine and its application to incremental resource analysis. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla A practical comparator of cost functions and its applications. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez Quantified abstract configurations of distributed systems. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez Object-sensitive cost analysis for concurrent objects. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez Resource Analysis: From Sequential to Concurrent and Distributed Programs. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Test Case Generation of Actor Systems. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim May-Happen-in-Parallel Analysis with Condition Synchronization. Search on Bibsonomy FOPARA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez Parallel Cost Analysis of Distributed Systems. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Pablo Gordillo May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. Search on Bibsonomy SAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez Non-cumulative Resource Analysis. Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Elvira Albert (eds.) Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015 Search on Bibsonomy PPDP The full citation details ... 2015 DBLP  BibTeX  RDF
1Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Search on Bibsonomy Service Oriented Computing and Applications The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez Conditional termination of loops over heap-allocated data. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Shin-Cheng Mu Selected and extended papers from Partial Evaluation and Program Manipulation 2013. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez Static Inference of Transmission Data Sizes in Distributed Systems. Search on Bibsonomy ISoLA (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez Peak Cost Analysis of Distributed Systems. Search on Bibsonomy SAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Emil Sekerinski (eds.) Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings Search on Bibsonomy IFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez SACO: Static Analyzer for Concurrent Objects. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. Search on Bibsonomy FORTE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Abu Naser Masud On the Inference of Resource Usage Upper and Lower Bounds. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Heap space analysis for garbage collected languages. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey A CLP heap solver for test case generation. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Enrique Martin-Martin May-Happen-in-Parallel Analysis for Priority-Based Scheduling. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Shin-Cheng Mu (eds.) Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013 Search on Bibsonomy PEPM The full citation details ... 2013 DBLP  BibTeX  RDF
1Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve Engineering virtualized services. Search on Bibsonomy NordiCloud The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin Termination and Cost Analysis of Loops with Concurrent Interleavings. Search on Bibsonomy ATVA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong aPET: a test case generation tool for concurrent objects. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez Quantified Abstractions of Distributed Systems. Search on Bibsonomy IFM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Antonio Flores-Montoya, Elvira Albert, Samir Genaim May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Raúl Gutiérrez A Transformational Approach to Resource Analysis with Typed-Norms. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert (eds.) Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini Cost analysis of object-oriented bytecode programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Search on Bibsonomy STTT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo Certificate size reduction in abstraction-carrying code. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Symbolic Execution of Concurrent Objects in CLP. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla Automatic Inference of Resource Consumption Bounds. Search on Bibsonomy LPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez Incremental resource usage analysis. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla COSTABS: a cost and termination analyzer for ABS. Search on Bibsonomy PEPM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa Towards Testing Concurrent Objects in CLP. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim MayPar: a may-happen-in-parallel analyzer for concurrent objects. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Bjarte M. Østvold, José Miguel Rojas Automated Extraction of Abstract Behavioural Models from JMS Applications. Search on Bibsonomy FMICS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira 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 Automatic Inference of Bounds on Resource Consumption. Search on Bibsonomy FMCO The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Antonio Flores-Montoya, Samir Genaim Analysis of May-Happen-in-Parallel in Concurrent Objects. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez Verified Resource Guarantees for Heap Manipulating Programs. Search on Bibsonomy FASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla Closed-Form Upper Bounds in Static Cost Analysis. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Efficient local unfolding with ancestor stacks. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini Task-level analysis for a language with async/finish parallelism. Search on Bibsonomy LCTES The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez Verified resource guarantees using COSTA and KeY. Search on Bibsonomy PEPM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez jPET: An Automatic Test-Case Generator for Java. Search on Bibsonomy WCRE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla Cost Analysis of Concurrent OO Programs. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim, Abu Naser Masud More Precise Yet Widely Applicable Cost Analysis. Search on Bibsonomy VMCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas Resource-Driven CLP-Based Test Case Generation. Search on Bibsonomy LOPSTR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo Certificate size reduction in Abstraction-Carrying Code Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla Verification of Java Bytecode using Analysis and Transformation of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Test Case Generation for Object-Oriented Imperative Languages in CLP Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla Test case generation for object-oriented imperative languages in CLP. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla PET: a partial evaluation-based test case generation tool for Java bytecode. Search on Bibsonomy PEPM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
1Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa Parametric inference of memory requirements for garbage collected languages. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF live heap space analysis, peak memory consumption, garbage collection, java bytecode, low-level languages
1Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. Search on Bibsonomy SAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla Compositional CLP-Based Test Data Generation for Imperative Languages. Search on Bibsonomy LOPSTR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Samir Genaim Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini Termination and Cost Analysis with COSTA and its User Interfaces. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla Type-based homeomorphic embedding for online termination. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla On the Generation of Test Data for Prolog by Partial Evaluation Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Germán Puebla, Elvira Albert, Manuel V. Hermenegildo Efficient Local Unfolding with Ancestor Stacks Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 158 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license