Publications

Following publications has been obtained by filtering the Babel Group publications database:

[FMH11]
Ana María Fernández-Soriano, Julio Mariño, and Ángel Herranz. A tool for the integration of constraint logic programming in spreadsheets. In Purificación Arenas, Víctor M. Gulías, and Pablo Nogueira, editors, Actas XI Jornadas sobre Programación y Lenguajes, pages 243-252, A Coruña, Spain, September 2011. ISBN 978-84-9749-487-8. [ bib ]
[HM11a]
Ángel Herranz and Julio Mariño. Synthesis of logic programs from object-oriented formal specifications. In Technical Communications of the 27th International Conference on Logic Programming, volume 11 of LIPIcs, pages 95-105, Lexington, Kentucky, USA, July 2011. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. ISBN: 978-3-939897-31-6. [ bib ]
[HBMM11]
Ángel Herranz, Clara Benac, Guillem Marpons, and Julio Mariño. Mechanising the validation of ERTMS requirements and new procedures. In 9th World Congress on Railway Research, page 33, May 2011. [ bib | .pdf ]
[HM11b]
Ángel Herranz and Julio Mariño. A verified implementation of priority monitors in Java. In Bernhard Beckert, Ferruccio Damiani, and Dilian Gurov, editors, Papers presented at the 2nd. International Conference on Formal Verification of Object-Oriented Software (FoVeOOS'11, number 26, pages 244-259, Turin, Italy, 2011. Karlsruhe Reports in Informatics. ISSN 2190-4782. [ bib ]
[Her11]
Ángel Herranz. An Object-Oriented Formal Notation: Executable Specifications in Clay. PhD thesis, Universidad Politécnica de Madrid, January 2011. [ bib ]
[HM10]
Ángel Herranz and Julio Mariño. Executable specifications in an object oriented formal notation. In 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, pages 144-158, Hagenberg, Austria, July 2010. Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz. [ bib | .pdf | Abstract ]
[HP10a]
Ángel Herranz and Iván Pérez. Communication models for resource mashups. Technical Report UPM-BABEL-2010-002, Babel Group, Universidad Politécnica de Madrid, March 2010. [ bib ]
[HP10b]
Ángel Herranz and Iván Pérez. Compatible communication in mashups. Technical Report UPM-BABEL-2010-001, Babel Group, Universidad Politécnica de Madrid, January 2010. [ bib ]
[MMC+09]
Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, and Álvaro Polo. A coding rule conformance checker integrated into GCC. ENTCS, 248:149-159, August 5 2009. [ bib | http | Abstract ]
[THM09]
Toufik Taibi, Ángel Herranz, and Juan José Moreno-Navarro. Stepwise refinement validation of design patterns formalized in tla+ using the tlc model checker. Journal of Object Technology (JOT, http://www.jot.fm/general/about/), 8(2):137-161, March 2009. [ bib | DOI | .pdf | Abstract ]
[HMCM09]
Ángel Herranz, Julio Mariño, Manuel Carro, and Juan José Moreno-Navarro. Modeling concurrent systems with shared resources. In Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, volume 5825 of Lecture Notes in Computer Science, pages 102-116, 2009. [ bib | http | .pdf | Abstract ]
[MMC+08b]
Guillem Marpons, Julio Mariño, Manuel Carro, Ángel Herranz, Lars-Åke Fredlund, Juan José Moreno-Navarro, and Álvaro Polo. A coding rule conformance checker integrated into GCC. In Jesús M. Almendros Jiménez and María José Suárez-Cabal, editors, VIII Jornadas sobre Programación y Lenguajes, PROLE 2008, pages 245-249, Gijón, Spain, October 7-10 2008. [ bib | .pdf | Abstract ]
[PHMM08]
Iván Pérez, Ángel Herranz, Susana Muñoz, and Juan José Moreno-Navarro. Modelling mash-up resources. In 13th Conference on Software Engineering and Databases, JISBD'08, pages 135-146, Gijón, Spain, October 7-10 2008. [ bib | .pdf ]
[MMC+08a]
Guillem Marpons, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz, Juan José Moreno-Navarro, and Lars-Åke Fredlund. Automatic coding rule conformance checking using logic programming. In Paul Hudak and David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, volume 4902 of Lecture Notes in Computer Science, pages 18-34, San Francisco CA, USA, January 7-8 2008. Springer. [ bib | http | Abstract ]
[MHF+07]
Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, Víctor Pablos-Ceruelo, Guillem Marpons, and Juan José Moreno-Navarro. Study of existing coding rule formalisms and compendium of common hazards. Use of coding rules in software industry. Technical report, Facultad de Informática, Universidad Politécnica de Madrid, Boadilla del Monte, Madrid, Spain, November 2007. [ bib ]
[MMH+07b]
Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Automatic coding rule conformance checking using logic programs. CoRR, abs/0711.0344, November 2007. [ bib | http | Abstract ]
[MMH+07a]
Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Automatic coding rule conformance checking using logic programs. In Patricia Hill and Vim Vanhoof, editors, 17th Workshop on Logic-based methods in Programming Environments, WLPE 2007, page 47, Porto, Portugal, September 2007. [ bib | http | Abstract ]
[MMH+07c]
Guillem Marpons, Julio Mariño, Ángel Herranz, Lars-Åke Fredlund, Manuel Carro, and Juan José Moreno-Navarro. Towards checking coding rule conformance using logic programming, August 2007. Poster at the 14th International Static Analysis Symposium, SAS 2007. [ bib | .pdf | Abstract ]
[HM07]
Ángel Herranz and Juan José Moreno-Navarro. Design Pattern Formalization Techniques, chapter Modeling and Reasoning about Design Patterns in SLAM-SL. IGI Publishing, March 2007. Other ISBN: 978-1-59904-221-3. [ bib | .pdf | Abstract ]
[MHM07]
Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Demandedness analysis with partial predicates. Theory and Practice of Logic Programming, 7(1-2):153-182, January 2007. [ bib ]
[HN05]
Ángel Herranz and Pablo Nogueira. More than parsing. In Francisco Javier López Fraguas, editor, Spanish Conference on Programming and Languages (CEDI-PROLE'05), pages 193-202. Thomson Paraninfo, September 2005. [ bib | .pdf | Abstract ]
[CMHM04]
Manuel Carro, Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Teaching how to derive correct concurrent programs from state-based specifications. Full paper, September 2004. [ bib | .ps.gz | Abstract ]
[AHM04]
Ángel Herranz and Julio Mariño. Por otra ruta, por favor. Novática, 1(170):73-75, August 2004. Contribución a la columna "Programar es Crear". [ bib ]
[HM04]
Ángel Herranz and Julio Mariño. Por otra ruta, por favor (cupcam 2003, problema e, solución). Novatica, 1(170):73, July 2004. Sección “Programar es crear”. [ bib | .pdf ]
[LH04]
José A. Leiva and Ángel Herranz. Un refactorizador simple (cupcam 2003, problema d, solución). Novatica, 1(169):74, May 2004. Sección “Programar es crear”. [ bib | .pdf ]
[CMAHM04]
Manuel Carro, Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Teaching how to derive correct concurrent programs (from state-based specifications and code patterns). In C.N. Dean and R.T. Boute, editors, Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, volume 3294 of LNCS, pages 85-106. Springer, 2004. ISBN 3-540-23611-2. [ bib ]
[HM03a]
Ángel Herranz and Juan José Moreno-Navarro. Formal agility. how much of each? In Taller de Metodologías Ágiles en el Desarrollo del Software. VIII Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2003, pages 47-51, Alicante, España, November 2003. Grupo ISSI. [ bib | .ps.gz | Abstract ]
[HMM03]
Ángel Herranz, Noelia Maya, and Juan José Moreno-Navarro. From executable specifications to java. In Juan José Moreno-Navarro and Manuel Palomar, editors, III Jornadas sobre Programación y Lenguajes, PROLE 2003, pages 33-44, Alicante, España, November 2003. Departamento de Lenguajes y Sistemas Informáticos, Universidad de Alicante. Depósito Legal MU-2299-2003. [ bib | .ps.gz | Abstract ]
[HM03c]
Ángel Herranz and Juan José Moreno-Navarro. Rapid prototyping and incremental evolution using SLAM. In 14th IEEE International Workshop on Rapid System Prototyping, RSP 2003), San Diego, California, USA, June 2003. [ bib | .ps.gz | Abstract ]
[HM03b]
Ángel Herranz and Juan José Moreno-Navarro. Formal extreme (and extremely formal) programming. In Michele Marchesi and Giancarlo Succi, editors, 4th International Conference on Extreme Programming and Agile Processes in Software Engineering, XP 2003, number 2675 in LNCS, pages 88-96, Genova, Italy, May 2003. [ bib | .pdf | Abstract ]
[AHCMS03]
Ángel Herranz, Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. Almejas gigantes e interfaces de usuario. Novática, 1(161):70-73, February 2003. Contribución a la columna "Programar es Crear". [ bib ]
[HMCS03]
Ángel Herranz, Julio Mariño, Manuel Carro, and Pablo Sanchez. Almejas gigantes e interfaces de usuario (solución del programa e). Novatica, 1(161):70, January 2003. Sección “Programar es crear”. [ bib | .pdf ]
[HMM02a]
Ángel Herranz, Juan José Moreno-Navarro, and Noelia Maya. Declarative reflection and its application as a pattern language. In Marco Comini and Moreno Falaschi, editors, Electronic Notes in Theoretical Computer Science, volume 76. Elsevier Science Publishers, November 2002. [ bib | .pdf | .ps.gz | Abstract ]
[AHCMS02]
Ángel Herranz, Manuel Carro, Julio Mariño, and Pablo Sánchez Torralba. No taléis el bosque por culpa de los árboles. Novática, 1(159):74-77, October 2002. Contribución a la columna "Programar es Crear". [ bib ]
[HMCS02]
Ángel Herranz, Julio Mariño, Manuel Carro, and Pablo Sanchez. No taléis el bosque por culpa de los árboles: solución. Novatica, 1(159):74, September 2002. Sección “Programar es crear”. [ bib | .pdf ]
[HMM02b]
Ángel Herranz, Juan José Moreno-Navarro, and Noelia Maya. Declarative reflection and its application as a pattern language. In Marco Comini and Moreno Falaschi, editors, 11th. International Workshop on Functional and Logic Programming (WFLP'02), Grado, Italy, June 2002. University of Udine. [ bib | .ps.gz | Abstract ]
[HM02b]
Ángel Herranz and Juan José Moreno-Navarro. Specifying in the large: Object-oriented specifications in the software development process. In B. J. Krämer H. Ehrig and A. Ertas, editors, The Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT'02), volume 1, Pasadena, California, June 2002. Society for Design and Process Science. ISSN 1090-9389. [ bib | .ps.gz | Abstract ]
[GHM02]
Carlos Gregorio, Ángel Herranz, and Raquel Martinez. Computing curricula 2001. Novática, 1(157):47-54, May 2002. In Spanish. [ bib | .ps.gz | .pdf | Abstract ]
[CHMS02]
Manuel Carro, Ángel Herranz, Julio Mariño, and Pablo Sánchez. Configuración de un aeropuerto: solución. Novatica, 1(156):72, March 2002. Sección “Programar es crear”. [ bib | .pdf ]
[HM02a]
Ángel Herranz and Juan José Moreno-Navarro. On the design of an object-oriented formal notation. In Fourth Workshop on Rigorous Object Oriented Methods, ROOM 4. King's College, London, March 2002. [ bib | .ps.gz | Abstract ]
[HM01b]
Ángel Herranz and Juan José Moreno-Navarro. Design patterns as class operators. Workshop on High Integrity Software Development at V Spanish Conference on Software Engineering, JISBD'01, November 2001. [ bib | .ps.gz | Abstract ]
[HM01a]
Ángel Herranz and Juan José Moreno-Navarro. Declarative reflection and its application as a pattern language. In Fernando Orejas, Fernando Cuartero, and Diego Cazorla, editors, I Jornadas sobre Programación y Lenguajes, PROLE 2001, pages 179-197, Almagro, Spain, November 2001. [ bib | .ps.gz | Abstract ]
[MH01]
Juan José Moreno-Navarro and Ángel Herranz. Declarative reflection and its application as a pattern language. Invited Session on “Formalization of Object-Oriented Methods, Patterns, and Frameworks”, The Fifth Multi-Conference on Systemics, Cybernetics and Informatics (SCI'2001), July 2001. [ bib | .ps.gz | Abstract ]
[HM01c]
Ángel Herranz and Juan José Moreno-Navarro. Slam-sl Tutorial. Grupo Babel, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Boadilla del Monte, Madrid, Spain, 2001. Draft based on Ángel Herranz's PhD. Thesis. [ bib | .ps.gz | Abstract ]
[HM00c]
Ángel Herranz and Juan José Moreno-Navarro. Towards automating the iterative rapid prototyping process with the SLAM system. In V Spanish Conference on Software Engineering, pages 217-228, November 2000. [ bib | .ps.gz | Abstract ]
[HMM00]
Ángel Herranz, Juan José Moreno-Navarro, and Julio Mariño. Demand analysis with partial predicates. In 9th International Workshop on Functional and Logic Programming (WFLP 2000), Benicassim, Spain, September 2000. Universidad Politécnica de Valencia. [ bib ]
[HM00b]
Ángel Herranz and Juan José Moreno-Navarro. On the role of functional-logic languages for the debugging of imperative programs. In 9th International Workshop on Functional and Logic Programming (WFLP 2000), Benicassim, Spain, September 2000. Universidad Politécnica de Valencia. [ bib | .ps.gz | Abstract ]
[HM00a]
Ángel Herranz and Juan José Moreno-Navarro. Generation of and debugging with logical pre and post conditions. In M. Ducasse, editor, Automated and Algorithmic Debugging 2000. TU Munich, August 2000. [ bib | .ps.gz | Abstract ]
[MMM+96]
J.J. Moreno-Navarro, J. Mariño, J. García Martín, Ángel Herranz, and A. del Pozo. Adding type-classes to functional-logic languages. In M. Martelli and M. Navarro, editors, APPIA-GULP-PRODE'96, pages 427-438. Universidad del País Vasco, Summer Courses, Basque Country University, 1996. [ bib ]
[Her93]
Ángel Herranz. Interpretación abstracta de lenguajes lógico funcionales. Master's thesis, Facultad de Informática, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, 28660, Boadilla del Monte, Madrid, Spain, October 1993. In Spanish. [ bib | .ps.gz | Abstract ]
[MHM93]
Julio Mariño, Ángel Herranz, and Juan José Moreno-Navarro. Demandedness analysis with dependence information for lazy narrowing. In W. Winsborough and S. Michaylov, editors, Workshop on Global Compilation, International Logic Programming Symposium October 26-30, 1993, Vancouver, BC, Canada, pages 99-114. Association for Logic Programming and Simon Fraser University, October 1993. Penn State University Technical Report. [ bib ]
[MH93]
Julio Mariño and Ángel Herranz. Specialized compilation of lazy functional logic programs. In Segundo Congreso Nacional de Programación Declarativa - 2nd Spanish Conference on Declarative Programming (ProDe'93), pages 39-55. Instituto de Investigación en Inteligencia Artificial, CSIC, 1993. [ bib ]

This file was generated by bibtex2html 1.94.