Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Josep Silva
@article{DBLP:journals/jss/GalindoKPS24,
author = {Carlos Galindo and
Jens Krinke and
Sergio P{\'{e}}rez and
Josep Silva},
title = {Field-sensitive program slicing},
journal = {J. Syst. Softw.},
volume = {210},
pages = {111939},
year = {2024},
url = {https://doi.org/10.1016/j.jss.2023.111939},
doi = {10.1016/J.JSS.2023.111939},
timestamp = {Thu, 29 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/GalindoKPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GalindoPS23,
author = {Carlos Galindo and
Sergio P{\'{e}}rez and
Josep Silva},
title = {Program slicing of Java programs},
journal = {J. Log. Algebraic Methods Program.},
volume = {130},
pages = {100826},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2022.100826},
doi = {10.1016/J.JLAMP.2022.100826},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/GalindoPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GalindoPS23a,
author = {Carlos Galindo and
Sergio P{\'{e}}rez and
Josep Silva},
title = {Exception-sensitive program slicing},
journal = {J. Log. Algebraic Methods Program.},
volume = {130},
pages = {100832},
year = {2023},
url = {https://doi.org/10.1016/j.jlamp.2022.100832},
doi = {10.1016/J.JLAMP.2022.100832},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/GalindoPS23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/0002L0S23,
author = {Carlos Galindo and
Marisa Llorens and
Sergio P{\'{e}}rez and
Josep Silva},
editor = {Lu{\'{\i}}s Gomes and
Paulo Leit{\~{a}}o and
Robert Lorenz and
Jan Martijn E. M. van der Werf and
Sebastiaan J. van Zelst},
title = {Slicing Petri Nets to Reduce Their Complexity - Abstract},
booktitle = {Joint Proceedings of the Workshop on Algorithms {\&} Theories
for the Analysis of Event Data and the International Workshop on Petri
Nets for Twin Transition co-located with the 44th International Conference
on Application and Theory of Petri Nets and Concurrency (Petri Nets
2023), Caparica, Portugal, June 25-30, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3424},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3424/paper8.pdf},
timestamp = {Wed, 05 Jul 2023 16:52:15 +0200},
biburl = {https://dblp.org/rec/conf/apn/0002L0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/0002L0S23,
author = {Carlos Galindo and
Marisa Llorens and
Sergio P{\'{e}}rez and
Josep Silva},
title = {Slicing Shared-Memory Concurrent Programs The Threaded System Dependence
Graph Revisited},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2023, Bogot{\'{a}}, Colombia, October 1-6, 2023},
pages = {73--83},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSME58846.2023.00019},
doi = {10.1109/ICSME58846.2023.00019},
timestamp = {Tue, 09 Jan 2024 17:27:46 +0100},
biburl = {https://dblp.org/rec/conf/icsm/0002L0S23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LlorensOST22,
author = {Marisa Llorens and
J. Oliver and
Josep Silva and
Salvador Tamarit},
title = {Maximal and Minimal Dynamic Petri Net Slicing},
journal = {Fundam. Informaticae},
volume = {188},
number = {4},
pages = {239--267},
year = {2022},
url = {https://doi.org/10.3233/FI-222148},
doi = {10.3233/FI-222148},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LlorensOST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/GalindoPS22,
author = {Carlos Galindo and
Sergio P{\'{e}}rez and
Josep Silva},
editor = {Adri{\'{a}}n Riesco and
Min Zhang},
title = {Program Slicing Techniques with Support for Unconditional Jumps},
booktitle = {Formal Methods and Software Engineering - 23rd International Conference
on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13478},
pages = {123--139},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17244-1\_8},
doi = {10.1007/978-3-031-17244-1\_8},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/GalindoPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GalindoKPS22,
author = {Carlos Galindo and
Jens Krinke and
Sergio P{\'{e}}rez and
Josep Silva},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {Field-Sensitive Program Slicing},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {74--90},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_5},
doi = {10.1007/978-3-031-17108-6\_5},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GalindoKPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GalindoPS22,
author = {Carlos Galindo and
Sergio P{\'{e}}rez and
Josep Silva},
editor = {Bernd{-}Holger Schlingloff and
Ming Chai},
title = {A Program Slicer for Java (Tool Paper)},
booktitle = {Software Engineering and Formal Methods - 20th International Conference,
{SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13550},
pages = {146--151},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17108-6\_9},
doi = {10.1007/978-3-031-17108-6\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GalindoPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AlarteS22,
author = {Juli{\'{a}}n Alarte and
Josep Silva},
editor = {Fr{\'{e}}d{\'{e}}rique Laforest and
Rapha{\"{e}}l Troncy and
Elena Simperl and
Deepak Agarwal and
Aristides Gionis and
Ivan Herman and
Lionel M{\'{e}}dini},
title = {HybEx: {A} Hybrid Tool for Template Extraction},
booktitle = {Companion of The Web Conference 2022, Virtual Event / Lyon, France,
April 25 - 29, 2022},
pages = {205--209},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3487553.3524242},
doi = {10.1145/3487553.3524242},
timestamp = {Thu, 18 Aug 2022 09:20:24 +0200},
biburl = {https://dblp.org/rec/conf/www/AlarteS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/caee/InsaPST21,
author = {David Insa and
Sergio P{\'{e}}rez and
Josep Silva and
Salvador Tamarit},
title = {Semiautomatic generation and assessment of Java exercises in engineering
education},
journal = {Comput. Appl. Eng. Educ.},
volume = {29},
number = {5},
pages = {1034--1050},
year = {2021},
url = {https://doi.org/10.1002/cae.22356},
doi = {10.1002/CAE.22356},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/caee/InsaPST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkdd/AlarteS21,
author = {Juli{\'{a}}n Alarte and
Josep Silva},
title = {Page-Level Main Content Extraction From Heterogeneous Webpages},
journal = {{ACM} Trans. Knowl. Discov. Data},
volume = {15},
number = {6},
pages = {105:1--105:105},
year = {2021},
url = {https://doi.org/10.1145/3451168},
doi = {10.1145/3451168},
timestamp = {Tue, 17 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkdd/AlarteS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/GalindoNST21,
author = {Carlos Galindo and
Naoki Nishida and
Josep Silva and
Salvador Tamarit},
title = {Reversible {CSP} Computations},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {32},
number = {6},
pages = {1425--1436},
year = {2021},
url = {https://doi.org/10.1109/TPDS.2021.3051747},
doi = {10.1109/TPDS.2021.3051747},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/GalindoNST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-03425,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
title = {Maximal and minimal dynamic Petri net slicing},
journal = {CoRR},
volume = {abs/2104.03425},
year = {2021},
url = {https://arxiv.org/abs/2104.03425},
eprinttype = {arXiv},
eprint = {2104.03425},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-03425.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/00020S20,
author = {Carlos Galindo and
Sergio P{\'{e}}rez and
Josep Silva},
editor = {Maribel Fern{\'{a}}ndez},
title = {Slicing Unconditional Jumps with Unnecessary Control Dependencies},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {293--308},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_15},
doi = {10.1007/978-3-030-68446-4\_15},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/00020S20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/Galindo0ST20,
author = {Carlos Galindo and
Naoki Nishida and
Josep Silva and
Salvador Tamarit},
editor = {Ivan Lanese and
Mariusz Rawski},
title = {ReverCSP: Time-Travelling in {CSP} Computations},
booktitle = {Reversible Computation - 12th International Conference, {RC} 2020,
Oslo, Norway, July 9-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12227},
pages = {239--245},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-52482-1\_14},
doi = {10.1007/978-3-030-52482-1\_14},
timestamp = {Thu, 08 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/Galindo0ST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LlorensOST19,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
title = {Tracking {CSP} computations},
journal = {J. Log. Algebraic Methods Program.},
volume = {102},
pages = {138--175},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2018.10.002},
doi = {10.1016/J.JLAMP.2018.10.002},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LlorensOST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/PerezST19,
author = {Sergio P{\'{e}}rez and
Josep Silva and
Salvador Tamarit},
title = {Automatic Testing of Program Slicers},
journal = {Sci. Program.},
volume = {2019},
pages = {4108652:1--4108652:15},
year = {2019},
url = {https://doi.org/10.1155/2019/4108652},
doi = {10.1155/2019/4108652},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/PerezST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tweb/AlarteST19,
author = {Juli{\'{a}}n Alarte and
Josep Silva and
Salvador Tamarit},
title = {What Web Template Extractor Should {I} Use? {A} Benchmarking and Comparison
for Five Template Extractors},
journal = {{ACM} Trans. Web},
volume = {13},
number = {2},
pages = {9:1--9:19},
year = {2019},
url = {https://doi.org/10.1145/3316810},
doi = {10.1145/3316810},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tweb/AlarteST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wflp/2018,
editor = {Josep Silva},
title = {Functional and Constraint Logic Programming - 26th International Workshop,
{WFLP} 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-16202-3},
doi = {10.1007/978-3-030-16202-3},
isbn = {978-3-030-16201-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wflp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/InsaS18,
author = {David Insa and
Josep Silva},
title = {Automatic assessment of Java code},
journal = {Comput. Lang. Syst. Struct.},
volume = {53},
pages = {59--72},
year = {2018},
url = {https://doi.org/10.1016/j.cl.2018.01.004},
doi = {10.1016/J.CL.2018.01.004},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/InsaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/InsaS18,
author = {David Insa and
Josep Silva},
title = {Algorithmic debugging generalized},
journal = {J. Log. Algebraic Methods Program.},
volume = {97},
pages = {85--104},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.02.003},
doi = {10.1016/J.JLAMP.2018.02.003},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/InsaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sp/InsaPST18,
author = {David Insa and
Sergio P{\'{e}}rez and
Josep Silva and
Salvador Tamarit},
title = {Behaviour Preservation across Code Versions in Erlang},
journal = {Sci. Program.},
volume = {2018},
pages = {9251762:1--9251762:42},
year = {2018},
url = {https://doi.org/10.1155/2018/9251762},
doi = {10.1155/2018/9251762},
timestamp = {Thu, 30 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sp/InsaPST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/AlarteIST18,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
editor = {Hakim Hacid and
Wojciech Cellary and
Hua Wang and
Hye{-}Young Paik and
Rui Zhou},
title = {Main Content Extraction from Heterogeneous Webpages},
booktitle = {Web Information Systems Engineering - {WISE} 2018 - 19th International
Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11233},
pages = {393--407},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02922-7\_27},
doi = {10.1007/978-3-030-02922-7\_27},
timestamp = {Sun, 25 Oct 2020 22:33:15 +0100},
biburl = {https://dblp.org/rec/conf/wise/AlarteIST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-03998,
author = {David Insa and
Sergio P{\'{e}}rez and
Josep Silva and
Salvador Tamarit},
title = {Erlang Code Evolution Control (Use Cases)},
journal = {CoRR},
volume = {abs/1802.03998},
year = {2018},
url = {http://arxiv.org/abs/1802.03998},
eprinttype = {arXiv},
eprint = {1802.03998},
timestamp = {Thu, 29 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-03998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-00724,
author = {Josep Silva},
title = {Pre-proceedings of the 26th International Workshop on Functional and
Logic Programming {(WFLP} 2018)},
journal = {CoRR},
volume = {abs/1810.00724},
year = {2018},
url = {http://arxiv.org/abs/1810.00724},
eprinttype = {arXiv},
eprint = {1810.00724},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-00724.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/CaballeroRS17,
author = {Rafael Caballero and
Adri{\'{a}}n Riesco and
Josep Silva},
title = {A Survey of Algorithmic Debugging},
journal = {{ACM} Comput. Surv.},
volume = {50},
number = {4},
pages = {60:1--60:35},
year = {2017},
url = {https://doi.org/10.1145/3106740},
doi = {10.1145/3106740},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/CaballeroRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/InsaS17,
author = {David Insa and
Josep Silva},
title = {Optimization Techniques for Algorithmic Debugging},
journal = {Bull. {EATCS}},
volume = {122},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/493},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/InsaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Llorens0ST17,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {An Integrated Environment for Petri Net Slicing},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {112--124},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_8},
doi = {10.1007/978-3-319-57861-3\_8},
timestamp = {Wed, 25 Sep 2019 18:08:03 +0200},
biburl = {https://dblp.org/rec/conf/apn/Llorens0ST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithet/BoqueraGHSB17,
author = {Salvador Espa{\~{n}}a Boquera and
David Guerrero{-}Lopez and
Alvaro Hermida{-}Perez and
Josep Silva and
Jos{\'{e}}{-}Vicente Benlloch{-}Dualde},
title = {Analyzing the learning process (in Programming) by using data collected
from an online {IDE}},
booktitle = {16th International Conference on Information Technology Based Higher
Education and Training, {ITHET} 2017, Ohrid, Macedonia, July 10-12,
2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ITHET.2017.8067822},
doi = {10.1109/ITHET.2017.8067822},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/ithet/BoqueraGHSB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithet/EspanaIST17,
author = {Salvador Espa{\~{n}}a Boquera and
David Insa and
Josep Silva and
Salvador Tamarit},
title = {In what order should i correct the exercises? Determining the evaluation
order for the automatic assessment of programming exercises},
booktitle = {16th International Conference on Information Technology Based Higher
Education and Training, {ITHET} 2017, Ohrid, Macedonia, July 10-12,
2017},
pages = {1--3},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ITHET.2017.8067798},
doi = {10.1109/ITHET.2017.8067798},
timestamp = {Wed, 24 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ithet/EspanaIST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/InsaPST17,
author = {David Insa and
Sergio P{\'{e}}rez and
Josep Silva and
Salvador Tamarit},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Erlang Code Evolution Control},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {128--144},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_8},
doi = {10.1007/978-3-319-94460-9\_8},
timestamp = {Wed, 25 Sep 2019 18:04:28 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/InsaPST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/InsaPS17,
author = {David Insa and
Sergio P{\'{e}}rez and
Josep Silva},
editor = {Ahmed Seffah and
Birgit Penzenstadler and
Carina Alves and
Xin Peng},
title = {Computing super reduced program slices by composing slicing techniques},
booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
Morocco, April 3-7, 2017},
pages = {1631--1633},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3019612.3019896},
doi = {10.1145/3019612.3019896},
timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/InsaPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AlarteIS17,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {Webpage Menu Detection Based on {DOM}},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {411--422},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_32},
doi = {10.1007/978-3-319-51963-0\_32},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AlarteIS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05291,
author = {David Insa and
Sergio P{\'{e}}rez and
Josep Silva and
Salvador Tamarit},
title = {Erlang Code Evolution Control},
journal = {CoRR},
volume = {abs/1709.05291},
year = {2017},
url = {http://arxiv.org/abs/1709.05291},
eprinttype = {arXiv},
eprint = {1709.05291},
timestamp = {Thu, 29 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/LlorensOST16,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
title = {Dynamic slicing of concurrent specification languages},
journal = {Parallel Comput.},
volume = {53},
pages = {1--22},
year = {2016},
url = {https://doi.org/10.1016/j.parco.2016.01.006},
doi = {10.1016/J.PARCO.2016.01.006},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/LlorensOST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithet/InsaS16,
author = {David Insa and
Josep Silva},
title = {Computer assisted self-assessment of programming code: {A} report
on university students experience and opinion},
booktitle = {15th International Conference on Information Technology Based Higher
Education and Training, {ITHET} 2016, Istanbul, Turkey, September
8-10, 2016},
pages = {1--3},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ITHET.2016.7760727},
doi = {10.1109/ITHET.2016.7760727},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/ithet/InsaS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/InsaST16,
author = {David Insa and
Josep Silva and
Salvador Tamarit},
editor = {Alison Clear and
Ernesto Cuadros{-}Vargas and
Janet Carter and
Yv{\'{a}}n T{\'{u}}pac},
title = {Where You Sit MattersHow Classroom Seating Might Affect Marks},
booktitle = {Proceedings of the 2016 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13,
2016},
pages = {212--217},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2899415.2899444},
doi = {10.1145/2899415.2899444},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/InsaST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/InsaS15,
author = {David Insa and
Josep Silva},
title = {Automatic transformation of iterative loops into recursive methods},
journal = {Inf. Softw. Technol.},
volume = {58},
pages = {95--109},
year = {2015},
url = {https://doi.org/10.1016/j.infsof.2014.10.001},
doi = {10.1016/J.INFSOF.2014.10.001},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/InsaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/RavaraS15,
author = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Editorial for the {JLAMP} Special Issue on automated specification
and verification of web systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {84},
number = {4},
pages = {483--484},
year = {2015},
url = {https://doi.org/10.1016/j.jlamp.2015.04.001},
doi = {10.1016/J.JLAMP.2015.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/RavaraS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/AlarteIST15,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
editor = {Manuel Mazzara and
Andrei Voronkov},
title = {Site-Level Web Template Extraction Based on {DOM} Analysis},
booktitle = {Perspectives of System Informatics - 10th International Andrei Ershov
Informatics Conference, {PSI} 2015, in Memory of Helmut Veith, Kazan
and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9609},
pages = {36--49},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-41579-6\_4},
doi = {10.1007/978-3-319-41579-6\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/AlarteIST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/InsaS15,
author = {David Insa and
Josep Silva},
editor = {Valentina Dagiene and
Carsten Schulte and
Tatjana Jevsikova},
title = {Semi-Automatic Assessment of Unrestrained Java Code: {A} Library,
a DSL, and a Workbench to Assess Exams and Exercises},
booktitle = {Proceedings of the 2015 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCS 2015, Vilnius, Lithuania, July
4-8, 2015},
pages = {39--44},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2729094.2742615},
doi = {10.1145/2729094.2742615},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/InsaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/InsaS15,
author = {David Insa and
Josep Silva},
editor = {Moreno Falaschi},
title = {A Generalized Model for Algorithmic Debugging},
booktitle = {Logic-Based Program Synthesis and Transformation - 25th International
Symposium, {LOPSTR} 2015, Siena, Italy, July 13-15, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9527},
pages = {261--276},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27436-2\_16},
doi = {10.1007/978-3-319-27436-2\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/InsaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/AlarteIST15,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
editor = {Aldo Gangemi and
Stefano Leonardi and
Alessandro Panconesi},
title = {TeMex: The Web Template Extractor},
booktitle = {Proceedings of the 24th International Conference on World Wide Web
Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion
Volume},
pages = {155--158},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2740908.2742835},
doi = {10.1145/2740908.2742835},
timestamp = {Tue, 27 Dec 2022 09:06:31 +0100},
biburl = {https://dblp.org/rec/conf/www/AlarteIST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlarteIST14,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
editor = {Maurice H. ter Beek and
Ant{\'{o}}nio Ravara},
title = {Automatic Detection of Webpages that Share the Same Web Template},
booktitle = {Proceedings 10th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2014, Vienna, Austria, July
18, 2014},
series = {{EPTCS}},
volume = {163},
pages = {2--15},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.163.2},
doi = {10.4204/EPTCS.163.2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AlarteIST14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlarteIST15,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
editor = {Santiago Escobar},
title = {Web Template Extraction Based on Hyperlink Analysis},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {16--26},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.2},
doi = {10.4204/EPTCS.173.2},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AlarteIST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlarteIST14a,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
title = {A Benchmark Suite for Template Detection and Content Extraction},
journal = {CoRR},
volume = {abs/1409.6182},
year = {2014},
url = {http://arxiv.org/abs/1409.6182},
eprinttype = {arXiv},
eprint = {1409.6182},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlarteIST14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/InsaS14,
author = {David Insa and
Josep Silva},
title = {Transforming while/do/for/foreach-Loops into Recursive Methods},
journal = {CoRR},
volume = {abs/1410.4956},
year = {2014},
url = {http://arxiv.org/abs/1410.4956},
eprinttype = {arXiv},
eprint = {1410.4956},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/InsaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KovacsPST13,
author = {Laura Kov{\'{a}}cs and
Rosario Pugliese and
Josep Silva and
Francesco Tiezzi},
title = {Special issue on Automated Specification and Verification of Web Systems},
journal = {J. Log. Algebraic Methods Program.},
volume = {82},
number = {8},
pages = {241--242},
year = {2013},
url = {https://doi.org/10.1016/j.jlap.2013.05.007},
doi = {10.1016/J.JLAP.2013.05.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/KovacsPST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/InsaST13,
author = {David Insa and
Josep Silva and
Salvador Tamarit},
title = {Using the words/leafs ratio in the {DOM} tree for content extraction},
journal = {J. Log. Algebraic Methods Program.},
volume = {82},
number = {8},
pages = {311--325},
year = {2013},
url = {https://doi.org/10.1016/j.jlap.2013.01.002},
doi = {10.1016/J.JLAP.2013.01.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/InsaST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/HerreroLOST13,
author = {Carlos Herrero and
Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Janet Carter and
Ian Utting and
Alison Clear},
title = {The influence of students distribution on their grades},
booktitle = {Innovation and Technology in Computer Science Education conference
2013, ITiCSE '13, Canterbury, United Kingdom - July 01 - 03, 2013},
pages = {316},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462476.2465575},
doi = {10.1145/2462476.2465575},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/HerreroLOST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/HerreroLOST13a,
author = {Carlos Herrero and
Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Janet Carter and
Ian Utting and
Alison Clear},
title = {An empirical analysis of the influence of classmates on the academic
performance},
booktitle = {Innovation and Technology in Computer Science Education conference
2013, ITiCSE '13, Canterbury, United Kingdom - July 01 - 03, 2013},
pages = {328},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2462476.2465608},
doi = {10.1145/2462476.2465608},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iticse/HerreroLOST13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GonzalezIS13,
author = {Juan Gonz{\'{a}}lez and
David Insa and
Josep Silva},
editor = {Gopal Gupta and
Ricardo Pe{\~{n}}a},
title = {A New Hybrid Debugging Architecture for Eclipse},
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 = {183--201},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-14125-1\_11},
doi = {10.1007/978-3-319-14125-1\_11},
timestamp = {Wed, 26 Oct 2022 22:55:46 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GonzalezIS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/SagonasST13,
author = {Konstantinos Sagonas and
Josep Silva and
Salvador Tamarit},
editor = {Elvira Albert and
Shin{-}Cheng Mu},
title = {Precise explanation of success typing errors},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2013 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2013, Rome, Italy, January 21-22,
2013},
pages = {33--42},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2426890.2426897},
doi = {10.1145/2426890.2426897},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/SagonasST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/InsaSR13,
author = {David Insa and
Josep Silva and
Adri{\'{a}}n Riesco},
editor = {Margus Veanes and
Luca Vigan{\`{o}}},
title = {Speeding Up Algorithmic Debugging Using Balanced Execution Trees},
booktitle = {Tests and Proofs - 7th International Conference, TAP@STAF 2013, Budapest,
Hungary, June 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7942},
pages = {133--151},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38916-0\_8},
doi = {10.1007/978-3-642-38916-0\_8},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/InsaSR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RavaraS13,
editor = {Ant{\'{o}}nio Ravara and
Josep Silva},
title = {Proceedings 9th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2013, Florence, Italy, 6th
June 2013},
series = {{EPTCS}},
volume = {123},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.123},
doi = {10.4204/EPTCS.123},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RavaraS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aes/LlorensOST12,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
title = {Generating a Petri net from a {CSP} specification: {A} semantics-based
method},
journal = {Adv. Eng. Softw.},
volume = {50},
pages = {110--130},
year = {2012},
url = {https://doi.org/10.1016/j.advengsoft.2012.02.006},
doi = {10.1016/J.ADVENGSOFT.2012.02.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aes/LlorensOST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Silva12,
author = {Josep Silva},
title = {A vocabulary of program slicing-based techniques},
journal = {{ACM} Comput. Surv.},
volume = {44},
number = {3},
pages = {12:1--12:41},
year = {2012},
url = {https://doi.org/10.1145/2187671.2187674},
doi = {10.1145/2187671.2187674},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Silva12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LeuschelLOST12,
author = {Michael Leuschel and
Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
title = {Static slicing of explicitly synchronized languages},
journal = {Inf. Comput.},
volume = {214},
pages = {10--46},
year = {2012},
url = {https://doi.org/10.1016/j.ic.2012.02.005},
doi = {10.1016/J.IC.2012.02.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LeuschelLOST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/polibits/LopezSI12,
author = {Sergio L{\'{o}}pez and
Josep Silva and
David Insa},
title = {Content Extraction based on Hierarchical Relations in {DOM} Structures},
journal = {Polibits},
volume = {45},
pages = {5--12},
year = {2012},
url = {https://doi.org/10.17562/pb-45-1},
doi = {10.17562/PB-45-1},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/polibits/LopezSI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicling/CastilloVRS12,
author = {Carlos J. Castillo and
H{\'{e}}ctor Valero and
Jos{\'{e}} Guadalupe Ramos and
Josep Silva},
editor = {Alexander F. Gelbukh},
title = {Information Extraction from Webpages Based on {DOM} Distances},
booktitle = {Computational Linguistics and Intelligent Text Processing - 13th International
Conference, CICLing 2012, New Delhi, India, March 11-17, 2012, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7182},
pages = {181--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28601-8\_16},
doi = {10.1007/978-3-642-28601-8\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cicling/CastilloVRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SilvaTT12,
author = {Josep Silva and
Salvador Tamarit and
C{\'{e}}sar Tom{\'{a}}s},
editor = {Juan de Lara and
Andrea Zisman},
title = {System Dependence Graphs in Sequential Erlang},
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 = {486--500},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_33},
doi = {10.1007/978-3-642-28872-2\_33},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/SilvaTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/InsaST12,
author = {David Insa and
Josep Silva and
C{\'{e}}sar Tom{\'{a}}s},
editor = {Elvira Albert},
title = {Enhancing Declarative Debugging with Loop Expansion and Tree Compression},
booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International
Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7844},
pages = {71--88},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38197-3\_6},
doi = {10.1007/978-3-642-38197-3\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/InsaST12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slate/Galiana12,
author = {Josep Silva Galiana},
editor = {Alberto Sim{\~{o}}es and
Ricardo Queir{\'{o}}s and
Daniela Carneiro da Cruz},
title = {The New Generation of Algorithmic Debuggers (Keynote)},
booktitle = {1st Symposium on Languages, Applications and Technologies, {SLATE}
2012, Braga, Portugal, June 21-22, 2012},
series = {OASIcs},
volume = {21},
pages = {3--3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/OASIcs.SLATE.2012.3},
doi = {10.4230/OASICS.SLATE.2012.3},
timestamp = {Wed, 24 Aug 2022 11:27:10 +0200},
biburl = {https://dblp.org/rec/conf/slate/Galiana12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6113,
author = {Sergio L{\'{o}}pez and
Josep Silva and
David Insa},
editor = {Josep Silva and
Francesco Tiezzi},
title = {Using the {DOM} Tree for Content Extraction},
booktitle = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
pages = {46--59},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98.6},
doi = {10.4204/EPTCS.98.6},
timestamp = {Thu, 20 May 2021 14:31:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1210-5783,
editor = {Josep Silva and
Francesco Tiezzi},
title = {Proceedings 8th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2012, Stockholm, Sweden, 16th
July 2012},
series = {{EPTCS}},
volume = {98},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.98},
doi = {10.4204/EPTCS.98},
timestamp = {Thu, 20 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-5783.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aes/Silva11,
author = {Josep Silva},
title = {A survey on algorithmic debugging strategies},
journal = {Adv. Eng. Softw.},
volume = {42},
number = {11},
pages = {976--991},
year = {2011},
url = {https://doi.org/10.1016/j.advengsoft.2011.05.024},
doi = {10.1016/J.ADVENGSOFT.2011.05.024},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aes/Silva11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Almendros-JimenezST11,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Josep Silva and
Salvador Tamarit},
editor = {Craig Macdonald and
Iadh Ounis and
Ian Ruthven},
title = {XQuery optimization based on program slicing},
booktitle = {Proceedings of the 20th {ACM} Conference on Information and Knowledge
Management, {CIKM} 2011, Glasgow, United Kingdom, October 24-28, 2011},
pages = {1525--1534},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2063576.2063794},
doi = {10.1145/2063576.2063794},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/Almendros-JimenezST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/InsaS11,
author = {David Insa and
Josep Silva},
editor = {Luis Antunes and
Helena Sofia Pinto},
title = {Optimal Divide and Query},
booktitle = {Progress in Artificial Intelligence, 15th Portuguese Conference on
Artificial Intelligence, {EPIA} 2011, Lisbon, Portugal, October 10-13,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7026},
pages = {224--238},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24769-9\_17},
doi = {10.1007/978-3-642-24769-9\_17},
timestamp = {Sun, 02 Oct 2022 16:00:30 +0200},
biburl = {https://dblp.org/rec/conf/epia/InsaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/InsaS11,
author = {David Insa and
Josep Silva},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {An optimal strategy for algorithmic debugging},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {203--212},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100055},
doi = {10.1109/ASE.2011.6100055},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/InsaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/InsaS12,
author = {David Insa and
Josep Silva},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {Implementation of an Optimal Strategy for Algorithmic Debugging},
booktitle = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
pages = {47--60},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.005},
doi = {10.1016/J.ENTCS.2011.12.005},
timestamp = {Fri, 25 Nov 2022 14:12:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/InsaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2010,
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
publisher = {Elsevier},
year = {2011},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/271/suppl/C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-0350,
author = {David Insa and
Josep Silva},
title = {Optimal Divide and Query (extended version)},
journal = {CoRR},
volume = {abs/1107.0350},
year = {2011},
url = {http://arxiv.org/abs/1107.0350},
eprinttype = {arXiv},
eprint = {1107.0350},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-0350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/LopezS10,
author = {Sergio L{\'{o}}pez and
Josep Silva},
editor = {A Min Tjoa and
Roland R. Wagner},
title = {A New Information Filtering Method for WebPages},
booktitle = {Database and Expert Systems Applications, DEXA, International Workshops,
Bilbao, Spain, August 30 - September 3, 2010},
pages = {32--36},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DEXA.2010.28},
doi = {10.1109/DEXA.2010.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/LopezS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/InsaS10,
author = {David Insa and
Josep Silva},
editor = {Radu Marinescu and
Michele Lanza and
Andrian Marcus},
title = {An algorithmic debugger for Java},
booktitle = {26th {IEEE} International Conference on Software Maintenance {(ICSM}
2010), September 12-18, 2010, Timisoara, Romania},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSM.2010.5609661},
doi = {10.1109/ICSM.2010.5609661},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/InsaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LlorensOST10,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Mar{\'{\i}}a Alpuente},
title = {Graph Generation to Statically Represent {CSP} Processes},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {52--66},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_4},
doi = {10.1007/978-3-642-20551-4\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LlorensOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/InsaS10,
author = {David Insa and
Josep Silva},
editor = {Mar{\'{\i}}a Alpuente},
title = {Scaling Up Algorithmic Debugging with Virtual Execution Trees},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {149--163},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_10},
doi = {10.1007/978-3-642-20551-4\_10},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/InsaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/LlorensOST10,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {A Tracking Semantics for {CSP}},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {248--270},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_15},
doi = {10.1007/978-3-642-13321-3\_15},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/LlorensOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/LlorensOST10,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Hamid R. Arabnia and
Steve C. Chiu and
George A. Gravvanis and
Minoru Ito and
Kazuki Joe and
Hiroaki Nishikawa and
Ashu M. G. Solo},
title = {Translating {CSP} Specifications to Equivalent Petri Nets},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2010, Las Vegas, Nevada,
USA, July 12-15, 2010, 2 Volumes},
pages = {320--326},
publisher = {{CSREA} Press},
year = {2010},
timestamp = {Wed, 03 Aug 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/LlorensOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LlorensOST10,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Sung Y. Shin and
Sascha Ossowski and
Michael Schumacher and
Mathew J. Palakal and
Chih{-}Cheng Hung},
title = {An algorithm to generate the context-sensitive synchronized control
flow graph},
booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
Sierre, Switzerland, March 22-26, 2010},
pages = {2144--2148},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1774088.1774539},
doi = {10.1145/1774088.1774539},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/LlorensOST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serp/RamosSFTMS10,
author = {J. Guadalupe Ramos and
Josep Silva and
Heriberto Flores and
Margarita Torres and
Laura E. Mendoza and
Juan C. Solorio},
editor = {Hamid R. Arabnia and
Hassan Reza and
Leonidas Deligiannidis and
Juan Jose Cuadrado{-}Gallego and
Vincent Schmidt and
Ashu M. G. Solo},
title = {Domain Specific Languages for Software Requirements Capture},
booktitle = {Proceedings of the 2010 International Conference on Software Engineering
Research {\&} Practice, {SERP} 2010, July 12-15, 2010, Las Vegas,
Nevada, USA, 2 Volumes},
pages = {111--116},
publisher = {{CSREA} Press},
year = {2010},
timestamp = {Fri, 10 Dec 2010 13:15:53 +0100},
biburl = {https://dblp.org/rec/conf/serp/RamosSFTMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swws/RamosS10,
author = {J. Guadalupe Ramos and
Josep Silva},
editor = {Hamid R. Arabnia and
Andy Marsh and
Ashu M. G. Solo},
title = {Modeling Implicit Knowledge from Microformatted Websites},
booktitle = {Proceedings of the 2010 International Conference on Semantic Web {\&}
Web Services, {SWWS} 2010, July 12-15, 2010, Las Vegas, Nevada, {USA}},
pages = {141--146},
publisher = {{CSREA} Press},
year = {2010},
timestamp = {Fri, 10 Dec 2010 21:08:27 +0100},
biburl = {https://dblp.org/rec/conf/swws/RamosS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/ValeroCS10,
author = {H{\'{e}}ctor Valero and
Carlos J. Castillo and
Josep Silva},
editor = {Laura Kov{\'{a}}cs and
Temur Kutsia},
title = {Reconstructing Information Retrieved from Multiple Websites},
booktitle = {6th International Workshop on Automated Specification and Verification
of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
series = {EPiC Series in Computing},
volume = {18},
pages = {65--80},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/7q7l},
doi = {10.29007/7Q7L},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wwv/ValeroCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuliasG11,
author = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {Preface},
booktitle = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
pages = {1--2},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.02.007},
doi = {10.1016/J.ENTCS.2011.02.007},
timestamp = {Fri, 10 Mar 2023 14:34:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuliasG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enc/RamosSOS09,
author = {J. Guadalupe Ramos and
Ricardo A. Sol{\'{\i}}s and
H{\'{e}}ctor Oceguera and
Josep Silva},
editor = {Alejandro P. Buchmann},
title = {A Practical Approach to Modeling and Extracting Information from Semantic
Web Based on Microformats},
booktitle = {2009 Mexican International Conference on Computer Science, {ENC} 2009,
Mexico City, Mexico, September 21-25, 2009},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ENC.2009.40},
doi = {10.1109/ENC.2009.40},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/enc/RamosSOS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/RamosSAS09,
author = {J. Guadalupe Ramos and
Josep Silva and
Gustavo Arroyo and
Juan C. Solorio},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {A Technique for Information Retrieval from Microformatted Websites},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {344--351},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_29},
doi = {10.1007/978-3-642-11486-1\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/RamosSAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LeuschelLOST09,
author = {Michael Leuschel and
Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {{SOC:} a slicer for {CSP} specifications},
booktitle = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
pages = {165--168},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1480945.1480969},
doi = {10.1145/1480945.1480969},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/LeuschelLOST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Silva08,
author = {Josep Silva},
title = {Debugging techniques for declarative languages: Profiling, program
slicing and algorithmic debugging},
journal = {{AI} Commun.},
volume = {21},
number = {1},
pages = {91--92},
year = {2008},
url = {http://content.iospress.com/articles/ai-communications/aic419},
timestamp = {Fri, 15 May 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Silva08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/OchoaSV08,
author = {Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
title = {Dynamic slicing of lazy functional programs based on redex trails},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {1-2},
pages = {147--192},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9023-7},
doi = {10.1007/S10990-008-9023-7},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/OchoaSV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LeuschelLOST08,
author = {Michael Leuschel and
Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
editor = {Michael Hanus},
title = {The {MEB} and {CEB} Static Analysis for {CSP} Specifications},
booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5438},
pages = {103--118},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00515-2\_8},
doi = {10.1007/978-3-642-00515-2\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LeuschelLOST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChedaS09,
author = {Diego Cheda and
Josep Silva},
editor = {Moreno Falaschi},
title = {State of the Practice in Algorithmic Debugging},
booktitle = {Proceedings of the 17th International Workshop on Functional and (Constraint)
Logic Programming, {WFLP} 2008, Siena, Italy, July 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {246},
pages = {55--70},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.015},
doi = {10.1016/J.ENTCS.2009.07.015},
timestamp = {Thu, 09 Mar 2023 14:45:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChedaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Silva09,
author = {Josep Silva},
editor = {Demis Ballis and
Santiago Escobar},
title = {Information Filtering and Information Retrieval with the Web Filtering
Toolbar},
booktitle = {Proceedings of the 4th International Workshop on Automated Specification
and Verification of Web Systems, {WWV} 2008, Siena, Italy, July 4,
2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {125--136},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.008},
doi = {10.1016/J.ENTCS.2009.03.008},
timestamp = {Thu, 09 Mar 2023 13:11:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Silva09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LlorensOSTV08,
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit and
Germ{\'{a}}n Vidal},
editor = {Vesa Halava and
Igor Potapov},
title = {Dynamic Slicing Techniques for Petri Nets},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {153--165},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.037},
doi = {10.1016/J.ENTCS.2008.12.037},
timestamp = {Fri, 17 Feb 2023 11:00:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LlorensOSTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RamosSV07,
author = {J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
title = {Ensuring the quasi-termination of needed narrowing computations},
journal = {Inf. Process. Lett.},
volume = {101},
number = {5},
pages = {220--226},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2006.09.010},
doi = {10.1016/J.IPL.2006.09.010},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/RamosSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SilvaV07,
author = {Josep Silva and
Germ{\'{a}}n Vidal},
title = {Forward slicing of functional logic programs by partial evaluation},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {215--247},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002870},
doi = {10.1017/S1471068406002870},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SilvaV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FischerSTV07,
author = {Sebastian Fischer and
Josep Silva and
Salvador Tamarit and
Germ{\'{a}}n Vidal},
editor = {Andy King},
title = {Preserving Sharing in the Partial Evaluation of Lazy Functional Programs},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {74--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_6},
doi = {10.1007/978-3-540-78769-3\_6},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/FischerSTV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Silva07,
author = {Josep Silva},
editor = {Jan van Leeuwen and
Giuseppe F. Italiano and
Wiebe van der Hoek and
Christoph Meinel and
Harald Sack and
Frantisek Pl{\'{a}}sil},
title = {A Program Slicing Based Method to Filter {XML/DTD} Documents},
booktitle = {{SOFSEM} 2007: Theory and Practice of Computer Science, 33rd Conference
on Current Trends in Theory and Practice of Computer Science, Harrachov,
Czech Republic, January 20-26, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4362},
pages = {771--782},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69507-3\_67},
doi = {10.1007/978-3-540-69507-3\_67},
timestamp = {Fri, 21 Oct 2022 16:47:28 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Silva07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/SilvaBC06,
author = {Josep Silva and
Jorge Belenguer and
Matilde Celma},
editor = {Yannis Manolopoulos and
Jaroslav Pokorn{\'{y}} and
Timos K. Sellis},
title = {Multi-source Materialized Views Maintenance: Multi-level Views},
booktitle = {Advances in Databases and Information Systems, 10th East European
Conference, {ADBIS} 2006, Thessaloniki, Greece, September 3-7, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4152},
pages = {71--80},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11827252\_8},
doi = {10.1007/11827252\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/adbis/SilvaBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eda/SilvaBC06,
author = {Josep Silva and
Jorge Belenguer and
Matilde Celma},
editor = {Daniela Grigori and
St{\'{e}}phane Lopes and
Benjamin Nguyen and
Karine Zeitouni},
title = {Multi-source materialized views maintenance},
booktitle = {Actes de la 2{\`{e}}me journ{\'{e}}e francophone sur les Entrep{\^{o}}ts
de Donn{\'{e}}es et l'Analyse en ligne, {EDA} 2006, Versailles,
France, Juin 2006},
series = {{RNTI}},
volume = {{B-2}},
pages = {77--88},
publisher = {C{\'{e}}padu{\`{e}}s},
year = {2006},
url = {http://editions-rnti.fr/?inprocid=1001476},
timestamp = {Tue, 12 May 2015 17:11:45 +0200},
biburl = {https://dblp.org/rec/conf/eda/SilvaBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/OchoaSV06,
author = {Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Michael Fisher and
Wiebe van der Hoek and
Boris Konev and
Alexei Lisitsa},
title = {A Slicing Tool for Lazy Functional Logic Programs},
booktitle = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
2006, Liverpool, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4160},
pages = {498--501},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853886\_46},
doi = {10.1007/11853886\_46},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/jelia/OchoaSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ArroyoRSV06,
author = {Gustavo Arroyo and
J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Germ{\'{a}}n Puebla},
title = {Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change
Graphs},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {60--76},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_6},
doi = {10.1007/978-3-540-71410-1\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ArroyoRSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Silva06,
author = {Josep Silva},
editor = {Germ{\'{a}}n Puebla},
title = {A Comparative Study of Algorithmic Debugging Strategies},
booktitle = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
pages = {143--159},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_11},
doi = {10.1007/978-3-540-71410-1\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Silva06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/SilvaC06,
author = {Josep Silva and
Olaf Chitil},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Combining algorithmic debugging and program slicing},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {157--166},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140355},
doi = {10.1145/1140335.1140355},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/SilvaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChedaSV07,
author = {Diego Cheda and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Static Slicing of Rewrite Systems},
booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic
Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {177},
pages = {123--136},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.010},
doi = {10.1016/J.ENTCS.2007.01.010},
timestamp = {Tue, 24 Jan 2023 12:32:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChedaSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601013,
author = {Josep Silva and
Germ{\'{a}}n Vidal},
title = {Forward slicing of functional logic programs by partial evaluation},
journal = {CoRR},
volume = {abs/cs/0601013},
year = {2006},
url = {http://arxiv.org/abs/cs/0601013},
eprinttype = {arXiv},
eprint = {cs/0601013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cys/SilvaCR05,
author = {Josep Silva and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
title = {An{\'{a}}lisis Te{\'{o}}rico-Experimental de Criterios de
Comparaci{\'{o}}n de Esquemas Conceptuales Orientados a Objeto},
journal = {Computaci{\'{o}}n y Sistemas},
volume = {9},
number = {1},
year = {2005},
url = {http://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/1101},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cys/SilvaCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/RamosSV05,
author = {J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Olivier Danvy and
Benjamin C. Pierce},
title = {Fast narrowing-driven partial evaluation for inductively sequential
programs},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2005, Tallinn, Estonia, September 26-28,
2005},
pages = {228--239},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1086365.1086394},
doi = {10.1145/1086365.1086394},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/RamosSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcflp/OchoaSV05,
author = {Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Sergio Antoy and
Michael Hanus},
title = {Lightweight program specialization via dynamic slicing},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
Logic Programming, Tallinn, Estonia, September 29, 2005},
pages = {1--7},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085099.1085101},
doi = {10.1145/1085099.1085101},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/wcflp/OchoaSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcflp/RamosSV05,
author = {J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Sergio Antoy and
Michael Hanus},
title = {An offline partial evaluator for curry programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2005 Workshop on Curry and Functional
Logic Programming, Tallinn, Estonia, September 29, 2005},
pages = {49--53},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085099.1085109},
doi = {10.1145/1085099.1085109},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcflp/RamosSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wwv/Silva05,
author = {Josep Silva},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Slicing {XML} Documents},
booktitle = {First International Workshop on Automated Specification and Verification
of Web Sites {(WWV} 2005), March 14-15, 2005 Valencia, Spain},
volume = {{DSIC-II/03/05}},
pages = {121--125},
publisher = {Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica
de Valencia},
year = {2005},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/conf/wwv/Silva05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Silva06,
author = {Josep Silva},
editor = {Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Moreno Falaschi},
title = {Slicing {XML} Documents},
booktitle = {Proceedings of the International Workshop on Automated Specification
and Verification of Web Sites, {WWV} 2005, Valencia, Spain, March
14-15, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {2},
pages = {187--192},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.054},
doi = {10.1016/J.ENTCS.2005.12.054},
timestamp = {Fri, 20 Jan 2023 11:40:19 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Silva06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iberamia/ArroyoOSV04,
author = {Gustavo Arroyo and
Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Christian Lema{\^{\i}}tre and
Carlos A. Reyes Garc{\'{\i}}a and
Jes{\'{u}}s A. Gonz{\'{a}}lez},
title = {Towards {CNC} Programming Using Haskell},
booktitle = {Advances in Artificial Intelligence - {IBERAMIA} 2004, 9th Ibero-American
Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3315},
pages = {386--396},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30498-2\_39},
doi = {10.1007/978-3-540-30498-2\_39},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/iberamia/ArroyoOSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BrasselHHSV04,
author = {Bernd Brassel and
Michael Hanus and
Frank Huch and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Sandro Etalle},
title = {Run-Time Profiling of Functional Logic Programs},
booktitle = {Logic Based Program Synthesis and Transformation, 14th International
Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3573},
pages = {182--197},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11506676\_12},
doi = {10.1007/11506676\_12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BrasselHHSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/OchoaSV04,
author = {Claudio Ochoa and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Nevin Heintze and
Peter Sestoft},
title = {Dynamic slicing based on redex trails},
booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2004, Verona, Italy, August
24-25, 2004},
pages = {123--134},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1014007.1014020},
doi = {10.1145/1014007.1014020},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/OchoaSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/RamosSV04,
author = {J. Guadalupe Ramos and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Peter van Emde Boas and
Jaroslav Pokorn{\'{y}} and
M{\'{a}}ria Bielikov{\'{a}} and
Julius Stuller},
title = {An Embedded Language Approach to Router Specification in Curry},
booktitle = {{SOFSEM} 2004: Theory and Practice of Computer Science, 30th Conference
on Current Trends in Theory and Practice of Computer Science, Merin,
Czech Republic, January 24-30, 2004},
series = {Lecture Notes in Computer Science},
volume = {2932},
pages = {277--288},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24618-3\_24},
doi = {10.1007/978-3-540-24618-3\_24},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/RamosSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlbertSV03,
author = {Elvira Albert and
Josep Silva and
Germ{\'{a}}n Vidal},
editor = {Francesco Buccafurri},
title = {Time Equations for Lazy Functional (Logic) Languages},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {13--24},
year = {2003},
timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlbertSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/SilvaHCR03,
author = {Josep Silva and
Nour Hussein and
Jos{\'{e}} A. Cars{\'{\i}} and
Isidro Ramos},
editor = {Ernesto Pimentel and
Nieves R. Brisaboa and
Jaime G{\'{o}}mez},
title = {El aspecto de distribuci{\'{o}}n de {PRISMA}},
booktitle = {{VIII} Jornadas Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2003), 12-14 Noviembre 2003, Alicante},
pages = {127--136},
year = {2003},
timestamp = {Wed, 12 May 2021 10:56:07 +0200},
biburl = {https://dblp.org/rec/conf/jisbd/SilvaHCR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/SilvaRC02,
author = {Josep Silva and
Isidro Ramos and
Jos{\'{e}} A. Cars{\'{\i}}},
title = {An Algorithm to Compare OO-Conceptual Schemas},
booktitle = {18th International Conference on Software Maintenance {(ICSM} 2002),
Maintaining Distributed Heterogeneous Systems, 3-6 October 2002, Montreal,
Quebec, Canada},
pages = {351--358},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ICSM.2002.1167791},
doi = {10.1109/ICSM.2002.1167791},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/SilvaRC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/SilvaBC02,
author = {Josep Silva and
Jorge Belenguer and
Matilde Celma},
editor = {Matilde Celma and
Oscar Pastor and
Natalia Juristo Juzgado and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Materializaci{\'{o}}n de Vistas Multi-Origen: Vistas Multinivel},
booktitle = {{VII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de Datos
{(JISBD} 2002), 19-21 Noviembre 2002, El Escorial (Madrid)},
pages = {25--34},
year = {2002},
timestamp = {Mon, 18 Jan 2021 08:56:33 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/SilvaBC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-03-01 23:58 CET 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:
