default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Samir Genaim
@inproceedings{DBLP:conf/cav/AlbertGKM23,
author = {Elvira Albert and
Samir Genaim and
Daniel Kirchner and
Enrique Martin{-}Martin},
editor = {Constantin Enea and
Akash Lal},
title = {Formally Verified {EVM} Block-Optimizations},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13966},
pages = {176--189},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37709-9\_9},
doi = {10.1007/978-3-031-37709-9\_9},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlbertGKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlbertGMR20,
author = {Elvira Albert and
Samir Genaim and
Alicia Merayo and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {When {COSTA} Met KeY: Verified Cost Bounds},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {19--37},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_2},
doi = {10.1007/978-3-031-08166-8\_2},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlbertGMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbertGMMR20,
author = {Elvira Albert and
Samir Genaim and
Enrique Martin{-}Martin and
Alicia Merayo and
Albert Rubio},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Lower-Bound Synthesis Using Loop Specialization and Max-SMT},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {863--886},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_40},
doi = {10.1007/978-3-030-81688-9\_40},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlbertGMMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04630,
author = {Jes{\'{u}}s J. Dom{\'{e}}nech and
Samir Genaim},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Termination Analysis of Programs with Multiphase Control-Flow},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {13--21},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.2},
doi = {10.4204/EPTCS.344.2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlbertGGM20,
author = {Elvira Albert and
Samir Genaim and
Ra{\'{u}}l Guti{\'{e}}rrez and
Enrique Martin{-}Martin},
title = {A Transformational Approach to Resource Analysis with Typed-norms
Inference},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {3},
pages = {310--357},
year = {2020},
url = {https://doi.org/10.1017/S1471068419000401},
doi = {10.1017/S1471068419000401},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/AlbertGGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DomenechGG19,
author = {Jes{\'{u}}s J. Dom{\'{e}}nech and
John P. Gallagher and
Samir Genaim},
title = {Control-Flow Refinement by Partial Evaluation, and its Application
to Termination and Cost Analysis},
journal = {Theory Pract. Log. Program.},
volume = {19},
number = {5-6},
pages = {990--1005},
year = {2019},
url = {https://doi.org/10.1017/S1471068419000310},
doi = {10.1017/S1471068419000310},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DomenechGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Ben-AmramDG19,
author = {Amir M. Ben{-}Amram and
Jes{\'{u}}s J. Dom{\'{e}}nech and
Samir Genaim},
editor = {Bor{-}Yuh Evan Chang},
title = {Multiphase-Linear Ranking Functions and Their Relation to Recurrent
Sets},
booktitle = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11822},
pages = {459--480},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32304-2\_22},
doi = {10.1007/978-3-030-32304-2\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/Ben-AmramDG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-12345,
author = {Jes{\'{u}}s J. Dom{\'{e}}nech and
John P. Gallagher and
Samir Genaim},
title = {Control-Flow Refinement by Partial Evaluation, and its Application
to Termination and Cost Analysis},
journal = {CoRR},
volume = {abs/1907.12345},
year = {2019},
url = {http://arxiv.org/abs/1907.12345},
eprinttype = {arXiv},
eprint = {1907.12345},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-12345.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-02078,
author = {Elvira Albert and
Samir Genaim and
Ra{\'{u}}l Guti{\'{e}}rrez and
Enrique Martin{-}Martin},
title = {A Transformational Approach to Resource Analysis with Typed-norms
Inference},
journal = {CoRR},
volume = {abs/1908.02078},
year = {2019},
url = {http://arxiv.org/abs/1908.02078},
eprinttype = {arXiv},
eprint = {1908.02078},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-02078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-07340,
author = {Amir M. Ben{-}Amram and
Jes{\'{u}}s Dom{\'{e}}nech and
Samir Genaim},
title = {Multiphase-Linear Ranking Functions and their Relation to Recurrent
Sets},
journal = {CoRR},
volume = {abs/1811.07340},
year = {2018},
url = {http://arxiv.org/abs/1811.07340},
eprinttype = {arXiv},
eprint = {1811.07340},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-07340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AlbertFGM17,
author = {Elvira Albert and
Antonio Flores{-}Montoya and
Samir Genaim and
Enrique Martin{-}Martin},
title = {Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent
Interleavings},
journal = {J. Autom. Reason.},
volume = {59},
number = {1},
pages = {47--85},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9400-6},
doi = {10.1007/S10817-016-9400-6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/AlbertFGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlbertGG17,
author = {Elvira Albert and
Samir Genaim and
Pablo Gordillo},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {May-Happen-in-Parallel Analysis with Returned Futures},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {42--58},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_3},
doi = {10.1007/978-3-319-68167-2\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AlbertGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Ben-AmramG17,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {On Multiphase-Linear Ranking Functions},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10427},
pages = {601--620},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63390-9\_32},
doi = {10.1007/978-3-319-63390-9\_32},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/Ben-AmramG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DomenechGJS17,
author = {Jes{\'{u}}s Dom{\'{e}}nech and
Samir Genaim and
Einar Broch Johnsen and
Rudolf Schlatte},
editor = {Marieke Huisman and
Julia Rubin},
title = {EasyInterface: {A} Toolkit for Rapid Development of GUIs for Research
Prototype Tools},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {379--383},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_22},
doi = {10.1007/978-3-662-54494-5\_22},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/DomenechGJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DomenechGJS17,
author = {Jes{\'{u}}s Dom{\'{e}}nech and
Samir Genaim and
Einar Broch Johnsen and
Rudolf Schlatte},
title = {EasyInterface: {A} toolkit for rapid development of GUIs for research
prototype tools},
journal = {CoRR},
volume = {abs/1702.00364},
year = {2017},
url = {http://arxiv.org/abs/1702.00364},
eprinttype = {arXiv},
eprint = {1702.00364},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DomenechGJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ben-AmramG17,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
title = {On Multiphase-Linear Ranking Functions},
journal = {CoRR},
volume = {abs/1703.07547},
year = {2017},
url = {http://arxiv.org/abs/1703.07547},
eprinttype = {arXiv},
eprint = {1703.07547},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ben-AmramG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AlbertBGHPR16,
author = {Elvira Albert and
Richard Bubel and
Samir Genaim and
Reiner H{\"{a}}hnle and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {A formal verification framework for static analysis - As well as its
instantiation to the resource analyzer {COSTA} and formal verification
tool KeY},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {987--1012},
year = {2016},
url = {https://doi.org/10.1007/s10270-015-0476-y},
doi = {10.1007/S10270-015-0476-Y},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/AlbertBGHPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlbertFGM16,
author = {Elvira Albert and
Antonio Flores{-}Montoya and
Samir Genaim and
Enrique Martin{-}Martin},
title = {May-Happen-in-Parallel Analysis for Actor-Based Concurrency},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {2},
pages = {11},
year = {2016},
url = {https://doi.org/10.1145/2824255},
doi = {10.1145/2824255},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AlbertFGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlbertAGP15,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
title = {A practical comparator of cost functions and its applications},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {483--504},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.12.001},
doi = {10.1016/J.SCICO.2014.12.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlbertAGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AlbertAFGGPR15,
author = {Elvira Albert and
Puri Arenas and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Object-sensitive cost analysis for concurrent objects},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {218--271},
year = {2015},
url = {https://doi.org/10.1002/stvr.1569},
doi = {10.1002/STVR.1569},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/AlbertAFGGPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Ben-AmramG15,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {304--321},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_18},
doi = {10.1007/978-3-319-21668-3\_18},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/Ben-AmramG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertACGGMPR15,
author = {Elvira Albert and
Puri Arenas and
Jes{\'{u}}s Correas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Enrique Martin{-}Martin and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Resource Analysis: From Sequential to Concurrent and Distributed Programs},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {3--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_1},
doi = {10.1007/978-3-319-19249-9\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlbertACGGMPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AlbertFG15,
author = {Elvira Albert and
Antonio Flores{-}Montoya and
Samir Genaim},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {May-Happen-in-Parallel Analysis with Condition Synchronization},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {1--19},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_1},
doi = {10.1007/978-3-319-46559-3\_1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/AlbertFG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GantyGLP15,
author = {Pierre Ganty and
Samir Genaim and
Ratan Lal and
Pavithra Prabhakar},
title = {From non-zenoness verification to termination},
booktitle = {13. {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2015, Austin, TX, USA, September 21-23, 2015},
pages = {228--237},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/MEMCOD.2015.7340490},
doi = {10.1109/MEMCOD.2015.7340490},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/GantyGLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nbis/AbrahamBBGJKPS15,
author = {Erika {\'{A}}brah{\'{a}}m and
Costas Bekas and
Ivona Brandic and
Samir Genaim and
Einar Broch Johnsen and
Ivan Kondov and
Sabri Pllana and
Achim Streit},
editor = {Leonard Barolli and
Makoto Takizawa and
Hui{-}Huang Hsu and
Tomoya Enokido and
Fatos Xhafa},
title = {Preparing {HPC} Applications for Exascale: Challenges and Recommendations},
booktitle = {18th International Conference on Network-Based Information Systems,
NBis 2015, Taipei, Taiwan, September 2-4, 2015},
pages = {401--406},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/NBiS.2015.61},
doi = {10.1109/NBIS.2015.61},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nbis/AbrahamBBGJKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbertGG15,
author = {Elvira Albert and
Samir Genaim and
Pablo Gordillo},
editor = {Sandrine Blazy and
Thomas P. Jensen},
title = {May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural
Synchronization},
booktitle = {Static Analysis - 22nd International Symposium, {SAS} 2015, Saint-Malo,
France, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9291},
pages = {72--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48288-9\_5},
doi = {10.1007/978-3-662-48288-9\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AlbertGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamBBGJKPS15,
author = {Erika {\'{A}}brah{\'{a}}m and
Costas Bekas and
Ivona Brandic and
Samir Genaim and
Einar Broch Johnsen and
Ivan Kondov and
Sabri Pllana and
Achim Streit},
title = {Preparing {HPC} Applications for Exascale: Challenges and Recommendations},
journal = {CoRR},
volume = {abs/1503.06974},
year = {2015},
url = {http://arxiv.org/abs/1503.06974},
eprinttype = {arXiv},
eprint = {1503.06974},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbrahamBBGJKPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ben-AmramG15,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
title = {Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions},
journal = {CoRR},
volume = {abs/1504.05018},
year = {2015},
url = {http://arxiv.org/abs/1504.05018},
eprinttype = {arXiv},
eprint = {1504.05018},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ben-AmramG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Ben-AmramG14,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
title = {Ranking Functions for Linear-Constraint Loops},
journal = {J. {ACM}},
volume = {61},
number = {4},
pages = {26:1--26:55},
year = {2014},
url = {https://doi.org/10.1145/2629488},
doi = {10.1145/2629488},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/Ben-AmramG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlbertAGPR14,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Conditional termination of loops over heap-allocated data},
journal = {Sci. Comput. Program.},
volume = {92},
pages = {2--24},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.04.006},
doi = {10.1016/J.SCICO.2013.04.006},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlbertAGPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ZanardiniG14,
author = {Damiano Zanardini and
Samir Genaim},
title = {Inference of Field-Sensitive Reachability and Cyclicity},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {4},
pages = {33:1--33:41},
year = {2014},
url = {https://doi.org/10.1145/2629478},
doi = {10.1145/2629478},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ZanardiniG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbertAFGGMPR14,
author = {Elvira Albert and
Puri Arenas and
Antonio Flores{-}Montoya and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Enrique Martin{-}Martin and
German Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {{SACO:} Static Analyzer for Concurrent Objects},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {562--567},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_46},
doi = {10.1007/978-3-642-54862-8\_46},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AlbertAFGGMPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlbertGG13,
author = {Elvira Albert and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa},
title = {Heap space analysis for garbage collected languages},
journal = {Sci. Comput. Program.},
volume = {78},
number = {9},
pages = {1427--1448},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.10.008},
doi = {10.1016/J.SCICO.2012.10.008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlbertGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GenaimZ13,
author = {Samir Genaim and
Damiano Zanardini},
title = {Reachability-based acyclicity analysis by Abstract Interpretation},
journal = {Theor. Comput. Sci.},
volume = {474},
pages = {60--79},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.12.018},
doi = {10.1016/J.TCS.2012.12.018},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GenaimZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AlbertGM13,
author = {Elvira Albert and
Samir Genaim and
Abu Naser Masud},
title = {On the Inference of Resource Usage Upper and Lower Bounds},
journal = {{ACM} Trans. Comput. Log.},
volume = {14},
number = {3},
pages = {22:1--22:35},
year = {2013},
url = {https://doi.org/10.1145/2499937.2499943},
doi = {10.1145/2499937.2499943},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/AlbertGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Alonso-BlasAG13,
author = {Diego Esteban Alonso{-}Blas and
Puri Arenas and
Samir Genaim},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Precise Cost Analysis via Local Reasoning},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {319--333},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_23},
doi = {10.1007/978-3-319-02444-8\_23},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/Alonso-BlasAG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/AlbertFGM13,
author = {Elvira Albert and
Antonio Flores{-}Montoya and
Samir Genaim and
Enrique Martin{-}Martin},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Termination and Cost Analysis of Loops with Concurrent Interleavings},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {349--364},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_25},
doi = {10.1007/978-3-319-02444-8\_25},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/AlbertFGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GantyG13,
author = {Pierre Ganty and
Samir Genaim},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Proving Termination Starting from the End},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {397--412},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_27},
doi = {10.1007/978-3-642-39799-8\_27},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/GantyG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Flores-MontoyaAG13,
author = {Antonio Flores{-}Montoya and
Elvira Albert and
Samir Genaim},
editor = {Dirk Beyer and
Michele Boreale},
title = {May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects},
booktitle = {Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1
International Conference, {FMOODS/FORTE} 2013, Held as Part of the
8th International Federated Conference on Distributed Computing Techniques,
DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {273--288},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38592-6\_19},
doi = {10.1007/978-3-642-38592-6\_19},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Flores-MontoyaAG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGG13,
author = {Elvira Albert and
Samir Genaim and
Ra{\'{u}}l Guti{\'{e}}rrez},
editor = {Gopal Gupta and
Ricardo Pe{\~{n}}a},
title = {A Transformational Approach to Resource Analysis with Typed-Norms},
booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International
Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8901},
pages = {38--53},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-14125-1\_3},
doi = {10.1007/978-3-319-14125-1\_3},
timestamp = {Wed, 26 Oct 2022 22:55:46 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertGM13,
author = {Elvira Albert and
Samir Genaim and
Enrique Martin{-}Martin},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {May-Happen-in-Parallel Analysis for Priority-Based Scheduling},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {18--34},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_2},
doi = {10.1007/978-3-642-45221-5\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AlbertGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Ben-AmramG13,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {On the linear ranking problem for integer linear-constraint loops},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {51--62},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429078},
doi = {10.1145/2429069.2429078},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Ben-AmramG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4539,
author = {Pierre Ganty and
Samir Genaim},
title = {Proving Termination Starting from the End},
journal = {CoRR},
volume = {abs/1302.4539},
year = {2013},
url = {http://arxiv.org/abs/1302.4539},
eprinttype = {arXiv},
eprint = {1302.4539},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZanardiniG13,
author = {Damiano Zanardini and
Samir Genaim},
title = {Inference of Field-Dependent Cyclicity},
journal = {CoRR},
volume = {abs/1306.6526},
year = {2013},
url = {http://arxiv.org/abs/1306.6526},
eprinttype = {arXiv},
eprint = {1306.6526},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZanardiniG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GenaimZ13a,
author = {Samir Genaim and
Damiano Zanardini},
title = {Corrigendum to "Reachability-based acyclicity analysis by abstract
interpretation" [Theoretical Computer Science 474 {(2013)} 60-79]},
journal = {Theor. Comput. Sci.},
volume = {503},
pages = {115},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.07.032},
doi = {10.1016/J.TCS.2013.07.032},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GenaimZ13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlbertAGPZ12,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
German Puebla and
Damiano Zanardini},
title = {Cost analysis of object-oriented bytecode programs},
journal = {Theor. Comput. Sci.},
volume = {413},
number = {1},
pages = {142--159},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.07.009},
doi = {10.1016/J.TCS.2011.07.009},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlbertAGPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ben-AmramGM12,
author = {Amir M. Ben{-}Amram and
Samir Genaim and
Abu Naser Masud},
title = {On the Termination of Integer Loops},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {4},
pages = {16:1--16:24},
year = {2012},
url = {https://doi.org/10.1145/2400676.2400679},
doi = {10.1145/2400676.2400679},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/Ben-AmramGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlbertBGHR12,
author = {Elvira Albert and
Richard Bubel and
Samir Genaim and
Reiner H{\"{a}}hnle and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Juan de Lara and
Andrea Zisman},
title = {Verified Resource Guarantees for Heap Manipulating Programs},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {130--145},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_10},
doi = {10.1007/978-3-642-28872-2\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/AlbertBGHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AlbertAACFGGMPRRZ12,
author = {Elvira Albert and
Diego Esteban Alonso{-}Blas and
Puri Arenas and
Jes{\'{u}}s Correas and
Antonio Flores{-}Montoya and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Abu Naser Masud and
German Puebla and
Jos{\'{e}} Miguel Rojas and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Damiano Zanardini},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Automatic Inference of Bounds on Resource Consumption},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {119--144},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_4},
doi = {10.1007/978-3-642-40615-7\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AlbertAACFGGMPRRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlbertFG12,
author = {Elvira Albert and
Antonio Flores{-}Montoya and
Samir Genaim},
editor = {Holger Giese and
Grigore Rosu},
title = {Analysis of May-Happen-in-Parallel in Concurrent Objects},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {35--51},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_3},
doi = {10.1007/978-3-642-30793-5\_3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/AlbertFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertAGGP12,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Automatic Inference of Resource Consumption Bounds},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {1--11},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_1},
doi = {10.1007/978-3-642-28717-6\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AlbertAGGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlbertAGGP12,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {{COSTABS:} a cost and termination analyzer for {ABS}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {151--154},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103774},
doi = {10.1145/2103746.2103774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertAGGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Alonso-BlasG12,
author = {Diego Esteban Alonso{-}Blas and
Samir Genaim},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {On the Limits of the Classical Approach to Cost Analysis},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {405--421},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_27},
doi = {10.1007/978-3-642-33125-1\_27},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/Alonso-BlasG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AlbertFG12,
author = {Elvira Albert and
Antonio Flores{-}Montoya and
Samir Genaim},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {MayPar: a may-happen-in-parallel analyzer for concurrent objects},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {14},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393611},
doi = {10.1145/2393596.2393611},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AlbertFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Ben-AmramGM12,
author = {Amir M. Ben{-}Amram and
Samir Genaim and
Abu Naser Masud},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {On the Termination of Integer Loops},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {72--87},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_6},
doi = {10.1007/978-3-642-27940-9\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Ben-AmramGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-2188,
author = {Samir Genaim and
Damiano Zanardini},
title = {Reachability-based Acyclicity Analysis by Abstract Interpretation},
journal = {CoRR},
volume = {abs/1206.2188},
year = {2012},
url = {http://arxiv.org/abs/1206.2188},
eprinttype = {arXiv},
eprint = {1206.2188},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-2188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-4041,
author = {Amir M. Ben{-}Amram and
Samir Genaim},
title = {On the Linear Ranking Problem for Integer Linear-Constraint Loops},
journal = {CoRR},
volume = {abs/1208.4041},
year = {2012},
url = {http://arxiv.org/abs/1208.4041},
eprinttype = {arXiv},
eprint = {1208.4041},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AlbertAGP11,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
title = {Closed-Form Upper Bounds in Static Cost Analysis},
journal = {J. Autom. Reason.},
volume = {46},
number = {2},
pages = {161--203},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9174-1},
doi = {10.1007/S10817-010-9174-1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/AlbertAGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AlbertAGGP11,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
German Puebla},
editor = {Hongseok Yang},
title = {Cost Analysis of Concurrent {OO} Programs},
booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
Kenting, Taiwan, December 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7078},
pages = {238--254},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25318-8\_19},
doi = {10.1007/978-3-642-25318-8\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/AlbertAGGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertGGJST11,
author = {Elvira Albert and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Einar Broch Johnsen and
Rudolf Schlatte and
Silvia Lizeth Tapia Tarifa},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {Simulating Concurrent Behaviors with Worst-Case Cost Bounds},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {353--368},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_27},
doi = {10.1007/978-3-642-21437-0\_27},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlbertGGJST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/AlbertAGZ11,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Damiano Zanardini},
editor = {Jan Vitek and
Bjorn De Sutter},
title = {Task-level analysis for a language with async/finish parallelism},
booktitle = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2011 conference on Languages,
compilers, and tools for embedded systems, {LCTES} 2011, Chicago,
IL, USA, April 11-14, 2011},
pages = {21--30},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967677.1967681},
doi = {10.1145/1967677.1967681},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lctrts/AlbertAGZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlbertBGHPR11,
author = {Elvira Albert and
Richard Bubel and
Samir Genaim and
Reiner H{\"{a}}hnle and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Siau{-}Cheng Khoo and
Jeremy G. Siek},
title = {Verified resource guarantees using {COSTA} and KeY},
booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
2011},
pages = {73--76},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929501.1929513},
doi = {10.1145/1929501.1929513},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertBGHPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AlbertGM11,
author = {Elvira Albert and
Samir Genaim and
Abu Naser Masud},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {More Precise Yet Widely Applicable Cost Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {38--53},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_5},
doi = {10.1007/978-3-642-18275-4\_5},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AlbertGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlonsoAG11,
author = {Diego Esteban Alonso{-}Blas and
Puri Arenas and
Samir Genaim},
editor = {Pierre Ganty and
Mark Marron},
title = {Handling Non-linear Operations in the Value Analysis of {COSTA}},
booktitle = {Proceedings of the Sixth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2011, Saarbr{\"{u}}cken,
Germany, March 27, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {279},
number = {1},
pages = {3--17},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.11.002},
doi = {10.1016/J.ENTCS.2011.11.002},
timestamp = {Fri, 10 Mar 2023 13:47:13 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlonsoAG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/AlbertGG10,
author = {Elvira Albert and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa},
editor = {Jan Vitek and
Doug Lea},
title = {Parametric inference of memory requirements for garbage collected
languages},
booktitle = {Proceedings of the 9th International Symposium on Memory Management,
{ISMM} 2010, Toronto, Ontario, Canada, June 5-6, 2010},
pages = {121--130},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806651.1806671},
doi = {10.1145/1806651.1806671},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwmm/AlbertGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbertAGPD10,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
German Puebla and
Diana V. Ram{\'{\i}}rez{-}Deantes},
editor = {Radhia Cousot and
Matthieu Martel},
title = {From Object Fields to Local Variables: {A} Practical Approach to Field-Sensitive
Analysis},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {100--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_7},
doi = {10.1007/978-3-642-15769-1\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AlbertAGPD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AlbertAAGP09,
author = {Elvira Albert and
Diego Esteban Alonso{-}Blas and
Puri Arenas and
Samir Genaim and
German Puebla},
editor = {Zhenjiang Hu},
title = {Asymptotic Resource Usage Bounds},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5904},
pages = {294--310},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_21},
doi = {10.1007/978-3-642-10672-9\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/AlbertAAGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertAGP09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Field-Sensitive Value Analysis by Field-Insensitive Analysis},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {370--386},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_24},
doi = {10.1007/978-3-642-05089-3\_24},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlbertAGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AlbertAGHP09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Israel Herraiz and
German Puebla},
editor = {Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Comparing Cost Functions in Resource Analysis},
booktitle = {Foundational and Practical Aspects of Resource Analysis - First International
Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6324},
pages = {1--17},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-15331-0\_1},
doi = {10.1007/978-3-642-15331-0\_1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/AlbertAGHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/AlbertAGPZ09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Alessandro Aldini and
Gilles Barthe and
Roberto Gorrieri},
title = {Resource Usage Analysis and Its Application to Resource Certification},
booktitle = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5705},
pages = {258--288},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03829-7\_9},
doi = {10.1007/978-3-642-03829-7\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fosad/AlbertAGPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/AlbertGG09,
author = {Elvira Albert and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa},
editor = {Hillel Kolodner and
Guy L. Steele Jr.},
title = {Live heap space analysis for languages with garbage collection},
booktitle = {Proceedings of the 8th International Symposium on Memory Management,
{ISMM} 2009, Dublin, Ireland, June 19-20, 2009},
pages = {129--138},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542431.1542450},
doi = {10.1145/1542431.1542450},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwmm/AlbertGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CodishGS09,
author = {Michael Codish and
Samir Genaim and
Peter J. Stuckey},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {A declarative encoding of telecommunications feature subscription
in {SAT}},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {255--266},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599442},
doi = {10.1145/1599410.1599442},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/CodishGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertG09,
author = {Elvira Albert and
Samir Genaim},
editor = {Elvira Albert and
Samir Genaim},
title = {Preface},
booktitle = {Proceedings of the Fourth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March
29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {5},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.010},
doi = {10.1016/J.ENTCS.2009.11.010},
timestamp = {Fri, 24 Feb 2023 15:28:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGGPRRZ09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
German Puebla and
Diana V. Ram{\'{\i}}rez{-}Deantes and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Damiano Zanardini},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {Termination and Cost Analysis with {COSTA} and its User Interfaces},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {109--121},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.008},
doi = {10.1016/J.ENTCS.2009.12.008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGGPRRZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bytecode/2009,
editor = {Elvira Albert and
Samir Genaim},
title = {Proceedings of the Fourth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March
29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {5},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/253/issue/5},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bytecode/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GenaimK08,
author = {Samir Genaim and
Andy King},
title = {Inferring non-suspension conditions for logic programs with dynamic
scheduling},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {3},
pages = {17:1--17:43},
year = {2008},
url = {https://doi.org/10.1145/1352582.1352585},
doi = {10.1145/1352582.1352585},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GenaimK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AlbertACGPZ08,
author = {Elvira Albert and
Puri Arenas and
Michael Codish and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Termination Analysis of Java Bytecode},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {2--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_2},
doi = {10.1007/978-3-540-68863-1\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/AlbertACGPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlbertAGPZ08,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Removing useless variables in cost analysis of Java bytecode},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {368--375},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363779},
doi = {10.1145/1363686.1363779},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AlbertAGPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbertAGP08,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Automatic Inference of Upper Bounds for Recurrence Relations in Cost
Analysis},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {221--237},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_15},
doi = {10.1007/978-3-540-69166-2\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AlbertAGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGP09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Cost Relation Systems: {A} Language-Independent Target Language for
Cost Analysis},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {31--46},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.057},
doi = {10.1016/J.ENTCS.2009.07.057},
timestamp = {Thu, 09 Mar 2023 14:51:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BruynoogheCGGV07,
author = {Maurice Bruynooghe and
Michael Codish and
John P. Gallagher and
Samir Genaim and
Wim Vanhoof},
title = {Termination analysis of logic programs through combination of type-based
norms},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {2},
pages = {10},
year = {2007},
url = {https://doi.org/10.1145/1216374.1216378},
doi = {10.1145/1216374.1216378},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BruynoogheCGGV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlbertAGPZ07,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Rocco De Nicola},
title = {Cost Analysis of Java Bytecode},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {157--172},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_12},
doi = {10.1007/978-3-540-71316-6\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/AlbertAGPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AlbertAGPZ07,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
German Puebla and
Damiano Zanardini},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {{COSTA:} Design and Implementation of a Cost and Termination Analyzer
for Java Bytecode},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {113--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_5},
doi = {10.1007/978-3-540-92188-2\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AlbertAGPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/AlbertGG07,
author = {Elvira Albert and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa},
editor = {Greg Morrisett and
Mooly Sagiv},
title = {Heap space analysis for java bytecode},
booktitle = {Proceedings of the 6th International Symposium on Memory Management,
{ISMM} 2007, Montreal, Quebec, Canada, October 21-22, 2007},
pages = {105--116},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1296907.1296922},
doi = {10.1145/1296907.1296922},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwmm/AlbertGG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGPZ07,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Marieke Huisman and
Fausto Spoto},
title = {Experiments in Cost Analysis of Java Bytecode},
booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {1},
pages = {67--83},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.061},
doi = {10.1016/J.ENTCS.2007.02.061},
timestamp = {Tue, 31 Jan 2023 15:42:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KingLG06,
author = {Andy King and
Lunjin Lu and
Samir Genaim},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Detecting Determinacy in Prolog Programs},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {132--147},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_12},
doi = {10.1007/11799573\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KingLG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GenaimC05,
author = {Samir Genaim and
Michael Codish},
title = {Inferring Termination Conditions for Logic Programs using Backwards
Analysis},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {1-2},
pages = {75--91},
year = {2005},
url = {https://doi.org/10.1017/S1471068404002236},
doi = {10.1017/S1471068404002236},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GenaimC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GenaimS05,
author = {Samir Genaim and
Fausto Spoto},
editor = {Radhia Cousot},
title = {Information Flow Analysis for Java Bytecode},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {346--362},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_23},
doi = {10.1007/978-3-540-30579-8\_23},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GenaimS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GenaimK03,
author = {Samir Genaim and
Andy King},
editor = {Pierpaolo Degano},
title = {Goal-Independent Suspension Analysis for Logic Programs with Dynamic
Scheduling},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {84--98},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_7},
doi = {10.1007/3-540-36575-3\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GenaimK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/CodishG03,
author = {Michael Codish and
Samir Genaim},
editor = {Fr{\'{e}}d{\'{e}}ric Mesnard and
Alexander Serebrenik},
title = {Proving Termination One Loop at a Time},
booktitle = {Proceedings of the 13th International Workshop on Logic Programming
Environments, Tata Institute of Fundamental Research, Mumbai, India,
December 8, 2003},
series = {Report},
volume = {{CW371}},
pages = {48--59},
publisher = {Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan
200A, {B-3001} Heverlee (Belgium)},
year = {2003},
timestamp = {Thu, 09 May 2024 10:43:07 +0200},
biburl = {https://dblp.org/rec/conf/lpe/CodishG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0312023,
author = {Samir Genaim and
Michael Codish},
title = {Inferring Termination Conditions for Logic Programs using Backwards
Analysis},
journal = {CoRR},
volume = {cs.PL/0312023},
year = {2003},
url = {http://arxiv.org/abs/cs/0312023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0312023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruynoogheCGV02,
author = {Maurice Bruynooghe and
Michael Codish and
Samir Genaim and
Wim Vanhoof},
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Reuse of Results in Termination Analysis of Typed Logic Programs},
booktitle = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
pages = {477--492},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5\_33},
doi = {10.1007/3-540-45789-5\_33},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/BruynoogheCGV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GenaimCGL02,
author = {Samir Genaim and
Michael Codish and
John P. Gallagher and
Vitaly Lagoon},
editor = {Agostino Cortesi},
title = {Combining Norms to Prove Termination},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {126--138},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_9},
doi = {10.1007/3-540-47813-2\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/GenaimCGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GenaimHC01,
author = {Samir Genaim and
Jacob M. Howe and
Michael Codish},
title = {Worst-case groundness analysis using definite boolean functions},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {5},
pages = {611--615},
year = {2001},
url = {https://doi.org/10.1017/S1471068401001077},
doi = {10.1017/S1471068401001077},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GenaimHC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GenaimC01,
author = {Samir Genaim and
Michael Codish},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Inferring termination conditions for logic programs using backwards
analysis},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {229--243},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/13.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GenaimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GenaimC01,
author = {Samir Genaim and
Michael Codish},
editor = {David Sands},
title = {The Def-inite Approach to Dependency Analysis},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {417--432},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_28},
doi = {10.1007/3-540-45309-1\_28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/GenaimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishGSS01,
author = {Michael Codish and
Samir Genaim and
Harald S{\o}ndergaard and
Peter J. Stuckey},
editor = {Philippe Codognet},
title = {Higher-Precision Groundness Analysis},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {135--149},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_17},
doi = {10.1007/3-540-45635-X\_17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishGSS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GenaimC01,
author = {Samir Genaim and
Michael Codish},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Inferring Termination Conditions for Logic Programs Using Backwards
Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {685--694},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_47},
doi = {10.1007/3-540-45653-8\_47},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GenaimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 21:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
