@mastersthesis{monjaraz2010,
author = {Rubén Monjaraz},
title = {From the $\pi$-calculus to {Flat} {GHC}},
school = {Facultad de Informática, Universidad Politécnica de Madrid},
year = 2010,
month = {March},
note = {Advisor: Julio Mariño. Joint degree with TU Dresden.}
}
@misc{agarcia:2011:brics-retreat,
tipoactividad = {Otras publicaciones},
internacional = {no},
abstract = {The Beta Cube systematises and articulates a plethora of
lambda claculus reduction strategies. Along with the cube,
we present an hybridisation operator, which allows to
produce new strategies composing two existing strategies
from the cube. The cube reveals interesting algebraic
properties of the strategies and helps to reason about
standardization and normalization regarding to different
lambda theories.},
author = {{Álvaro} {García Pérez}},
title = {The Beta Cube},
month = {March 29},
year = {2010},
note = {Poster at the BRICS Retreat 2011},
address = {DanParcs Sohojlandet, Gjern, Denmark},
pdf = {http://babel.ls.fi.upm.es/home/~agarcia/posters/BRICS_retreat/poster.pdf}
}
@unpublished{agp_tpf2010,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {no},
author = {{Álvaro} {García Pérez}},
title = {El Cubo Beta},
note = {Charla impartida en el II Taller de Programación Funcional
{TPF} 2010},
descripcion = {El cálculo lambda y sus estrategias de reducción han tenido
un enorme impacto en el campo de los lenguajes de
programación, en particular en su diseño y mecanismos de
evaluación. Peter Sestoft recoge y define de forma precisa,
mediante reglas big-step, las estrategias de reducción más
conocidas del calculo lambda puro (sin tipos), estrategias
tales como applicative order, normal order, call-by-name,
call-by-value, head spine y otras menos conocidas
denominadas, informalmente, híbridas. Parte de la motivación
de Sestoft es precisar el significado que las estrategias
usadas en programación tienen en el cálculo lambda puro,
donde hay variables libres y se pueden reducir los cuerpos
de funciones. Sestoft implementa cada estrategia como una
función de reducción en ML. En esta charla hablaremos del
trabajo realizado junto a Pablo Nogueira y Emilio Jesús
Gallego Arias sobre el Cubo Beta presentado en el 1st
International Workshop on Strategies in Rewriting, Proving,
and Programming. Este trabajo es una continuación y
generalización de los esfuerzos de Sestoft.},
organization = {II Taller de Programación Funcional {TPF} 2010},
month = {September 7},
year = {2010},
url = {http://users.dsic.upv.es/~jsilva/TPF2010/}
}
@unpublished{susana:2010:charla8,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Susana Mu{\~n}oz Hern{\'a}ndez},
title = {Emerging Free Software market in Developing Countries},
organization = {SHARE (Improving European Embedded Sustems Industry
through Open Source SW Sharing) Project},
address = {SIGs Online Event},
month = {February 17},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-share.pdf}
}
@unpublished{susana:2010:charla7,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Susana Mu{\~n}oz Hern{\'a}ndez},
title = {Tecnologia para el Desarrollo y la Cooperacion (TEDECO)},
organization = {1a Jornada de Solidaridad y Cooperacion de la UPM},
address = {Madrid, Spain},
month = {April 28},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-TEDECO_Jornadas_Solidaridad.pdf}
}
@unpublished{susana:2010:charla6,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Susana Mu{\~n}oz Hern{\'a}ndez},
title = {Experiéncias de TIC en Desarrollo},
organization = {Ingeniería de Telecomunicación en Cooperación para el Desarrollo},
address = {Madrid, Spain},
month = {April 29},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-TEDECO_Jornadas_Solidaridad.pdf}
}
@unpublished{susana:2010:charla5,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Susana Mu{\~n}oz Hern{\'a}ndez},
title = {Tecnología para el Desarrollo y la Cooperación: visión crítica},
organization = {Introducción a la cooperación universitaria para el desarrollo},
address = {Madrid, Spain},
month = {July 7},
year = {2010}
}
@unpublished{susana:2010:charla4,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Susana Mu{\~n}oz Hern{\'a}ndez},
title = {Internacionalización en los estudios de Máster},
organization = {1ª Jornada De Innovación Educativa: Innovación en la gestión y organización de la docencia y del aprendizaje en los títulos de grado y máster},
address = {Cadiz, Spain},
month = {July 14},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-UCA.pdf}
}
@unpublished{susana:2010:charla3,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Susana {Muñoz-Hernández}},
title = {Seminario "Introducción al trabajo en equipo I"},
organization = {II Plan de Tutoría Curricular de la Facultad de Informática de la Universidad Politécnica de Madrid},
address = {Madrid, Spain},
month = {September 2},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-Trabajo_en_Equipo.pdf}
}
@unpublished{susana:2010:charla2,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Susana {Muñoz-Hernández}},
title = {Mesa Redonda "¿Qué hace la universidad por el acercamiento de las culturas?"},
organization = {VII Jornadas Internacionales de Innovación Universitaria de la Universidad Europea de Madrid},
address = {Madrid, Spain},
month = {September 6},
year = {2010}
}
@unpublished{susana:2010:charla1,
tipoactividad = {Cursos, seminarios y tutoriales},
internacional = {yes},
author = {Susana {Muñoz-Hernández}},
title = {Seminario "Introducción al trabajo en equipo II"},
organization = {II Plan de Tutoría Curricular de la Facultad de Informática de la Universidad Politécnica de Madrid},
address = {Madrid, Spain},
month = {October 19},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/slides/2010/slides-smh-Trabajo_en_Equipo.pdf}
}
@inproceedings{5492481,
author = {Mateo, J.M. and del Rey, D.P. and {Muñoz-Hernández}, Susana},
booktitle = {Education Engineering (EDUCON), 2010 IEEE},
title = {Student motivation and cross-curricular development through e-learning applied to cooperation},
year = {2010},
month = {April},
volume = {},
number = {},
pages = {913 -920},
abstract = {Technologies and especially information and communication
technologies (ICT) are barrier breaking in the
current social scenario. Their use is becoming
essential for any professional, and their scope of
use is becoming particularly widespread in education
due to the existence of communication outside the
classroom through e-learning tools. Universities,
which play an innovative role in education, are
using ICT-based approaches to adapt their learning
methodology. In this paper, we present a model where
students from first-world universities prepare and
adapt course contents for use in educational
institutions in developing countries. The objectives
of this initiative of students' participating in
e-learning projects with developing countries are to
improve their motivation, develop a set of
cross-curricular competencies, and transfer
technologies within the scope of university
development cooperation.},
keywords = {course contents;cross-curricular
development;e-learning;educational
institutions;educational universities;information
and communication technologies;student
motivation;university development
cooperation;computer aided instruction;educational
courses;educational institutions;},
doi = {10.1109/EDUCON.2010.5492481},
issn = {}
}
@inproceedings{Martinez_ICTEL2010,
author = {Mart\'inez-Mateo, Jes\'us and {Muñoz-Hernández}, Susana and P\'erez-Rey, David},
title = {{A Discussion of Thin Client Technology for Computer Labs}},
booktitle = {First International Multi-Conference on Innovative Developments in ICT (INNOV 2010)},
year = {2010},
editor = {Shishkov, Boris and Tsihrintzis, George A. and Virvou, Maria},
pages = {119-124},
organization = {Interdisciplinary Institute for Collaboration and Research on Enterprise Systems and Technology (IICREST)},
month = {July},
note = {First International Conference on Technology-Enhanced Learning (ICTEL 2010)}
}
@inproceedings{DBLP:conf/ijcci/VegaLM10,
author = {T. Trigo de la Vega and
P. Lopez-Garc\'{\i}a and
Susana {Muñoz-Hernández}},
title = {Towards Fuzzy Granularity Control in Parallel/Distributed
Computing},
booktitle = {IJCCI (ICFC-ICNC)},
year = {2010},
pages = {43-55},
crossref = {DBLP:conf/ijcci/2010-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ijcci/2010-1,
editor = {Joaquim Filipe and
Janusz Kacprzyk},
title = {ICFC-ICNC 2010 - Proceedings of the International Conference
on Fuzzy Computation and International Conference on Neural
Computation, [parts of the International Joint Conference
on Computational Intelligence IJCCI 2010], Valencia, Spain,
October 24-26, 2010},
booktitle = {IJCCI (ICFC-ICNC)},
publisher = {SciTePress},
year = {2010},
isbn = {978-989-8425-32-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inbook{book:2010:susana,
author = {Susana {Muñoz-Hernández}},
title = {Robot Soccer},
chapter = {RFuzzy: an Easy and Expressive Tool for Modelling
the Cognitive Layer in RoboCupSoccer},
publisher = {InTech},
editor = {Vladan Papic},
year = {2010},
isbn = {978-953-307-036-0},
tipoactividad = {Capitulos de libro},
internacional = {yes},
pdf = {http://www.intechopen.com/articles/show/title/rfuzzy-an-easy-and-expressive-tool-for-modelling-the-cognitive-layer-in-robocupsoccer}
}
@techreport{2010:pehe:ezweb_comm_models,
author = {{Ángel} Herranz and {Iván} {Pérez}},
title = {Communication Models for Resource Mashups},
institution = {Babel Group, Universidad Politécnica de Madrid},
year = {2010},
number = {UPM-BABEL-2010-002},
month = mar
}
@techreport{2010:pehe:ezweb_types,
author = {{Ángel} Herranz and {Iván} {Pérez}},
title = {Compatible Communication in Mashups},
institution = {Babel Group, Universidad Politécnica de Madrid},
year = {2010},
number = {UPM-BABEL-2010-001},
month = jan
}
@inproceedings{erlang:2010:afdcbelf,
title = {Implementing a Multiagent Negotiation Protocol in Erlang.},
author = {{Álvaro} {Fernández Díaz} and {Clara {Benac Earle}} and {Lars-{\AA}ke {Fredlund}}},
booktitle = {Ninth ACM SIGPLAN Erlang Workshop, Erlang'10},
isbn = {978-1-60558-507-9},
month = {September 30},
year = {2010},
publisher = {ACM},
pages = {69--74},
tipoactividad = {Ponencias en congresos},
pdf = {http://babel.ls.fi.upm.es/~fred/p69-fernandez.pdf},
address = {Baltimore, Maryland, USA},
revisores = {yes},
abstract = { In this paper we present the verification of a multi-agent
negotiation protocol. The verification of this kind of highly
concurrent and distributed systems is hard. We present some evidence
that shows Erlang is a very good choice for implementing this kind
of systems due to the quite high mapping between the protocol
specification and Erlang constructs. The use of this programming
language also provides the capability to handle a larger number of agents
than other implementations, with substantially better performance.}
}
@inproceedings{erlang:2010:svensson_fredlund_benac,
title = {A unified semantics for future Erlang},
author = {H. Svensson and C. Benac Earle and L. Fredlund},
isbn = {978-1-60558-507-9},
booktitle = {Ninth ACM SIGPLAN Erlang Workshop, Erlang'10},
tipoactividad = {Ponencias en congresos},
pages = {23--32},
day = {30},
publisher = {ACM},
month = {September},
year = {2010},
pdf = {http://babel.ls.fi.upm.es/~fred/p23-svensson.pdf},
address = {Baltimore, Maryland, USA}
}
@inproceedings{jisbd:2010:vpcafdsmh,
title = {Developing user-sensitive search engines from fuzzy concepts.},
author = {V{\'i}ctor {Pablos-Ceruelo} and {\'A}lvaro {Fern{\'a}ndez D{\'i}az} and Susana {Muñoz-Hernández}},
booktitle = {Actas XV Jornadas de Ingenier{\'i}a del Software y Bases de Datos (JISBD'10)},
month = {September 7-10},
year = {2010},
address = {Valencia, Spain},
pages = {175-186},
isbn = {978-84-92812-51-6},
note = {http://www.dsic.upv.es/conferences/jisbd2010/articulos.shtml}
}
@inproceedings{hardandsoft:2010:afdvpcsmh,
title = {Developing user-sensitive e-commerce applications from fuzzy concepts},
author = {{\'A}lvaro {Fern{\'a}ndez D{\'i}az} and Susana {Muñoz-Hernández} and V{\'i}ctor {Pablos-Ceruelo}},
booktitle = {Algebraic methods, soft computing, and program verification},
month = {April 21-23},
year = {2010},
note = {Keynote Speakers: Thomas Arts (Univ. of Gothenburg), Gilles Barthe (Madrid Institute for Advanced Studies (Software)), Stefan Berghofer (Technische Universität München), Mario de Jes{\'u}s P{\'e}rez Jim{\'e}nez (Univ. de Sevilla), Jos{\'e} Luis Ruiz Reina (Univ. de Sevilla), Enric Trillas (European Centre for Soft Computing)},
address = {International Center for Mathematical Meetings (CIEM), Castro Urdiales, Cantabria, Spain},
organization = {Julio Rubio (Univ. de La Rioja) and Manuel Ojeda-Aciego (Univ. de M{\'a}laga). Sponsored by: Ingenio2010, CIEM, Excmo. Ayuntamiento de Castro Urdiales},
internacional = {yes}
}
@inproceedings{hema:2010:esoofn,
author = {{Ángel} Herranz and Julio Mariño},
title = {Executable Specifications in an Object Oriented Formal Notation},
booktitle = {20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010},
organization = {Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz},
address = {Hagenberg, Austria},
month = jul,
year = {2010},
abstract = {Early validation of requirements is crucial for the rigorous
development of software. Without it, even the most formal of the
methodologies will produce the wrong outcome.
One successful approach, popularised by some of the so-called
lightweight formal methods, consists in generating (finite,
small) models of the specifications. Another possibility is to build a
running prototype from those specifications.
In this paper we show how to obtain executable prototypes from formal
specifications written in an object oriented notation by translating
them into logic programs.
This has a number of advantages over other lightweight methodologies.
For instance, we recover the possibility of dealing with recursive
data types as specifications that use them often lack finite models.},
pages = {144-158},
tipoactividad = {Ponencias en congresos},
international = {yes},
revisores = {yes},
pdf = {http://babel.ls.fi.upm.es/~angel/papers/clay2prolog-LOPSTR2010preproceedings.pdf}
}
@inproceedings{castro_benac_fredlund_gulias_rivas:tfp2010,
author = {D. Castro and C. Benac Earle and L. Fredlund and V. Gul{\'}ias and S. Rivas},
title = {{Using McErlang to verify an Erlang process supervision component}},
booktitle = {Trends in Functional Programming 2010},
year = {2010},
alttipoactividad = {Ponencias en congresos},
abstract = {We present a case-study in which a tool for model checking programs
written in Erlang, McErlang, was used to verify a complex concurrent
component. The component is an alternative implementation of the standard
supervisor behaviour of Erlang/OTP. This implementation, in use at the
company LambdaStream, was checked against several safety and liveness
properties. In one case, McErlang found an error.},
pdf = {http://www.cs.ou.edu/tfp2010/files/22.pdf},
month = {May}
}
@inproceedings{castro_benac_fredlund_gulias_rivas:prole2010,
author = {D. Castro and C. Benac Earle and L. Fredlund and V. Gul{\'}ias and S. Rivas},
title = {A verification of a process supervisor with McErlang},
booktitle = {PROLE 2010 -- Jornadas sobre Programacion y Lenguajes},
abstract = {In this paper we present a work in progress on the formal verification
of a process supervisor using the McErlang model checker. The process
supervisor is an alternative implementation of the standard supervisor
behaviour of Erlang/OTP. This implementation, in use at the company
LambdaStream, was checked against several safety and liveness
properties.},
isbn = {978-84-92812-55-4},
pdf = {http://babel.ls.fi.upm.es/~fred/prole2010.pdf},
tipoactividad = {Ponencias en congresos},
year = {2010},
month = {September}
}
@article{protest_2010,
author = {Derrick, John and Walkinshaw, Neil and Arts, Thomas and Benac Earle, Clara and Cesarini, Francesco and Fredlund, Lars-Ake and Gulias, Victor and Hughes, John and Thompson, Simon},
affiliation = {Department of Computing, University of Sheffield, Sheffield, S1 4DP UK},
tipoactividad = {Ponencias en congresos},
title = {Property-Based Testing - The ProTest Project},
booktitle = {Formal Methods for Components and Objects},
series = {Lecture Notes in Computer Science},
editor = {de Boer, Frank and Bonsangue, Marcello and Hallerstede, Stefan and Leuschel, Michael},
publisher = {Springer Berlin / Heidelberg},
isbn = {},
pages = {250-271},
isbn = {978-3-642-17070-6},
volume = {6286},
url = {http://dx.doi.org/10.1007/978-3-642-17071-3_13},
year = {2010}
}
@inproceedings{Quo_benac_fredlund_2010,
author = {Qiang Guo and John Derrick and Clara Benac Earle and Lars-{\AA}ke Fredlund},
title = {Model-Checking Erlang - A Comparison between EtomCRL2 and
McErlang},
booktitle = {Testing - practice and research techniques (TAIC PART 2010)},
year = {2010},
publisher = {LNCS, Springer Verlag},
number = {6303},
tipoactividad = {Ponencias en congresos},
location = {Windsor,UK},
pages = {23-3},
isbn = {3-642-15584-7},
ee = {http://dx.doi.org/10.1007/978-3-642-15585-7_5},
abstract = {Model-checking programs is important in the development of a reliable software system. Two approaches might be applied to model-check a system at a source code level. One is to directly apply model-checking algorithm to the programming language; the other to abstract the program source codes into a formal specification, upon which some standard model-checkers can be used to verify system's properties. Both methods have recently been investigated for model-checking the functional programming language Erlang. Correspondingly, two Erlang model-checkers McErlang and Etomcrl2 are developed. This paper evaluates the two model-checkers by applying them to verify a a distributed and concurrent example - telecoms implemented in Erlang/OTP. A number of system key properties are model-checked with both tool-sets. Advantages and disadvantages upon the uses of Etomcrl2 and McErlang are compared and summarized. Through such a case study, we intend to evaluate the two model-checkers on their effectiveness when verifying distributed and concurrent systems, and propose suggestions for their future work.}
}
@article{gabbay:curhid-jv,
title = {Curry-Howard for incomplete first-order logic
derivations using one-and-a-half level terms},
author = {Murdoch J. Gabbay and Dominic Mulligan},
journal = {Information and Computation},
issn = {0890-5401},
volume = {208},
issue = {3},
month = {March},
year = {2010},
pages = {230-258},
doi = {http://dx.doi.org/10.1016/j.ic.2009.09.003}
}
@inproceedings{pniTPF10,
tipoactividad = {Conferencias invitadas en congresos},
internacional = {no},
revisores = {no},
author = {Pablo Nogueira},
title = {Programación Genérica Funcional},
booktitle = {II Taller de Programación Funcional, X Jornadas sobre
Programación y Lenguajes (PROLE), Congreso Español de
Informática (CEDI'10)},
year = {2010},
address = {Valencia},
month = {September 7},
organization = {Sociedad Científica Informática de España, IEEE Sección
España, Universidad Politécnica de Valencia}
}
@inproceedings{GNG:IWS:2010,
tipoactividad = {Ponencias en congresos},
internacional = {yes},
revisores = {yes},
author = {{Álvaro} García and Pablo Nogueira and Emilio Jesús {Gallego
Arias}},
title = {The Beta Cube (Extended Abstract)},
booktitle = {Proceedings of the 1st International Workshop on Strategies
in Rewriting, Proving, and Programming ({IWS}'10)},
pages = {3--7},
year = {2010},
editor = {César Muñoz and Hélène Kirchner},
address = {Edinburgh, UK},
month = {July 9},
abstract = {We define a big-step-style template for reduction strategies
that can be instantiated to the foremost (and more)
reduction strategies of the pure lambda calculus. We
implement the template in Haskell as a parametric monadic
reducer whose fixed points are reduction strategies. The
resulting code is clean and abstracts away from the
machinery required to guarantee semantics preservation for
all strategies in lazy Haskell. By interpreting some
parameters as boolean switches we obtain a reduction
strategy lattice or beta cube which captures the strategy
space neatly and systematically. We define a hybridisation
function that generates hybrid strategies by composing a
base and a subsidiary strategy from the cube. We prove an
absorption theorem which states that subsidiaries are
left-identities of their hybrids. More properties from the
cube remain to be explored},
url = {http://iws2010.inria.fr/IWS2010-proceedings.pdf},
pdf = {http://babel.ls.fi.upm.es/~agarcia/papers/IWS2010/beta-cube.pdf}
}
This file was generated by bibtex2html 1.95.