default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ángel Herranz-Nieva
@inproceedings{DBLP:conf/erlang/BarrioFEHM24,
author = {Luis Eduardo Bueso de Barrio and
Lars{-}{\AA}ke Fredlund and
Clara Benac Earle and
{\'{A}}ngel Herranz and
Julio Mari{\~{n}}o},
editor = {Kiko Fernandez{-}Reyes and
Adriana Laura Voinea},
title = {Controlled Scheduling of Concurrent Elixir Programs},
booktitle = {Proceedings of the 23rd {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang 2024, Milan, Italy, 2 September 2024},
pages = {67--75},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3677995.3678195},
doi = {10.1145/3677995.3678195},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/BarrioFEHM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BarrioFEHM23,
author = {Luis Eduardo Bueso de Barrio and
Lars{-}{\AA}ke Fredlund and
Clara Benac Earle and
{\'{A}}ngel Herranz and
Julio Mari{\~{n}}o},
editor = {Burcu Kulahcioglu Ozkan and
Kiko Fernandez{-}Reyes},
title = {Generation and Refinement of Testing Models},
booktitle = {Proceedings of the 22nd {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023},
pages = {14--23},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3609022.3609415},
doi = {10.1145/3609022.3609415},
timestamp = {Sun, 12 Nov 2023 02:14:43 +0100},
biburl = {https://dblp.org/rec/conf/erlang/BarrioFEHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BallesterosEBFH22,
author = {Ignacio Ballesteros and
Clara Benac Earle and
Luis Eduardo Bueso de Barrio and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz and
Julio Mari{\~{n}}o},
editor = {Zaynah Dargaye and
Clara Schneidewind},
title = {Automatic Generation of Attacker Contracts in Solidity},
booktitle = {4th International Workshop on Formal Methods for Blockchains, FMBC@CAV
2022, August 11, 2022, Haifa, Israel},
series = {OASIcs},
volume = {105},
pages = {3:1--3:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/OASIcs.FMBC.2022.3},
doi = {10.4230/OASICS.FMBC.2022.3},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BallesterosEBFH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/Ortiz-FuentesH22,
author = {Jorge D. Ortiz{-}Fuentes and
{\'{A}}ngel Herranz{-}Nieva},
editor = {Ilias Gerostathopoulos and
Grace A. Lewis and
Tha{\'{\i}}s Vasconcelos Batista and
Tom{\'{a}}s Bures},
title = {Persistence Factories Architectural Design Pattern},
booktitle = {Software Architecture - 16th European Conference, {ECSA} 2022, Prague,
Czech Republic, September 19-23, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13444},
pages = {167--177},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16697-6\_12},
doi = {10.1007/978-3-031-16697-6\_12},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/Ortiz-FuentesH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/0001BBHMEF22,
author = {Sergio P{\'{e}}rez and
Luis Eduardo Bueso de Barrio and
Ignacio Ballesteros and
{\'{A}}ngel Herranz and
Julio Mari{\~{n}}o and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
editor = {Stavros Aronis and
Burcu Kulahcioglu Ozkan},
title = {Executable contracts for Elixir},
booktitle = {Erlang '22: 21st {ACM} {SIGPLAN} International Workshop on Erlang,
Ljubljana, Slovenia, 11 September 2022},
pages = {40--46},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3546186.3549930},
doi = {10.1145/3546186.3549930},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/0001BBHMEF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BarrioFHEM21,
author = {Luis Eduardo Bueso de Barrio and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz and
Clara Benac Earle and
Julio Mari{\~{n}}o},
editor = {Stavros Aronis and
Annette Bieniusa},
title = {Makina: a new QuickCheck state machine library},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Workshop on
Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021},
pages = {41--53},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471871.3472964},
doi = {10.1145/3471871.3472964},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/BarrioFHEM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MarinoAFH19,
author = {Julio Mari{\~{n}}o and
Ra{\'{u}}l N. N. Alborodo and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva},
title = {Synthesis of verifiable concurrent Java components from formal models},
journal = {Softw. Syst. Model.},
volume = {18},
number = {1},
pages = {71--105},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0581-1},
doi = {10.1007/S10270-017-0581-1},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MarinoAFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/FredlundHM15,
author = {Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
title = {Applying Property-Based Testing in Teaching Safety-Critical System
Programming},
booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
pages = {309--316},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAA.2015.53},
doi = {10.1109/SEAA.2015.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/FredlundHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/EarleFHM14,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {Laura M. Castro and
Hans Svensson},
title = {Jsongen: a quickcheck based library for testing {JSON} web services},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang,
Gothenburg, Sweden, September 5, 2014},
pages = {33--41},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633448.2633454},
doi = {10.1145/2633448.2633454},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/EarleFHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/FredlundEHM14,
author = {Lars{-}{\AA}ke Fredlund and
Clara Benac Earle and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o{-}Carballo},
title = {Property-Based Testing of {JSON} Based Web Services},
booktitle = {2014 {IEEE} International Conference on Web Services, ICWS, 2014,
Anchorage, AK, USA, June 27 - July 2, 2014},
pages = {704--707},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICWS.2014.110},
doi = {10.1109/ICWS.2014.110},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/FredlundEHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FredlundHM14,
author = {Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {Carlos Canal and
Akram Idani},
title = {A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent
Systems},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2014 Collocated Workshops:
HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September
1-2, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8938},
pages = {116--130},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-15201-1\_8},
doi = {10.1007/978-3-319-15201-1\_8},
timestamp = {Sun, 25 Oct 2020 22:54:47 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FredlundHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RodriguezFHM14,
author = {Ricardo J. Rodr{\'{\i}}guez and
Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Execution and Verification of {UML} State Machines with Erlang},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {284--289},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_22},
doi = {10.1007/978-3-319-10431-7\_22},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/RodriguezFHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jeric/CarroHM13,
author = {Manuel Carro and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
title = {A model-driven approach to teaching concurrency},
journal = {{ACM} Trans. Comput. Educ.},
volume = {13},
number = {1},
pages = {5:1--5:19},
year = {2013},
url = {https://doi.org/10.1145/2414446.2414451},
doi = {10.1145/2414446.2414451},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jeric/CarroHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/Herranz-NievaM11,
author = {{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {A Verified Implementation of Priority Monitors in Java},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {160--177},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_11},
doi = {10.1007/978-3-642-31762-0\_11},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/Herranz-NievaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Herranz-NievaM11,
author = {{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Synthesis of Logic Programs from Object-Oriented Formal Specifications},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {95--105},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.95},
doi = {10.4230/LIPICS.ICLP.2011.95},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Herranz-NievaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fernandez-SorianoMH12,
author = {Ana Mar{\'{\i}}a Fern{\'{a}}ndez{-}Soriano and
Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {A Tool for the Integration of Constraint Solving in Spreadsheets},
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 = {35--45},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.004},
doi = {10.1016/J.ENTCS.2011.12.004},
timestamp = {Fri, 25 Nov 2022 14:12:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fernandez-SorianoMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/es/Nieva10,
author = {{\'{A}}ngel Herranz{-}Nieva},
title = {An Object-oriented Formal Notation: Executable Specifications in Clay
= Una notaci{\'{o}}n formal orientada a objetos : especificaciones
ejecutables con Clay},
school = {Technical University of Madrid, Spain},
year = {2010},
url = {https://oa.upm.es/5682/},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/es/Nieva10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/TaibiHM09,
author = {Toufik Taibi and
{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Stepwise Refinement Validation of Design Patterns Formalized in {TLA+}
using the {TLC} Model Checker},
journal = {J. Object Technol.},
volume = {8},
number = {2},
pages = {137--161},
year = {2009},
url = {https://doi.org/10.5381/jot.2009.8.2.a3},
doi = {10.5381/JOT.2009.8.2.A3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/TaibiHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/Herranz-NievaMCM09,
author = {{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o and
Manuel Carro and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {Modeling Concurrent Systems with Shared Resources},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {102--116},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_9},
doi = {10.1007/978-3-642-04570-7\_9},
timestamp = {Sun, 02 Oct 2022 16:01:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/Herranz-NievaMCM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/PerezHMM08,
author = {Ivan Perez and
{\'{A}}ngel Herranz{-}Nieva and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Ana Moreira and
Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
Claudio de la Riva and
Javier Tuya},
title = {Modelling Mash-up Resources},
booktitle = {{XIII} Jornadas de Ingenier{\'{\i}}a del Software y Bases de
Datos {(JISBD} 2008), Gij{\'{o}}n, Spain, October 7-10, 2008.
Proceedings},
pages = {135--146},
year = {2008},
timestamp = {Wed, 14 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/PerezHMM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Marpons-UceroMCHMF08,
author = {Guillem Marpons{-}Ucero and
Julio Mari{\~{n}}o{-}Carballo and
Manuel Carro and
{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro and
Lars{-}{\AA}ke Fredlund},
editor = {Paul Hudak and
David Scott Warren},
title = {Automatic Coding Rule Conformance Checking Using Logic Programming},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {18--34},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_3},
doi = {10.1007/978-3-540-77442-6\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Marpons-UceroMCHMF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marpons-UceroMCHFMP09,
author = {Guillem Marpons{-}Ucero and
Julio Mari{\~{n}}o and
Manuel Carro and
{\'{A}}ngel Herranz{-}Nieva and
Lars{-}{\AA}ke Fredlund and
Juan Jos{\'{e}} Moreno{-}Navarro and
{\'{A}}lvaro Polo},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {A Coding Rule Conformance Checker Integrated into {GCC}},
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 = {149--159},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.065},
doi = {10.1016/J.ENTCS.2009.07.065},
timestamp = {Thu, 09 Mar 2023 14:51:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Marpons-UceroMCHFMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/MarinoHM07,
author = {Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Demand analysis with partial predicates},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {1-2},
pages = {153--182},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002882},
doi = {10.1017/S1471068406002882},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MarinoHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0344,
author = {Guillem Marpons{-}Ucero and
Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva and
Lars{-}{\AA}ke Fredlund and
Manuel Carro and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Automatic Coding Rule Conformance Checking Using Logic Programs},
journal = {CoRR},
volume = {abs/0711.0344},
year = {2007},
url = {http://arxiv.org/abs/0711.0344},
eprinttype = {arXiv},
eprint = {0711.0344},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0711-0344.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0602008,
author = {Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Demand Analysis with Partial Predicates},
journal = {CoRR},
volume = {abs/cs/0602008},
year = {2006},
url = {http://arxiv.org/abs/cs/0602008},
eprinttype = {arXiv},
eprint = {cs/0602008},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0602008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/CarroMHM04,
author = {Manuel Carro and
Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {C. Neville Dean and
Raymond T. Boute},
title = {Teaching How to Derive Correct Concurrent Programs from State-Based
Specifications and Code Patterns},
booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, {TFM} 2004, Ghent,
Belgium, November 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3294},
pages = {85--106},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30472-2\_6},
doi = {10.1007/978-3-540-30472-2\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tfm/CarroMHM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/Herranz-NievaM03,
author = {{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
title = {Rapid Prototyping and Incremental Evolution Using {SLAM}},
booktitle = {14th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2003), 9-11 June 2003, San Diego, CA, {USA}},
pages = {201},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/IWRSP.2003.1207049},
doi = {10.1109/IWRSP.2003.1207049},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/Herranz-NievaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xpu/Herranz-NievaM03,
author = {{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Michele Marchesi and
Giancarlo Succi},
title = {Formal Extreme (and Extremely Formal) Programming},
booktitle = {Extreme Programming and Agile Processes in Software Engineering, 4th
International Conference, {XP} 2003, Genova, Italy, May 25-29, 2003
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2675},
pages = {88--96},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44870-5\_12},
doi = {10.1007/3-540-44870-5\_12},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/xpu/Herranz-NievaM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HerranzMM02,
author = {{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro and
N. Maya},
editor = {Marco Comini and
Moreno Falaschi},
title = {Declarative Reflection and its Application as a Pattern Language},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2002, Grado, Italy, June 20-22, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {76},
pages = {197--215},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80794-1},
doi = {10.1016/S1571-0661(04)80794-1},
timestamp = {Wed, 07 Dec 2022 09:09:50 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HerranzMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/Herranz-NievaM00,
author = {{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Mireille Ducass{\'{e}}},
title = {Generation of and Debugging with Logical Pre and Post-Conditions},
booktitle = {Proceedings of the Fourth International Workshop on Automated Debugging,
{AADEBUG} 2000, Munich, Germany, August 28-30th, 2000},
year = {2000},
url = {https://arxiv.org/abs/cs/0101009},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/Herranz-NievaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jisbd/Herranz-NievaM00,
author = {{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Carlos Delgado and
Esperanza Marcos and
Jos{\'{e}} Manuel Marqu{\'{e}}s Corral},
title = {Towards Automating the Iterative Rapid Prototyping Process with the
{SLAM} system},
booktitle = {V Jornadas Ingenier{\'{\i}}a de Software y Bases de Datos {(JISBD}
2000), 8, 9 y 10 de noviembre, Valladolid},
pages = {217--228},
publisher = {Universidad de Valladolid, Departamento de Inform{\'{a}}tica},
year = {2000},
timestamp = {Fri, 12 Dec 2003 08:51:26 +0100},
biburl = {https://dblp.org/rec/conf/jisbd/Herranz-NievaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/Herranz-NievaM00,
author = {{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Mar{\'{\i}}a Alpuente},
title = {On the Role of Functional-logic Languages for the Debugging of Imperative
Programs},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {23--41},
year = {2000},
timestamp = {Tue, 30 Nov 2004 09:20:36 +0100},
biburl = {https://dblp.org/rec/conf/wflp/Herranz-NievaM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wflp/MarinoHM00,
author = {Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Mar{\'{\i}}a Alpuente},
title = {Partial Predicates for Demand Analysis},
booktitle = {9th International Workshop on Functional and Logic Programming, WFLP'2000,
Benicassim, Spain, September 28-30, 2000},
pages = {324--339},
year = {2000},
timestamp = {Tue, 30 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wflp/MarinoHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Moreno-NavarroMPHG96,
author = {Juan Jos{\'{e}} Moreno{-}Navarro and
Julio Mari{\~{n}}o and
Andr{\'{e}}s del Pozo{-}Prieto and
{\'{A}}ngel Herranz{-}Nieva and
Julio Garc{\'{\i}}a{-}Mart{\'{\i}}n},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Adding Type Classes to Functional-Logic Languages},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {427--438},
year = {1996},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Moreno-NavarroMPHG96.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-09-22 00:39 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:
