@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}
}
@inbook{Marino2015:jcsp,
  editor = {Kevin Chalmers, Jan B\ae~gaard Pedersen, Frederick R. M. 
              Barnes, Jan F. Broenink, Ruth Ivimey-Cook, Adam T. Sampson and 
              Peter H. Welch},
  title = {Communicating Process Architectures, CPA2015},
  chapter = {A Model-driven Methodology for Generating and
                  Verifying CSP-based {J}ava Code},
  publisher = {{O}pen {C}hannel {P}ublishing {L}td.},
  year = {2015},
  address = {Oxford, UK},
  author = {Julio Mari{\~{n}}o and Ra\'ul N N Alborodo},
  pages = {85-108},
  tipoactividad = {Capitulos de libro},
  internacional = {yes},
  isbn = {978-0-9565409-9-7},
  note = {To appear in 2016}
}
@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},
  keywords = {Zoom debugging},
  keywords = {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}
}
@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{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}
}
@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}
}
@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}
}
@article{AFHM:testing_shared_journal,
  title = {A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent
               Systems (revised version of conference publication)},
  tipoactividad = {Art{\'{i}}culos en revistas},
  abstract = {
                The paper describes a framework for testing
                a class of safety-critical concurrent systems
                implemented using shared resource specifications.

                Shared resources contain declarative specifications of process
                interaction that can be used to derive, in a \emph{model-driven} way,
                the most delicate parts of a concurrent system. Here, we propose their
                use to build a state-based model that will help in testing a real
                implementation of the resource. The framework has been implemented
                using Erlang and QuickCheck and it source code is available.

                The paper also provides a novel parametric operational semantics for
                shared resources with scheduling policy annotations and a methodology
                to guide test case generation from the shared resource specifications
                and a classification of common mistakes.

                We illustrate our framework by applying it to testing Java
                implementations of a prototypical automated shipping plant.
  },
  year = 2015,
  author = {Lars{-}{\AA}ke Fredlund and
               {\'{A}}ngel Herranz{-}Nieva and
               Ra{\'u}l N N Alborodo and
               Julio Mari{\~{n}}o},
  journal = {Journal of Risk and Reliability},
  note = {Accepted for publication, to appear in 2016}
}
@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.