×
Author ID: albert.elvira Recent zbMATH articles by "Albert, Elvira"
Published as: Albert, Elvira; Albert, E.
External Links: MGP

Publications by Year

Citations contained in zbMATH Open

44 Publications have been cited 218 times in 130 Documents Cited by Year
Cost analysis of object-oriented bytecode programs. Zbl 1236.68042
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Zanardini, Damiano
33
2012
Closed-form upper bounds in static cost analysis. Zbl 1213.68200
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán
24
2011
Operational semantics for declarative multi-paradigm languages. Zbl 1129.68042
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán
19
2005
A practical partial evaluation scheme for multi-paradigm declarative languages. Zbl 1037.68011
Albert, Elvira; Hanus, Michael; Vidal, Germán
10
2002
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
10
2002
Automatic inference of upper bounds for recurrence relations in cost analysis. Zbl 1149.68345
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán
10
2008
On the inference of resource usage upper and lower bounds. Zbl 1353.68045
Albert, Elvira; Genaim, Samir; Masud, Abu Naser
8
2013
Abstraction-carrying code. Zbl 1108.68484
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
8
2005
Improving control in functional logic program specialization. Zbl 0911.68036
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.
7
1998
Non-leftmost unfolding in partial evaluation of logic programs with impure predicates. Zbl 1156.68324
Albert, Elvira; Puebla, Germán; Gallagher, John P.
6
2006
More precise yet widely applicable cost analysis. Zbl 1317.68027
Albert, Elvira; Genaim, Samir; Masud, Abu Naser
6
2011
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo
5
2018
Termination and cost analysis of loops with concurrent interleavings. Zbl 1410.68080
Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique
5
2013
Efficient local unfolding with ancestor stacks for full Prolog. Zbl 1134.68335
Puebla, Germán; Albert, Elvira; Hermenegildo, Manuel
5
2005
Test case generation for object-oriented imperative languages in CLP. Zbl 1209.68093
Gómez-Zamalloa, Miguel; Albert, Elvira; Puebla, Germán
5
2010
Abstract interpretation with specialized definitions. Zbl 1225.68076
Puebla, Germán; Albert, Elvira; Hermenegildo, Manuel
4
2006
Type-based homeomorphic embedding for online termination. Zbl 1205.68508
Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán
4
2009
Comparing cost functions in resource analysis. Zbl 1305.68051
Albert, Elvira; Arenas, Puri; Genaim, Samir; Herraiz, Israel; Puebla, German
4
2010
A practical partial evaluator for a multi-paradigm declarative language. Zbl 0977.68593
Albert, Elvira; Hanus, Michael; Vidal, Germán
3
2001
Using an abstract representation to specialize functional logic programs. Zbl 0988.68516
Albert, Elvira; Hanus, Michael; Vidal, Germán
3
2000
Quantified abstract configurations of distributed systems. Zbl 1319.68023
Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo
3
2015
Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101
Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert
3
2019
Context-sensitive dynamic partial order reduction. Zbl 1494.68047
Albert, Elvira; Arenas, Puri; de la Banda, María García; Gómez-Zamalloa, Miguel; Stuckey, Peter J.
3
2017
Measuring the effectiveness of partial evaluation in functional logic languages. Zbl 1018.68500
Albert, Elvira; Antoy, Sergio; Vidal, Germán
3
2001
Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
3
2008
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. Zbl 1339.68004
3
2016
A transformational approach to resource analysis with typed-norms. Zbl 1453.68041
Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl
2
2014
Test data generation of bytecode by CLP partial evaluation. Zbl 1185.68146
Albert, Elvira; Gómez-Zamalloa, Miguel; Puebla, Germán
2
2009
Rely-guarantee termination and cost analyses of loops with concurrent interleavings. Zbl 1409.68071
Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique
2
2017
A residualizing semantics for the partial evaluation of functional logic programs. Zbl 1042.68023
Albert, Elvira; Hanus, Michael; Vidal, Germán
1
2003
A formal, resource consumption-preserving translation of actors to Haskell. Zbl 1485.68049
Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique
1
2017
Automatic inference of resource consumption bounds. Zbl 1352.68048
Albert, Elvira; Arenas, Puri; Genaim, Samir; Gómez-Zamalloa, Miguel; Puebla, Germán
1
2012
A transformational approach to resource analysis with typed-norms inference. Zbl 1472.68033
Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl; Martin-Martin, Enrique
1
2020
Test case generation of actor systems. Zbl 1471.68050
Albert, Elvira; Arenas, Puri; Gómez-Zamalloa, Miguel
1
2015
Type-based homeomorphic embedding and its applications to online partial evaluation. Zbl 1179.68031
Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán
1
2008
Towards testing concurrent objects in CLP. Zbl 1281.68074
Albert, Elvira; Arenas, Puri; Gómez-Zamalloa, Miguel
1
2012
Symbolic profiling for multi-paradigm declarative languages. Zbl 1073.68545
Albert, Elvira; Vidal, Germán
1
2002
Reduced certificates for abstraction-carrying code. Zbl 1131.68363
Albert, Elvira; Arenas, Puri; Puebla, Germán; Hermenegildo, Manuel
1
2006
Resource-driven CLP-based test case generation. Zbl 1377.68059
Albert, Elvira; Gómez-Zamalloa, Miguel; Rojas, José Miguel
1
2012
From object fields to local variables: a practical approach to field-sensitive analysis. Zbl 1306.68016
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Ramírez Deantes, Diana Vanessa
1
2010
Actor-based model checking for software-defined networks. Zbl 1455.68101
Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra
1
2021
Lower-bound synthesis using loop specialization and Max-SMT. Zbl 1493.68098
Albert, Elvira; Genaim, Samir; Martin-Martin, Enrique; Merayo, Alicia; Rubio, Albert
1
2021
SDN-actors: modeling and verification of SDN programs. Zbl 1460.68052
Albert, Elvira; Gómez-Zamalloa, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra
1
2018
Resource analysis of distributed systems. Zbl 1475.68034
Albert, Elvira; Correas, Jesús; Román-Díez, Guillermo
1
2016
Actor-based model checking for software-defined networks. Zbl 1455.68101
Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra
1
2021
Lower-bound synthesis using loop specialization and Max-SMT. Zbl 1493.68098
Albert, Elvira; Genaim, Samir; Martin-Martin, Enrique; Merayo, Alicia; Rubio, Albert
1
2021
A transformational approach to resource analysis with typed-norms inference. Zbl 1472.68033
Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl; Martin-Martin, Enrique
1
2020
Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101
Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert
3
2019
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo
5
2018
SDN-actors: modeling and verification of SDN programs. Zbl 1460.68052
Albert, Elvira; Gómez-Zamalloa, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra
1
2018
Context-sensitive dynamic partial order reduction. Zbl 1494.68047
Albert, Elvira; Arenas, Puri; de la Banda, María García; Gómez-Zamalloa, Miguel; Stuckey, Peter J.
3
2017
Rely-guarantee termination and cost analyses of loops with concurrent interleavings. Zbl 1409.68071
Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique
2
2017
A formal, resource consumption-preserving translation of actors to Haskell. Zbl 1485.68049
Albert, Elvira; Bezirgiannis, Nikolaos; de Boer, Frank; Martin-Martin, Enrique
1
2017
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. Zbl 1339.68004
3
2016
Resource analysis of distributed systems. Zbl 1475.68034
Albert, Elvira; Correas, Jesús; Román-Díez, Guillermo
1
2016
Quantified abstract configurations of distributed systems. Zbl 1319.68023
Albert, Elvira; Correas, Jesús; Puebla, Germán; Román-Díez, Guillermo
3
2015
Test case generation of actor systems. Zbl 1471.68050
Albert, Elvira; Arenas, Puri; Gómez-Zamalloa, Miguel
1
2015
A transformational approach to resource analysis with typed-norms. Zbl 1453.68041
Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl
2
2014
On the inference of resource usage upper and lower bounds. Zbl 1353.68045
Albert, Elvira; Genaim, Samir; Masud, Abu Naser
8
2013
Termination and cost analysis of loops with concurrent interleavings. Zbl 1410.68080
Albert, Elvira; Flores-Montoya, Antonio; Genaim, Samir; Martin-Martin, Enrique
5
2013
Cost analysis of object-oriented bytecode programs. Zbl 1236.68042
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Zanardini, Damiano
33
2012
Automatic inference of resource consumption bounds. Zbl 1352.68048
Albert, Elvira; Arenas, Puri; Genaim, Samir; Gómez-Zamalloa, Miguel; Puebla, Germán
1
2012
Towards testing concurrent objects in CLP. Zbl 1281.68074
Albert, Elvira; Arenas, Puri; Gómez-Zamalloa, Miguel
1
2012
Resource-driven CLP-based test case generation. Zbl 1377.68059
Albert, Elvira; Gómez-Zamalloa, Miguel; Rojas, José Miguel
1
2012
Closed-form upper bounds in static cost analysis. Zbl 1213.68200
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán
24
2011
More precise yet widely applicable cost analysis. Zbl 1317.68027
Albert, Elvira; Genaim, Samir; Masud, Abu Naser
6
2011
Test case generation for object-oriented imperative languages in CLP. Zbl 1209.68093
Gómez-Zamalloa, Miguel; Albert, Elvira; Puebla, Germán
5
2010
Comparing cost functions in resource analysis. Zbl 1305.68051
Albert, Elvira; Arenas, Puri; Genaim, Samir; Herraiz, Israel; Puebla, German
4
2010
From object fields to local variables: a practical approach to field-sensitive analysis. Zbl 1306.68016
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, German; Ramírez Deantes, Diana Vanessa
1
2010
Type-based homeomorphic embedding for online termination. Zbl 1205.68508
Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán
4
2009
Test data generation of bytecode by CLP partial evaluation. Zbl 1185.68146
Albert, Elvira; Gómez-Zamalloa, Miguel; Puebla, Germán
2
2009
Automatic inference of upper bounds for recurrence relations in cost analysis. Zbl 1149.68345
Albert, Elvira; Arenas, Puri; Genaim, Samir; Puebla, Germán
10
2008
Abstraction-carrying code: a model for mobile code safety. Zbl 1169.68356
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
3
2008
Type-based homeomorphic embedding and its applications to online partial evaluation. Zbl 1179.68031
Albert, Elvira; Gallagher, John; Gómez-Zamalloa, Miguel; Puebla, Germán
1
2008
Non-leftmost unfolding in partial evaluation of logic programs with impure predicates. Zbl 1156.68324
Albert, Elvira; Puebla, Germán; Gallagher, John P.
6
2006
Abstract interpretation with specialized definitions. Zbl 1225.68076
Puebla, Germán; Albert, Elvira; Hermenegildo, Manuel
4
2006
Reduced certificates for abstraction-carrying code. Zbl 1131.68363
Albert, Elvira; Arenas, Puri; Puebla, Germán; Hermenegildo, Manuel
1
2006
Operational semantics for declarative multi-paradigm languages. Zbl 1129.68042
Albert, Elvira; Hanus, Michael; Huch, Frank; Oliver, Javier; Vidal, Germán
19
2005
Abstraction-carrying code. Zbl 1108.68484
Albert, Elvira; Puebla, Germán; Hermenegildo, Manuel
8
2005
Efficient local unfolding with ancestor stacks for full Prolog. Zbl 1134.68335
Puebla, Germán; Albert, Elvira; Hermenegildo, Manuel
5
2005
A residualizing semantics for the partial evaluation of functional logic programs. Zbl 1042.68023
Albert, Elvira; Hanus, Michael; Vidal, Germán
1
2003
A practical partial evaluation scheme for multi-paradigm declarative languages. Zbl 1037.68011
Albert, Elvira; Hanus, Michael; Vidal, Germán
10
2002
The narrowing-driven approach to functional logic program specialization. Zbl 1016.68024
Albert, Elvira; Vidal, Germán
10
2002
Symbolic profiling for multi-paradigm declarative languages. Zbl 1073.68545
Albert, Elvira; Vidal, Germán
1
2002
A practical partial evaluator for a multi-paradigm declarative language. Zbl 0977.68593
Albert, Elvira; Hanus, Michael; Vidal, Germán
3
2001
Measuring the effectiveness of partial evaluation in functional logic languages. Zbl 1018.68500
Albert, Elvira; Antoy, Sergio; Vidal, Germán
3
2001
Using an abstract representation to specialize functional logic programs. Zbl 0988.68516
Albert, Elvira; Hanus, Michael; Vidal, Germán
3
2000
Improving control in functional logic program specialization. Zbl 0911.68036
Albert, E.; Alpuente, M.; Falaschi, M.; Julián, P.; Vidal, G.
7
1998
all top 5

Cited by 209 Authors

24 Albert, Elvira
17 Vidal, Germán
13 Puebla, Germán
11 Hermenegildo, Manuel V.
10 Genaim, Samir
7 Giesl, Jürgen
7 Martin-Martin, Enrique
6 Gallagher, John P.
6 Gómez-Zamalloa, Miguel
6 Hanus, Michael
5 Antoy, Sergio
5 Frohn, Florian
5 López-García, Pedro
5 Morales, Jose Francisco
5 Nishida, Naoki
4 Alpuente, María
4 Escobar, Santiago
4 Hensel, Jera
4 López-Fraguas, Francisco Javier
4 Moser, Georg
4 Rodríguez-Hortalá, Juan
4 Zuleger, Florian
3 Arenas, Puri
3 Braßel, Bernd
3 Flores-Montoya, Antonio
3 Fuhs, Carsten
3 Klemen, Maximiliano
3 Leuschel, Michael
3 Ochoa, Claudio
3 Román-Díez, Guillermo
3 Rubio, Albert
3 Sánchez-Hernández, Jaime
3 Ströder, Thomas
3 Zanardini, Damiano
2 Aschermann, Cornelius
2 Ballis, Demis
2 Barthe, Gilles
2 Beringer, Lennart
2 Brockschmidt, Marc
2 Christiansen, Jan
2 Correas, Jesús
2 Cruz-Filipe, Luís
2 De Angelis, Emanuele
2 Fioravanti, Fabio
2 Fischer, Sebastian
2 García-Contreras, Isabel
2 Gutiérrez, Raúl
2 Hähnle, Reiner
2 Hainry, Emmanuel
2 Hoffmann, Jan-Philipp
2 Hofmann, Martin
2 Huch, Frank
2 Leutgeb, Lorenz
2 Liqat, Umer
2 Merayo, Alicia
2 Meseguer Guaita, José
2 Meyer, Fabian
2 Montesi, Fabrizio
2 Moreno, Ginés
2 Péchoux, Romain
2 Peressotti, Marco
2 Pettorossi, Alberto
2 Pichardie, David
2 Proietti, Maurizio
2 Sapiña, Julia
2 Silva, Josep
2 Stuckey, Peter James
2 Tamarit, Salvador
2 Uustalu, Tarmo
1 Agarwal, Pratyush
1 Aktug, Irem
1 Ali, Muhammad Rizwan
1 Arroyo, Gustavo
1 Baillot, Patrick
1 Baudon, Thaïs
1 Ben-Amram, Amir M.
1 Besson, Frédéric
1 Bezirgiannis, Nikolaos
1 Bofill, Miquel
1 Bonsangue, Marcello Maria
1 Borralleras, Cristina
1 Bozzelli, Laura
1 Brogi, Antonio
1 Bubel, Richard
1 Bueno, Francisco
1 Carette, Jacques
1 Carro, Manuel
1 Casso, Ignacio
1 Chang, Bor-Yuh Evan
1 Charguéraud, Arthur
1 Chatterjee, Krishnendu
1 Chawdhary, Aziem
1 Collavizza, Hélène
1 Corradini, Andrea
1 Cortesi, Agostino
1 Costantini, Giulia
1 Cuenca-Ortega, Angel
1 Cyphert, John
1 Dam, Mads
1 Danner, Norman
...and 109 more Authors

Citations by Year