Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElvira Albert
Person information
- affiliation: Complutense University of Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j41]Elvira Albert, Maria Garcia de la Banda
, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal dynamic partial order reduction with context-sensitive independence and observers. J. Syst. Softw. 202: 111730 (2023)- [j40]Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv:
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks. IEEE Trans. Dependable Secur. Comput. 20(3): 2256-2273 (2023) - [c116]Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin:
Formally Verified EVM Block-Optimizations. CAV (3) 2023: 176-189 - [c115]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Inferring Needless Write Memory Accesses on Ethereum Bytecode. TACAS (1) 2023: 448-466 - [i18]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Inferring Needless Write Memory Accesses on Ethereum Bytecode (Extended Version). CoRR abs/2301.04757 (2023) - 2022
- [j39]Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio, Maria Anna Schett:
Super-optimization of Smart Contracts. ACM Trans. Softw. Eng. Methodol. 31(4): 70:1-70:29 (2022) - [c114]Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez:
When COSTA Met KeY: Verified Cost Bounds. The Logic of Software. A Tasting Menu of Formal Methods 2022: 19-37 - [c113]Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio:
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. IJCAR 2022: 3-7 - [c112]Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio:
Distilling Constraints in Zero-Knowledge Protocols. CAV (1) 2022: 430-443 - [c111]Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio:
A Max-SMT Superoptimizer for EVM handling Memory and Storage. TACAS (1) 2022: 201-219 - 2021
- [j38]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva:
Actor-based model checking for Software-Defined Networks. J. Log. Algebraic Methods Program. 118: 100617 (2021) - [j37]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Don't run on fumes - Parametric gas bounds for smart contracts. J. Syst. Softw. 176: 110923 (2021) - [c110]Elvira Albert, Samir Genaim, Enrique Martin-Martin, Alicia Merayo, Albert Rubio:
Lower-Bound Synthesis Using Loop Specialization and Max-SMT. CAV (2) 2021: 863-886 - [c109]Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel:
Certified Abstract Cost Analysis. FASE 2021: 24-45 - 2020
- [j36]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell. Fundam. Informaticae 177(3-4): 203-234 (2020) - [j35]Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv:
Taming callbacks for smart contract modularity. Proc. ACM Program. Lang. 4(OOPSLA): 209:1-209:30 (2020) - [j34]Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin:
A Transformational Approach to Resource Analysis with Typed-norms Inference. Theory Pract. Log. Program. 20(3): 310-357 (2020) - [c108]Elvira Albert, Pablo Gordillo, Albert Rubio, Maria Anna Schett:
Synthesis of Super-Optimized Smart Contracts Using Max-SMT. CAV (1) 2020: 177-200 - [c107]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Smart, and also Reliable and Gas-Efficient, Contracts. ICST 2020: 2 - [c106]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. TACAS (2) 2020: 118-125 - [e8]Elvira Albert, Laura Kovács:
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020. EPiC Series in Computing 73, EasyChair 2020 [contents] - [i17]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva:
Actor-Based Model Checking for SDN Networks. CoRR abs/2001.10022 (2020) - [i16]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph. CoRR abs/2004.14437 (2020)
2010 – 2019
- 2019
- [j33]Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Peak resource analysis of concurrent distributed systems. J. Syst. Softw. 149: 35-62 (2019) - [j32]Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio:
Resource Analysis driven by (Conditional) Termination Proofs. Theory Pract. Log. Program. 19(5-6): 722-739 (2019) - [c105]Elvira Albert, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Miguel Isabel, Peter J. Stuckey:
Optimal context-sensitive dynamic partial order reduction with observers. ISSTA 2019: 352-362 - [c104]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: a safety verifier for Ethereum smart contracts. ISSTA 2019: 386-389 - [c103]Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey:
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis. VECoS 2019: 63-78 - [i15]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
SAFEVM: A Safety Verifier for Ethereum Smart Contracts. CoRR abs/1906.04984 (2019) - [i14]Elvira Albert, Miquel Bofill, Cristina Borralleras, Enrique Martin-Martin, Albert Rubio:
Resource Analysis driven by (Conditional) Termination Proofs. CoRR abs/1907.10096 (2019) - [i13]Elvira Albert, Samir Genaim, Raúl Gutiérrez, Enrique Martin-Martin:
A Transformational Approach to Resource Analysis with Typed-norms Inference. CoRR abs/1908.02078 (2019) - [i12]Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio:
GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts. CoRR abs/1912.11929 (2019) - 2018
- [j31]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Systematic testing of actor systems. Softw. Test. Verification Reliab. 28(3) (2018) - [j30]Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez:
Parallel Cost Analysis. ACM Trans. Comput. Log. 19(4): 31:1-31:37 (2018) - [c102]Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. ATVA 2018: 513-520 - [c101]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio:
Constrained Dynamic Partial Order Reduction. CAV (2) 2018: 392-410 - [c100]Elvira Albert, Miguel Gómez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva:
SDN-Actors: Modeling and Verification of SDN Programs. FM 2018: 550-567 - [i11]Elvira Albert, Pablo Gordillo, Benjamin Livshits, Albert Rubio, Ilya Sergey:
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. CoRR abs/1805.07208 (2018) - [i10]Elvira Albert, Pablo Gordillo, Albert Rubio, Ilya Sergey:
GASTAP: A Gas Analyzer for Smart Contracts. CoRR abs/1811.10403 (2018) - 2017
- [j29]Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. J. Autom. Reason. 59(1): 47-85 (2017) - [j28]Elvira Albert:
Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15). Sci. Comput. Program. 147: 1-2 (2017) - [c99]Elvira Albert, Samir Genaim, Pablo Gordillo:
May-Happen-in-Parallel Analysis with Returned Futures. ATVA 2017: 42-58 - [c98]Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey:
Context-Sensitive Dynamic Partial Order Reduction. CAV (1) 2017: 526-543 - [c97]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
Generation of Initial Contexts for Effective Deadlock Detection. LOPSTR 2017: 3-19 - [c96]Elvira Albert, Pablo C. Cañizares, Esther Guerra, Juan de Lara, Esperanza Marcos, Manuel Núñez, Guillermo Román-Díez, Juan Manuel Vara, Damiano Zanardini:
SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools. STAF Workshops 2017: 367-374 - [i9]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
On the Generation of Initial Contexts for Effective Deadlock Detection. CoRR abs/1709.04255 (2017) - 2016
- [j27]Damiano Zanardini, Elvira Albert, Karina Villela:
Resource-usage-aware configuration in software product lines. J. Log. Algebraic Methods Program. 85(1): 173-199 (2016) - [j26]Elvira 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. Softw. Syst. Model. 15(4): 987-1012 (2016) - [j25]Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
May-Happen-in-Parallel Analysis for Actor-Based Concurrency. ACM Trans. Comput. Log. 17(2): 11 (2016) - [c95]Elvira Albert, Jesús Correas, Guillermo Román-Díez:
Resource Analysis of Distributed Systems. Theory and Practice of Formal Methods 2016: 33-46 - [c94]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
SYCO: a systematic testing tool for concurrent objects. CC 2016: 269-270 - [c93]Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel:
Combining Static Analysis and Testing for Deadlock Detection. IFM 2016: 409-424 - [c92]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. LOPSTR 2016: 21-37 - [c91]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Testing of concurrent and imperative software using CLP. PPDP 2016: 1-8 - [e7]Elvira Albert, Ivan Lanese:
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. Lecture Notes in Computer Science 9688, Springer 2016, ISBN 978-3-319-39569-2 [contents] - [i8]Elvira Albert, Nikolaos Bezirgiannis, Frank S. de Boer, Enrique Martin-Martin:
A Formal, Resource Consumption-Preserving Translation of Actors to Haskell. CoRR abs/1608.02896 (2016) - 2015
- [j24]Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez:
Quantified abstract configurations of distributed systems. Formal Aspects Comput. 27(4): 665-699 (2015) - [j23]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
A practical comparator of cost functions and its applications. Sci. Comput. Program. 111: 483-504 (2015) - [j22]Elvira 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. Softw. Test. Verification Reliab. 25(3): 218-271 (2015) - [j21]Elvira 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. Theor. Comput. Sci. 585: 91-114 (2015) - [c90]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Test Case Generation of Actor Systems. ATVA 2015: 259-275 - [c89]Elvira 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. FM 2015: 3-17 - [c88]Elvira Albert, Antonio Flores-Montoya, Samir Genaim:
May-Happen-in-Parallel Analysis with Condition Synchronization. FOPARA 2015: 1-19 - [c87]Elvira Albert, Samir Genaim, Pablo Gordillo:
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. SAS 2015: 72-89 - [c86]Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez:
Parallel Cost Analysis of Distributed Systems. SAS 2015: 275-292 - [c85]Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez:
Non-cumulative Resource Analysis. TACAS 2015: 85-100 - [e6]Moreno Falaschi, Elvira Albert:
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. ACM 2015, ISBN 978-1-4503-3516-4 [contents] - 2014
- [j20]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez:
Conditional termination of loops over heap-allocated data. Sci. Comput. Program. 92: 2-24 (2014) - [j19]Elvira Albert, Shin-Cheng Mu:
Selected and extended papers from Partial Evaluation and Program Manipulation 2013. Sci. Comput. Program. 95: 147-148 (2014) - [j18]Elvira 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. Serv. Oriented Comput. Appl. 8(4): 323-339 (2014) - [c84]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing. FORTE 2014: 49-65 - [c83]Elvira Albert, Jesús Correas Fernández, Enrique Martin-Martin, Guillermo Román-Díez:
Static Inference of Transmission Data Sizes in Distributed Systems. ISoLA (2) 2014: 104-119 - [c82]Elvira Albert, Jesús Correas Fernández, Guillermo Román-Díez:
Peak Cost Analysis of Distributed Systems. SAS 2014: 18-33 - [c81]Elvira 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. SFM 2014: 263-309 - [c80]Elvira 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. TACAS 2014: 562-567 - [e5]Elvira Albert, Emil Sekerinski:
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science 8739, Springer 2014, ISBN 978-3-319-10180-4 [contents] - 2013
- [j17]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
Heap space analysis for garbage collected languages. Sci. Comput. Program. 78(9): 1427-1448 (2013) - [j16]Elvira Albert, Samir Genaim, Abu Naser Masud:
On the Inference of Resource Usage Upper and Lower Bounds. ACM Trans. Comput. Log. 14(3): 22:1-22:35 (2013) - [j15]Elvira 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. Theory Pract. Log. Program. 13(4-5): 721-735 (2013) - [c79]Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin:
Termination and Cost Analysis of Loops with Concurrent Interleavings. ATVA 2013: 349-364 - [c78]Antonio Flores-Montoya, Elvira Albert, Samir Genaim:
May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects. FMOODS/FORTE 2013: 273-288 - [c77]Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Quantified Abstractions of Distributed Systems. IFM 2013: 285-300 - [c76]Elvira Albert, Samir Genaim, Raúl Gutiérrez:
A Transformational Approach to Resource Analysis with Typed-Norms. LOPSTR 2013: 38-53 - [c75]Elvira Albert, Samir Genaim, Enrique Martin-Martin:
May-Happen-in-Parallel Analysis for Priority-Based Scheduling. LPAR 2013: 18-34 - [c74]Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve:
Engineering virtualized services. NordiCloud 2013: 59-63 - [c73]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, Peter Y. H. Wong:
aPET: a test case generation tool for concurrent objects. ESEC/SIGSOFT FSE 2013: 595-598 - [e4]Elvira Albert:
Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7844, Springer 2013, ISBN 978-3-642-38196-6 [contents] - [e3]Elvira Albert, Shin-Cheng Mu:
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013. ACM 2013, ISBN 978-1-4503-1842-6 [contents] - 2012
- [j14]Peter 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. Int. J. Softw. Tools Technol. Transf. 14(5): 567-588 (2012) - [j13]Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini:
Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413(1): 142-159 (2012) - [j12]Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo:
Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. 12(3): 283-318 (2012) - [c72]Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez:
Verified Resource Guarantees for Heap Manipulating Programs. FASE 2012: 130-145 - [c71]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:
Automatic Inference of Bounds on Resource Consumption. FMCO 2012: 119-144 - [c70]Elvira Albert, Bjarte M. Østvold, José Miguel Rojas:
Automated Extraction of Abstract Behavioural Models from JMS Applications. FMICS 2012: 16-31 - [c69]Elvira Albert, Antonio Flores-Montoya, Samir Genaim:
Analysis of May-Happen-in-Parallel in Concurrent Objects. FMOODS/FORTE 2012: 35-51 - [c68]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Towards Testing Concurrent Objects in CLP. ICLP (Technical Communications) 2012: 98-108 - [c67]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla:
Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11 - [c66]Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa:
Symbolic Execution of Concurrent Objects in CLP. PADL 2012: 123-137 - [c65]Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Incremental resource usage analysis. PEPM 2012: 25-34 - [c64]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla:
COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154 - [c63]Elvira Albert, Antonio Flores-Montoya, Samir Genaim:
MayPar: a may-happen-in-parallel analyzer for concurrent objects. SIGSOFT FSE 2012: 14 - 2011
- [j11]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reason. 46(2): 161-203 (2011) - [j10]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient local unfolding with ancestor stacks. Theory Pract. Log. Program. 11(1): 1-32 (2011) - [c62]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla:
Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254 - [c61]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM 2011: 353-368 - [c60]Elvira Albert, Puri Arenas, Samir Genaim, Damiano Zanardini:
Task-level analysis for a language with async/finish parallelism. LCTES 2011: 21-30 - [c59]Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas:
Resource-Driven CLP-Based Test Case Generation. LOPSTR 2011: 25-41 - [c58]Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
Verified resource guarantees using COSTA and KeY. PEPM 2011: 73-76 - [c57]Elvira Albert, Samir Genaim, Abu Naser Masud:
More Precise Yet Widely Applicable Cost Analysis. VMCAI 2011: 38-53 - [c56]Elvira Albert, Israel Cabanas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutierrez:
jPET: An Automatic Test-Case Generator for Java. WCRE 2011: 441-442 - 2010
- [j9]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Test case generation for object-oriented imperative languages in CLP. Theory Pract. Log. Program. 10(4-6): 659-674 (2010) - [c55]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa:
Parametric inference of memory requirements for garbage collected languages. ISMM 2010: 121-130 - [c54]Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla:
Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116 - [c53]Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla:
PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM 2010: 25-28 - [c52]