SweetLogics-UPV >> Publications


Publications of SweetLogics-UPV


JOURNAL PAPERS AND INTERNATIONAL CONFERENCE PAPERS

  • [1] M. Alba, M. Alpuente, S. Escobar. Approximating Non-interference and Erasure in Rewriting Logic. Revised Papers from 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2010. Timisoara (Romania), September 23-26, 2010. IEEE Computer Society Press, pages 124-132, 2011.
  • [2] M. Alpuente (editor). Revised Selected papers from Logic-based Program Synthesis and Transformation, 20th International Symposium. LOPSTR 2010 (Hagenberg, Austria), Jul 2010. Springer LNCS 6564, 2011.
  • [3] M. Alpuente, M. Baggi, D. Ballis, M. Falaschi Completeness of Unfolding for Rewriting Logic Theories. Revised Papers from 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing SYNASC 2010. Timisoara (Romania), September 23-26, 2010. IEEE Computer Society Press, pages 116-123, 2011.
  • [4] María Alpuente, Demis Ballis, Javier Espert, F. Frechina, Daniel Romero. Debugging of Web Applications with Web-TLR. 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, June 6-9, 2011. Electronic Proceedings on Theoretical Computer Science, 61:66-80, 2011.
  • [5] María Alpuente, Demis Ballis, Javier Espert, Daniel Romero. Backward Trace Slicing for Rewriting Logic Theories. 23rd International Conference on Automated Deduction, CADE-23, Wroclaw, Poland, July 31 - August 5, 2011. Springer LNCS 6803: 34-48, 2011.
  • [6] M. Alpuente, M. Feliu, C. Joubert, A. Villanueva. Datalog-based Program Analysis with BES and RWL. Datalog Reloaded. Springer LNCS 6702: 1-20, 2011.
  • [7] María Alpuente, Christophe Joubert, Stefan Kowalevski, Marco Roveri (eds.) Formal Methods for Industrial Critical Systems. Science of Computer Programming. To appear, 2012. Elsevier Publishers, NL.
  • [8] G. Bacci, M. Comini, M. A. Feliú, and A. Villanueva. Automatic Synthesis of Specifications for Curry Programs. In G. Vidal, editor, Proc. of the 21th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2011), 2011.
  • [9] Bedoya-Puerta, J.A. and Ferri, C. and Hernández-Orallo, J. and Ramirez-Quintana, MJ. Applying distances between terms to both flat and hierarchical data. In Proc. of AAIP 2011 4th International Workshop on Approaches and Applications of Inductive Programming, pages=1-16, 2011.
  • [10] M. Comini, L. Titolo, and A. Villanueva. Abstract diagnosis for timed concurrent constraint programs. Theory and Practice of Logic Programming, vol. 11, no. 4-5, pp. 487-502, 2011.
  • [11] D. L. Dowe and J. Hernández-Orallo and P. K. Das. Compression and intelligence: social environments and communication. In J. Schmidhuber and K.R. Thórisson and M. Looks, editors, Proc. of Artificial General Intelligence 2011, LNAI 6830, pages 204-211. 2011.
  • [12] Francisco Durán, Steven Eker, Santiago Escobar, José Meseguer, Carolyn L. Talcott Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6. 22nd International Conference on Rewriting Techniques and Aplications, RTA 2011 May 30 - June 1, 2011, Novi Sad, Serbia. Leibniz International Proceedings in Informatics 10: 31-40 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011
  • [13] S. Erbatur, S. Escobar, D. Kapur, Z. Liu, C. Lynch, C. Meadows, J. Meseguer, P. Narendran, R. Sasse Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis, IntÕl Workshop on Unification (UNIF 2011), associated with the 23th CADE conference Institute of Computer Science, University of Wroc?aw, Poland, 31 July - 5 August, 2011
  • [14] Santiago Escobar, Ralf Sasse, José Meseguer. Folding variant narrowing and optimal variant termination. The Journal of Logic and Algebraic Programming. To appear, 2011
  • [15] S. Escobar, D. Kapur, C. Lynch, C. Meadows, J. Meseguer, P. Narendran, and R. Sasse. Protocol Analysis in Maude-NPA Using Unification Modulo Homomorphic Encryption 13th IntÕl ACM SIGPLAN Symp. on Principles and Practice of Declarative Programming, PPDP 2011 Odense, Dinamarca, Julio 20-22, 2011 ACM Press, 2011, pp. 65-76
  • [16] Peter Flach and Jose Hernandez-Orallo and Cèsar Ferri. A Coherent Interpretation of AUC as a Measure of Aggregated Classification Performance. In Lise Getoor and Tobias Scheffer, editors, Proc. of the 28th International Conference on Machine Learning (ICML'11), pages 657-664. ACM, New York, NY, USA, 2011.
  • [17] Jose Hernandez-Orallo and Peter Flach and Cèsar Ferri. Brier Curves: a New Cost-Based Visualisation of Classifier Performance. In Lise Getoor and Tobias Scheffer, editors, Proc. of the 28th International Conference on Machine Learning (ICML'11), pages 585-592. ACM, New York, NY, USA, 2011.
  • [18] J. Hernández-Orallo and D. L. Dowe and S. Españ;a-Cubillo and M. V. Hernández-Lloreda and J. Insa-Cabrera. On more realistic environment distributions for defining, evaluating and developing intelligence. In J. Schmidhuber and K.R. Thórisson and M. Looks, editors, Proc. of Artificial General Intelligence 2011, LNAI 6830, pages 82-91. 2011.
  • [19] J. Insa-Cabrera, D.L. Dowe, S. Españ;a-Cubillo, M.V. Hernández-Lloreda, J. Hernández-Orallo. Comparing Humans and AI agents. In J. Schmidhuber and K.R. Thorisson and M. Looks, editors, Proc. of Artificial General Intelligence 2011, LNAI 6830, pages 122-132. 2011.
  • [20] María Alpuente, Demis Ballis, Daniel Romero. A Rewriting Logic Approach to the Formal Specification and Verfication of Web Applications. Science of Computer Programming. To appear, 2013. Elsevier Publishers, NL
  • [21] María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero. Julienne: A Trace Slicer for Conditional Rewrite Theories. 18th Int'l Symp. on Formal Methods (FM 2012), Paris, France, August 27-31, 2012. Springer LNCS 7436: 28-32, 2012
  • [22] María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero. Backward Trace Slicing for Conditional Rewrite Theories. 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2012), Mérida, Venezuela, March 11-15, 2012. Springer LNCS 7180: 62-66, 2012
  • [23] María Alpuente, Demis Ballis, Francisco Frechina, Daniel Romero. Using Conditional Trace Slicing for improving Maude programs. Science of Computer Programming. To appear, 2013. Elsevier Publishers, NL.
  • [24] María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiñ;a. Slicing-based Trace Analysis of Rewriting Logic Specifications with iJulienne European Symposium on Programming (ESOP 2013), Rome, Italy, March 16-24, 2013, Springer LNCS 7792: 121-124.
  • [25] María Alpuente, Demis Ballis, Moreno Falaschi, Francisco Frechina, Daniel Romero. Rewriting-based Repairing Strategies for XML Documents. The Journal of Logic and Algebraic Programming. To appear, 2013. Elsevier Publishers, NL.
  • [26] María Alpuente, Santiago Escobar, Javier Espert , José Meseguer A Modular Order-sorted Equational Generalization Algorithm. Information and Computation. To appear, 2013. Elsevier Publishers, NL.
  • [27] María Alpuente, Marco A. Feliú, Alicia Villanueva. Automatic Inference of Specifications using Matching Logic. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation PEPM 2013, Roma, Italy, January 21-22, 2013. ACM Press, 127-136
  • [28] G. Bacci, M. Comini, M. A. Feliú, and A. Villanueva. The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages In Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), pages 144-153, 2012.
  • [29] G. Bacci, M. Comini, M. A. Feliú, and A. Villanueva. Automatic Synthesis of Specifications for First Order Curry Programs. In Proceedings of Principles and Practice of Declarative Programming (PPDP'12), pages 25-34, 2012.
  • [30] Bella, A., Ferri, C., Hernández-Orallo, J. and Ramírez-Quintana, M.J. On the effect of calibration in classifier combination. Applied Intelligence, doi: 10.1007/s10489-012-0388-2, 2012.
  • [31] Cristina Borralleras, Salvador Lucas, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. SAT Modulo Linear Arithmetic for Solving Polynomial Constraints. Journal of Automated Reasoning 48(1):107-131, 2012.
  • [32] D.L. Dowe and J. Hernández-Orallo. IQ tests are not for machines, yet. Intelligence, vol. 40, no. 2, pp. 77-81, 2012.
  • [33] Santiago Escobar, Ralf Sasse, José Meseguer. Folding variant narrowing and optimal variant termination. The Journal of Logic and Algebraic Programming, Volume 81, Issues 7-8, pages 898-928. Elsevier, 2012.
  • [34] Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, and Ralf Sasse. Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. . In proceedings of 17th European Symposium on Research in Computer Security (ESORICS 2012)., Lecture Notes in Computer Science, volume 7459, pages 73-90. Springer, 2012.
  • [35] Serdar Erbatur, Santiago Escobar, and Paliath Narendran. Unification modulo a property of the El Gamal Encryption Scheme. In proceedings of The International Workshop on Unification (UNIF 2012).
  • [36] Estruch, V., Ferri, C., Hernández-Orallo, J. and Ramírez-Quintana, M. J. Bridging the gap between Distance and Generalisation. Computational Intelligence, doi: 10.1111/coin.12004, 2012.
  • [37] Raúl Gutiérrez, José Meseguer, Camilo Rocha. Order-Sorted Equality Enrichments Modulo Axioms. In Proc. of 9th International Workshop on Rewriting Logic and Its Applications, WRLA 2012, LNCS 7571:162-181, 2012.
  • [38] J. Hernández-Orallo, J. Insa-Cabrera, D. L. Dowe and B. Hibbard. Turing Test with Turing machines. In A. Voronkov, editor, The Alan Turing Centenary Conference, Manchester, Jun 2012. EPIC, vol. 10, pages 140-156, 2012.
  • [39] J. Hernandez-Orallo, J. Insa-Cabrera, D.L. Dowe and B. Hibbard. Turing Machines and Recursive Turing Tests. In V. Muller and A. Ayesh, editors, Proc. of AISB/IACAP 2012 Symposium Revisiting Turing and his Test, pages 28-33. 2012.
  • [40] Hernández-Orallo, J. , Flach, P. and Ferri, C. A Unified View of Performance Metrics: Translating Threshold Choice into Expected Classification Loss. Journal of Machine Learning Research, vol. 13, pp. 2813-2869, 2012.
  • [41] J. Insa-Cabrera, J. Hernández-Orallo, D. L. Dowe, S. Españ;a-Cubillo and M. V. Hernández-Lloreda. The Anynt Project intelligence Test: LAMBDA - one. In V. Muller and A. Ayesh, editors, Proc. of AISB/IACAP 2012 Symposium Revisiting Turing and his Test, pages 20-27. 2012.
  • [42] J. Insa-Cabrera, J.L. Benacloch-Ayuso and J. Hernández-Orallo. On Measuring Social Intelligence: Experiments on Competition and Cooperation. 5th International Conference on Artificial General Intelligence, AGI 2012, Oxford, UK, December 8-11, 2012. Springer LNCS 7716: 126-135, 2012.
  • [43] N. Martinez-Plumed, C. Ferri, J. Hernández-Orallo and M.J. Ramírez-Quintana. Towards the definition of learning systems with configurable operators and heuristics. Workshop on New Frontiers in Mining Complex Patterns, NFCMP2012, held at ECML-PKDD-2012, pages 28-33. 2012.

INVITED TALKS

  • [44] María Alpuente, Evaluación en Informática y Carrera Profesional. U. de A Coruñ;a, Jornadas de Ingeniería del Software y Bases de Datos JISBD-PROLE-JCIS 2011, Septiembre 2011.
  • [45] Santiago Escobar. Narrowing in Rewriting Logic and applications. Conferencia invitada en Universidad de Málga, Marzo 2011.
  • [46] Santiago Escobar. Certification of Non-interference and Erasure in Rewriting Logic. Conferencia invitada en Universidad Complutense, Junio 2011.
  • [47] Santiago Escobar. Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. Conferencia invitada en Albany SUNY, Mayo 2011.
  • [48] Santiago Escobar. Narrowing in Rewriting Logic and applications. Conferencia invitada en National Institute of Aerospace (NIA-NASA), Mayo 2011.
  • [49] Santiago Escobar. Certification of Non-interference and Erasure in Rewriting Logic. Conferencia invitada en University of Trier, Alemania, Julio 2012.
  • [50] Santiago Escobar. Natural Narrowing for General Term Rewriting Systems. Conferencia invitada en Department of Computer Science, University of Illinois at Urbana-Champaign, USA. Julio 2012. 27 Santiago Escobar. Narrowing in Rewriting Logic and Applications. Conferencia invitada en ACM Student Chapter, Department of Computer Science, University at Albany, USA. Febrero 2012.
  • [51] Santiago Escobar. Narrowing in Rewriting Logic and Applications. In proceedings of 9th International Workshop on Rewriting Logic and its Applications, WRLA'2012, March 24th-25th, 2012, Tallinn, Estonia.
  • [52] José Hernández, Conferencia invitada Hacia una psicometría universal: evaluando máquinas, animales y humanos. Conmemoración del añ;o Turing, 2012. Ateneo de la Escuela de Ingeniería y Arquitectura, Universidad de Zaragoza, Noviembre 2012.

NATIONAL CONFERENCE PAPERS

  • [53] J. Insa-Cabrera, D.L. Dowe, J. Hernandez-Orallo. Evaluating a reinforcement learning algorithm with a general intelligence test. In J.A. Lozano, J.A. Gamez, J.A. Moreno, editors, Proc. of the 14th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2011, pages 7-11, 2011.
  • [54] A. Funes, M.J. Ramirez-Quintana, J. Hernandez-Orallo, C. Ferri. An Instantiation for Sequences of Hierarchical Distance-based Conceptual Clustering. In Proc. of 40 edición de las Jornadas Argentinas de Informática JAIIO 2011, Simposio de Inteligencia Artificial (ASAI), 2011.
  • [55] M. Comini, L. Titolo, A. Villanueva. Abstract diagnosis for timed concurrent constraint programs (abstract). In Proc. XII Jornadas sobre Programación y Lenguajes (PROLE 2012), 2012.

DOCTORAL THESES

  • [56] Beatriz Alarcón (director Salvador Lucas). Towards a Framework for Proving Termination of Maude Programs. Doctorado en Informática, DSIC (con mención europea), UPV, Sobresaliente Cum Laude, Mayo 2011
  • [57] Mauricio Fernando Alba Castro (directores María Alpuente y Santiago Escobar). Abstract Certification of Java Programs in Rewriting Logic. Doctorado en Informática, DSIC. UPV, Noviembre 2011.
  • [58] Daniel Omar Romero (directores María Alpuente y Demis Ballis). Rewriting-based Verification and Debugging of Web Systems. Doctorado en Informática, DSIC. UPV, Sobresaliente Cum Laude, Julio 2011
  • [59] Antonio Bella (directores Cesar Ferri, José Hernández y María José Ramírez). Model Integration in Data Mining: From Local to Global Decisions. Doctorado en Informática, DSIC, UPV, Sobresaliente Cum Laude, Julio 2012

MASTER THESES AND GRADE RESEARCH PROJECTS

  • [60] J.A. Bedoya. Aplicación de distancias entre términos para datos planos y jerárquicos. Tesis de máster. Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 2011.
  • [61] Francisco Frechina Navarro (directores María Alpuente y Daniel Romero). Slicing-based Debugging of Web Applications in Rewriting Logic. Master ISMFSI, DSIC. UPV, Sobresaliente 10, Julio 2011.
  • [62] Fernando Tarín Morales (directores María Alpuente y Christophe Joubert). Optimización de Programas Datalog basada en Estrategias. Master ISMFSI, DSIC. UPV, Sobresaliente 10, Julio 2011.
  • [63] Javier Espert Real (directores María Alpuente y Daniel Romero). Verificación de Aplicaciones Web Dinámicas con Web-TLR. Escuela Técnica Superior de Ingeniería Informática. UPV. Matrícula de Honor 10, Julio 2011.
  • [64] Paolo Picci (directores María Alpuente y Giorgio Levi). A Term Rewriting System Framework for Code- Carrying Theory. Dipartimento di Informatica, Università di Pisa. 110 e Lode, Julio 2011.
  • [65] H. Castillo-Andreu. An MML-based tool for evaluating the complexity of (stochastic) logic theories. Tesis de máster. Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, 2012. CoRR abs/1210.5974
  • [66] Marcelo Cordini Moreno (director Santiago Escobar). Translating PVS recursive functions into Java iterations. Tesis de máster. Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Febrero 2012.
  • [67] Javier Espert Real (directores María Alpuente y Santiago Escobar). ACUOS: A System for Order-Sorted Modular ACU Generalization. Departamento de Sistemas Informáticos y Computación. UPV. Matrícula de Honor 10, Julio 2012.
  • [68] Ghada El Khamlichi (director Alicia Villanueva). Implementación del algoritmo de Tableaux para la lógica temporal Proyecto Fin de Carrera, Ingeniería Informática, ETSInf UPV. Septiembre 2012.
  • [69] Antonio González Burgueño (director Santiago Escobar). Verificación automática de protocolos criptográficos de seguridad. Escuela Técnica Superior de Ingeniería Informática. UPV. Sobresaliente 9, Marzo 2012.
  • [70] Julia Sapiñ;a Sanchis (directores María Alpuente y Francisco Frechina). A Conditional Slicing Tool for Maude. Escuela Técnica Superior de Ingeniería Informática. UPV. Sobresaliente 9, Julio 2012.
  • [71] Pablo Viciano (director Santiago Escobar). Extensiones a la comprobación de satisfacibilidad de restricciones. Tesis de máster. Máster en Ingeniería del Software, Métodos Formales y Sistemas de Información, Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Septiembre 2012.

TECHNICAL REPORTS (SOFTWARE DESCRIPTIONS AND OTHER REPORTS)

  • [72] María Alpuente, Demis Ballis, Javier Espert, Daniel Romero. Dynamic Backward Slicing of Rewriting Logic Computations CoRR abs/1105.2665, 2011
  • [73] María Alpuente, Santiago Escobar, José Meseguer, Javier Espert. A Modular Order-sorted Equational Generalization Algorithm. Tech. Report, U. Illinois at Urbana Champaign, 2011. http://hdl.handle.net/2142/25871.
  • [74] María Alpuente, Demis Ballis, Javier Espert, Daniel Romero. Dynamic Backward Slicing of Rewriting Logic Computations CoRR abs/1105.2665, 2011
  • [75] María Alpuente, Santiago Escobar, José Meseguer, Javier Espert. A Modular Order-sorted Equational Generalization Algorithm. Tech. Report, U. Illinois at Urbana Champaign, 2011. http://hdl.handle.net/2142/25871.
  • [76] Hernandez-Orallo, J. A graphical analysis of cost-sensitive regression problems. CoRR abs/1211.2359. 2012.
  • [77] Javier Insa-Cabrera and Jose-Luis Benacloch-Ayuso and José Hernández-Orallo. On the influence of intelligence in (social) intelligence testing environments. CoRR abs/1202.0837. 2012.
  • [78] Hernández-Orallo, J. and Dowe, D.L. and Hernández-Lloreda, M.V. Measuring Cognitive Abilities of Machines, Humans and Non-Human Animals in a Unified Way: towards Universal Psychometrics. Technical Report 2012/267, Faculty of Information Technology, Clayton School of IT, Monash University, Australia. 2012.
  • [79] Hernández-Orallo, J. and Dowe, D.L. Potential Properties of Turing Machines. Technical Report 2012/271, Faculty of Information Technology, Clayton School of IT, Monash University, Australia. 2012.

SUBMITTED PAPERS (ACCEPTANCE PENDING)

  • [80] María Alpuente, Santiago Escobar, Javier Espert, José Meseguer. ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance. 23rd Joint International Conference on Artificial Intelligence (IJCAI 2013). August 9-13, 2013, Beijing (China). Submitted, 2013.

PRESS

  • [81] El grupo ELP investiga en tecnología que permita certificar la calidad del software. Especial ValenciaInnova. Periódico La Razón, 23 de Enero de 2012.
  • [82] La UPV colabora con Washington en el desarrollo de tecnologías para mejorar la seguridad de las comunicaciones. Periódico 20 Minutos, 3 de Febrero de 2012.
  • [83] Ingenio Valenciano para la US Navy. Periódico Levante-EMV, 4 de Febrero de 2012.
  • [84] Ingenio Valenciano para la US Navy. Periódico Levante-EMV edición digital, 6 de Febrero de 2012.
  • [85] Comunicaciones más seguras made in Politécnico. Periódico Las Provincias, 9 de Febrero de 2012.

MINECO    MICINN   UPV   DSIC