@comment{{Al final apareció en 2018}}
@inproceedings{DBLP:conf/euromicro/EarleSFG15,
author = {Clara Benac Earle and Ana Mar{\'{\i}}a Fern{\'{a}}ndez
Soriano and Lars{-}{\AA}ke Fredlund and Elena
G{\'{o}}mez{-}Mart{\'{\i}}nez},
title = {Teaching Software Safety to Master Students},
booktitle = {41st Euromicro Conference on Software Engineering and
Advanced Applications, {EUROMICRO-SEAA} 2015, Madeira,
Portugal, August 26-28, 2015},
pages = {306--308},
year = {2015},
crossref = {DBLP:conf/euromicro/2015},
url = {http://dx.doi.org/10.1109/SEAA.2015.67},
doi = {10.1109/SEAA.2015.67},
timestamp = {Wed, 17 Feb 2016 10:14:45 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/euromicro/EarleSFG15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{2016JSS,
author = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
Marino Linaje and
Fernando S{\'{a}}nchez-Figueroa and
Andres Iglesias-P{\'{e}}rez and
Juan Carlos Preciado and
Rafael G{\'{o}}nzalez-Cabero and
Jos{\'{e}} Merseguer},
title = {A Semantic Approach for Designing Assistive Software Recommender Systems},
journal = {Journal of Systems and Software},
year = {2015},
volume = {104},
pages = {166-178},
doi = {doi:10.1016/j.jss.2015.03.009},
tipoactividad = {Art{\'{i}}culos en revistas},
internacional = {yes},
isi-jcr = {yes}
}
@comment{{2015}}
@techreport{BabelTR-2015-002-macrogrammars,
author = {Jaime Nuche and Pablo Nogueira},
title = {A Syntactic Approach to Macro-Grammars for
Context-Free Grammars},
institution = {Babel research group (Universidad Politécnica de Madrid)},
year = 2015,
key = {BabelTR-2015-002},
pdf = {http://oa.upm.es/1828}
}
@techreport{BabelTR-2015-001-BOUP,
author = {Tomás García and Ángel Herranz},
title = {Prototipo BOUML para la traducción
de UML a autómatas temporales},
institution = {Babel research group (Universidad Politécnica de Madrid)},
year = 2015,
key = {BabelTR-2015-001},
pdf = {http://babel.upm.es/~aherranz/papers/BabelTR-2015-001.pdf}
}
@inproceedings{SEAA2015:teaching_testing_resources,
author = {Lars-Ake Fredlund and
Ángel Herranz and Julio Mariño},
title = {Applying Property-Based Testing in Teaching
Safety-Critical System Programming},
abstract = {
At the Universidad Politécnica de Madrid students attending
a course on concurrency are taught a high-level formalism
which permits concise specification of shared resources.
This formalism is used to express safety-critical access policies
for typical control problems such as robot plants.
Students are moreover provided with programming recipes
for implementing such shared resource specifications in
programming languages (typically Java). The teachers of the
course use various tools to ensure that the implementations
developed by students for a shared resource are of an acceptable quality.
Such tools include normal unit tests,
but also the systematic application of property-based
testing to judge the quality of the exercises. In this article
we provide an overview of the tools, techniques and methods used
in one particular exercise of the course: the implementation
of a control system for an automated warehouse.
},
booktitle = {41st Euromicro Conference on Software Engineering
and Advanced Applications (SEAA)},
year = {2015},
pages = {309-316},
publisher = {IEEE},
note = {Best paper award.},
doi = {doi:10.1109/SEAA.2015.53}
}
@unpublished{HIPEAC2015,
author = {Guillermo Vigueras and
Salvador Tamarit and
Manuel Carro and Julio Mariño},
title = {Towards a Rule-Based Approach to Generate
High-Performance Scientific Code},
note = {Poster and invited talk at HiPEAC 2015, Amsterdam},
month = {January},
year = {2015}
}
@proceedings{DBLP:journals/corr/Escobar15,
editor = {Santiago Escobar},
title = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
year = {2015},
url = {http://dx.doi.org/10.4204/EPTCS.173},
doi = {10.4204/EPTCS.173},
timestamp = {Fri, 04 Mar 2016 13:11:18 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Escobar15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/www/AlarteIST15,
revisores = {yes},
internacional = {yes},
tipoactividad = {Ponencias en congresos},
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
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},
year = {2015},
crossref = {DBLP:conf/www/2015c},
url = {http://doi.acm.org/10.1145/2740908.2742835},
doi = {10.1145/2740908.2742835},
timestamp = {Mon, 25 May 2015 18:38:50 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/www/AlarteIST15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/www/2015c,
editor = {Aldo Gangemi and
Stefano Leonardi and
Alessandro Panconesi},
title = {Proceedings of the 24th International Conference on World Wide Web
Companion, {WWW} 2015, Florence, Italy, May 18-22, 2015 - Companion
Volume},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2740908},
isbn = {978-1-4503-3473-0},
timestamp = {Mon, 25 May 2015 17:36:29 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/www/2015c},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{Caballero2015104,
tipoactividad = {Artículos en revistas},
title = {A zoom-declarative debugger for sequential Erlang programs },
journal = {Science of Computer Programming },
volume = {110},
number = {},
pages = {104 - 118},
year = {2015},
note = {},
issn = {0167-6423},
doi = {http://dx.doi.org/10.1016/j.scico.2015.06.011},
url = {http://www.sciencedirect.com/science/article/pii/S0167642315001343},
author = {Rafael Caballero and Enrique Martin-Martin and Adrián Riesco and Salvador Tamarit},
keywords = {Erlang, Zoom debugging, Declarative debugging},
abstract = {Abstract We present a declarative debugger for sequential Erlang programs. The tool is started when a program produces some unexpected result, and proceeds asking questions to the user about the correctness of some subcomputations until an erroneous program function is found. Then, the user can refine the granularity by zooming in the function, checking the values bound to variables and the if/case/try-catch branches taken during the execution. We show by means of an extensive benchmark that the result is a usable, scalable tool that complements already existing debugging tools such as the Erlang tracer and Dialyzer. Since the technique is based on a formal calculus, we are able to prove the soundness and completeness of the approach. }
}
@inproceedings{cmrtPROLE2015,
revisores = {yes},
internacional = {no},
tipoactividad = {Ponencias en congresos},
author = {Rafael Caballero and
Enrique Martin{-}Martin and
Adri{\'{a}}n Riesco and
Salvador Tamarit},
title = {A Declarative Debugger for Concurrent Erlang Programs},
booktitle = {XV Jornadas sobre Programaci{\'{o}}n y Lenguajes, PROLE 2015},
year = 2015,
publisher = {Universidad de Cantabria}
}
@inproceedings{tmvcPROLE2015,
revisores = {yes},
internacional = {no},
tipoactividad = {Ponencias en congresos},
author = {Salvador Tamarit and
Julio Mari{\~{n}}o and
Guillermo Vigueras and
Manuel Carro},
title = {A Haskell Implementation of a Rule-Based Program Transformation for C Programs},
booktitle = {XV Jornadas sobre Programaci{\'{o}}n y Lenguajes, PROLE 2015},
year = 2015,
publisher = {Universidad de Cantabria}
}
@inproceedings{aistPROLE2015,
revisores = {yes},
internacional = {no},
tipoactividad = {Ponencias en congresos},
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
title = {A Collection of Website Benchmarks Labelled for Template Detection and Content Extraction},
booktitle = {XV Jornadas sobre Programaci{\'{o}}n y Lenguajes, PROLE 2015},
year = 2015,
publisher = {Universidad de Cantabria}
}
@inproceedings{lostLOPSTR2015,
revisores = {yes},
internacional = {yes},
tipoactividad = {Ponencias en congresos},
author = {Marisa Llorens and
Javier Oliver and
Josep Silva and
Salvador Tamarit},
title = {Dynamic Slicing of CSP Via Tracking},
booktitle = {25th International Symposium on
Logic-Based Program Synthesis and Transformation,
LOPSTR 2015},
year = 2015,
publisher = {Università degli Studi di Siena}
}
@article{DBLP:journals/scp/DiazEF15,
author = {{\'{A}}lvaro Fern{\'{a}}ndez D{\'{\i}}az and Clara Benac
Earle and Lars{-}{\AA}ke Fredlund},
title = {Adding distribution and fault tolerance to Jason},
journal = {Sci. Comput. Program.},
volume = {98},
pages = {205--232},
year = {2015},
url = {http://dx.doi.org/10.1016/j.scico.2014.01.007},
doi = {10.1016/j.scico.2014.01.007},
timestamp = {Tue, 06 Jan 2015 19:47:50 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/scp/DiazEF15},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/euromicro/2015,
title = {41st Euromicro Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7302131},
isbn = {978-1-4673-7585-6},
timestamp = {Tue, 16 Feb 2016 13:59:25 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/euromicro/2015},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{2015:phd:vpablos,
author = {{Pablos Ceruelo}, Victor},
title = {Extending the Expressiveness of Fuzzy Logic Languages},
school = {Facultad de Inform{\'{a}}tica, Universidad Polit{\'{e}}cnica de Madrid},
note = {Advisor: Mu{\~{n}}oz-Hern{\'{a}}ndez},
year = 2015,
month = {July}
}
@inproceedings{padl2015stml,
author = {Salvador Tamarit and Guillermo Vigueras and Manuel Carro and
Julio Mari{\~{n}}o},
title = {A {H}askell Implementation of a Rule-Based Program
Transformation for {C} Programs},
booktitle = {Practical Aspects of Declarative Languages PADL 2015},
year = 2015,
editor = {Enrico Ponteli and Son Cao Tran},
series = {LNCS},
publisher = {Springer},
volume = {9131},
pages = {105-114}
}
@inproceedings{lopstr2014relmac,
author = {{Emilio Jes{\'{u}}s} Gallego Arias and
James Lipton and Julio Mari{\~{n}}o},
title = {Declarative Compilation for Constraint Logic Programming},
booktitle = {Logic Programming Synthesis and Transformation LOPSTR 2014},
year = 2015,
editor = {Maurizio Proietti and Hirohisa Seki},
series = {LNCS},
volume = {8981},
publisher = {Springer},
pages = {299-316}
}
@unpublished{BF:javaerlang,
title = {Functional Testing of Java Programs},
tipoactividad = {Ponencias en congresos},
abstract = {The paper describes an approach to testing Java code using a func-
tional programming language. Models for Java programs are ex-
pressed as Quviq Erlang QuickCheck properties, from which ran-
dom tests are generated and executed. To remove the need for writ-
ing boilerplate code to interface Java and Erlang, a new library,
JavaErlang, has been developed. The library provides a number of
interesting features, e.g., it supports automatic garbage collection
of Java objects communicated to Erlang, and permits Java classes
to be written entirely in Erlang. Moreover, as the library is built on
top of the Erlang distributed node concept, the Java program under
test runs in isolation from the Erlang testing code. The chief ad-
vantage of this testing approach is that a functional programming
language, with expressive data types and side-effect free libraries,
is very suited to formulating models for imperative programs. The
resulting testing methodology has been applied extensively to eval-
uate student Java exercises. },
year = 2015,
author = {Clara Benac Earle and
Lars{-}{\AA}ke Fredlund},
note = {Accepted to be published in LNCS after presentation at the 2015 International Symposium on Trends in Functional Programming (16th)}
}
@unpublished{FHM:teaching_concurrency_2015tet,
title = {Applying property-based testing in teaching safety-critical system programming
},
tipoactividad = {Ponencias en congresos},
abstract = {
At the Universidad Polit{\'{e}}cnica de Madrid students attending
a course on concurrency are taught a high-level formalism
which permits concise specification of shared resources.
This formalism is used to express safety-critical access policies
for typical control problems such as e.g. robot plants, etc.
Students are moreover provided with programming recipes
for implementing such shared resource specifications in
programming languages (typically Java). The teachers of the
course use various tools to assure that the implementations
students develop for a shared resource are of an acceptable quality.
Such tools include normal unit tests,
but also the systematic application of property-based
testing to judge the quality of the exercises. In this article
we provide an overview of the tools, techniques and methods used
in one particular exercise of the course: the implementation
of a control system for an automated warehouse.
},
year = 2015,
author = {Lars{-}{\AA}ke Fredlund and
{\'{A}}ngel Herranz{-}Nieva and
Julio Mari{\~{n}}o},
note = {Submitted to the 2015 {EUROMICRO} Conference on Software Engineering and Advanced Applications}
}
This file was generated by bibtex2html 1.98.