Elvira Albert
Orcid: 0000-0003-0048-0705Affiliations:
- Complutense University of Spain
According to our database1,
Elvira Albert
authored at least 162 papers
between 1998 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Optimal dynamic partial order reduction with context-sensitive independence and observers.
J. Syst. Softw., August, 2023
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks.
IEEE Trans. Dependable Secur. Comput., 2023
CoRR, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
2021
J. Syst. Softw., 2021
J. Log. Algebraic Methods Program., 2021
Proceedings of the Fundamental Approaches to Software Engineering, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Theory Pract. Log. Program., 2020
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell.
Fundam. Informaticae, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Theory Pract. Log. Program., 2019
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15).
Sci. Comput. Program., 2017
J. Autom. Reason., 2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
2016
ACM Trans. Comput. Log., 2016
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., 2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
Proceedings of the 25th International Conference on Compiler Construction, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
2015
A multi-domain incremental analysis engine and its application to incremental resource analysis.
Theor. Comput. Sci., 2015
Softw. Test. Verification Reliab., 2015
Sci. Comput. Program., 2015
Formal Aspects Comput., 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization.
Proceedings of the Static Analysis - 22nd International Symposium, 2015
Proceedings of the Static Analysis - 22nd International Symposium, 2015
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the Automated Technology for Verification and Analysis, 2015
2014
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
Serv. Oriented Comput. Appl., 2014
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency.
Proceedings of the Formal Methods for Executable Software Models, 2014
Proceedings of the Static Analysis - 21st International Symposium, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
2013
ACM Trans. Comput. Log., 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Proceedings of the Formal Techniques for Distributed Systems, 2013
Proceedings of the Automated Technology for Verification and Analysis, 2013
2012
Theory Pract. Log. Program., 2012
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
Int. J. Softw. Tools Technol. Transf., 2012
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012
Proceedings of the Practical Aspects of Declarative Languages, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
Proceedings of the Formal Methods for Industrial Critical Systems, 2012
Proceedings of the Formal Methods for Components and Objects, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
Proceedings of the 18th Working Conference on Reverse Engineering, 2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011
Proceedings of the FM 2011: Formal Methods, 2011
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
2010
Theory Pract. Log. Program., 2010
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis.
Proceedings of the Static Analysis - 17th International Symposium, 2010
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010
Proceedings of the Logic-Based Program Synthesis and Transformation, 2010
Proceedings of the 9th International Symposium on Memory Management, 2010
2009
Inf. Softw. Technol., 2009
Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009
Proceedings of the 8th International Symposium on Memory Management, 2009
Proceedings of the Foundations of Security Analysis and Design V, 2009
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009
2008
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008
Proceedings of the Static Analysis, 15th International Symposium, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the Logic-Based Program Synthesis and Transformation, 2008
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008
2007
Proceedings of the Second Workshop on Bytecode Semantics, 2007
Proceedings of the Second Workshop on Bytecode Semantics, 2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007
Proceedings of the 6th International Symposium on Memory Management, 2007
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
Proceedings of the Programming Languages and Systems, 2007
2006
Proceedings of the Static Analysis, 13th International Symposium, 2006
Proceedings of the Logic for Programming, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
2005
J. Symb. Comput., 2005
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005
Proceedings of the 15th International Workshop on Logic Programming Environments, 2005
Proceedings of the Logic Based Program Synthesis and Transformation, 2005
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates.
Proceedings of the Logic Based Program Synthesis and Transformation, 2005
2004
Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, 2004
Experiments in abstract interpretation-based code certification for pervasive systems.
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the Logic Based Program Synthesis and Transformation, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
2003
Inf. Process. Lett., 2003
Time Equations for Lazy Functional (Logic) Languages.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
J. Funct. Log. Program., 2002
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002
Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
New Gener. Comput., 2001
Proceedings of the Logic Based Program Synthesis and Transformation, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
2000
Realistic Program Specialization in a Multi-Paradigm Language.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
List-Processing Optimizations in a Multi-Paradigm Declarative Language.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation.
Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Proceedings of the Logic Based Program Synthesis and Transformation, 2000
Measuring the Effectiveness of Partial Evaluation.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000
Proceedings of the Advances in Computing Science, 2000
1999
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999
1998
Proceedings of the Static Analysis, 5th International Symposium, 1998
Polygenetic Partial Evaluation of Lazy Functional Logic Programs.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998