Selección de publicaciones

2017    2016    2015    2014    Anteriores

2017

• L. Aceto, I. Fábregas, C. Gregorio-Rodríguez y A. Ingólfsdóttir. Logical characterisations and compositionality of input-output conformance simulation. En SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science., volumen 10139 de Lecture Notes in Computer Science, páginas 37-48. Springer, 2017.
• J. C. R. Alcantud y G. Santos-García. A new criterion for soft set based decision making problems under incomplete information. Int J Comput Int Sys, 10:394-404, 2017.
• P. Rabanal, J. Mateo, I. Rodríguez y G. Díaz. Data-aware automatic derivation of choreography-conforming systems of services. Computer Standards & Interfaces, 2017.
• A. Riesco, I. M. Asavoae y M. Asavoae. Slicing from formal semantics: Chisel. En Proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, volumen 10202 de Lecture Notes in Computer Science. 2017.
• A. Riesco, B. Santos-Buitrago, J. De Las Rivas, M. Knapp, G. Santos-García y C. Talcott. Epidermal growth factor signaling towards proliferation: Modeling and logic inference using forward and backward search. BioMed Research International, 2017:11, 2017.
• I. Rodríguez, P. Rabanal y F. Rubio. How to make a best-seller: optimal product design problems. Applied Soft Computing, 55(C):178-196, 2017.
• F. Rosa-Velardo. Ordinal recursive complexity of Unordered Data nets. Information and Computation, 2017.

2016

• L. Aceto, I. Fábregas, Á. García-Pérez y A. Ingólfsdóttir. Rule formats for bounded nondeterminism in nominal structural operational semantics. En Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Technical report RUTR-SCS16001, páginas 30-34. 2016.
• L. Aceto, I. Fábregas, C. Gregorio-Rodríguez y A. Ingólfsdóttir. A logical characterisation for input output conformance simulation iocos. En Proceedings of the 27th Nordic Workshop on Programming Theory, NWPT 2015. Technical report RUTR-SCS16001, páginas 87-89. 2016.
• J. C. R. Alcantud y G. Santos-García. Incomplete soft sets: New solutions for decision making problems. En E. Bucciarelli, M. Silvestri y S. Rodríguez-González, editores, Decision Economics, In Commemoration of the Birth Centennial of Herbert A. Simon 1916-2016 (Nobel Prize in Economics 1978) - Distributed Computing and Artificial Intelligence, 13th International Conference, volumen 475 de Advances in Intelligent Systems and Computing, páginas 9-17. Springer, 2016.
• J. C. R. Alcantud y G. Santos-García. A soft set approach for multiple attributes decision making problems under incomplete information. En J. C. C. Lucas Jódar y L. Acedo, editores, Modelling for Engineering, & Human Behaviour 2016, páginas 7-11. Instituto Universitario de Matemática Multidisciplinar Universitat Politècnica de València, 2016.
• C. Braga, D. Deharbe, A. Moreira y N. Martí-Oliet. A rewriting logic semantics for the generalized substitution language. En S. A. da Costa Cavalheiro et al., editor, ETMF 2016, 1^a Escola de Informática Teórica e Métodos Formais, páginas 93-103. Anais Escola de Informática Teórica e Métodos Formais, Natal, Sociedade Brasileira de Computação, 2016.
• C. Braga y N. Martí-Oliet. Preface to SCP special issue with extended selected papers from SBMF 2014. Sci. Comput. Program., 126:1-2, 2016.
• R. Caballero, M. Montenegro, H. Kuchen y V. von Hof. Falsification of Java Assertions Using Automatic Test-Case Generators. En International Journal on Advances in Systems and Measurements. vol. 9 (3,4). pg. 177-187, 2016.
• C. Dania y M. Clavel. OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints. En B. Baudry y B. Combemale, editores, Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016, páginas 65-75. ACM, 2016.
• C. Dania y M. Clavel. Verifying UML/OCL models with OCL2-MS-FOL. A benchmarking exercise. En International Conference on Advanced Technology and Sustainable Development (ISA 2016), Ho Chi Minh City, Vietnam. 2016.
• F. Durán, S. Eker, S. Escobar, N. Martí-Oliet, J. Meseguer y C. L. Talcott. Built-in variant generation and unification, and their applications in Maude 2.7. En N. Olivetti y A. Tiwari, editores, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, volumen 9706 de Lecture Notes in Computer Science, páginas 183-192. Springer, 2016.
• F. J. López-Fraguas, M. Montenegro y J. Rodríguez-Hortalá. Polymorphic types in Erlang function specifications. En O. Kiselyov y A. King, editores, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, volumen 9613 de Lecture Notes in Computer Science, páginas 181-197. Springer, 2016.
• Ó. Martín, A. Verdejo y N. Martí-Oliet. Egalitarian State-Transition Systems. En D. Lucanu, editor, Rewriting Logic and Its Applications, 11th International Workshop WRLA 2016. volumen 9942 de Lecture Notes in Computer Science, páginas 98-117. Springer, 2016.
• Ó. Martín, A. Verdejo y N. Martí-Oliet. Synchronous products of rewrite systems. En C. Artho, A. Legay y D. A. Peled, editores, Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, volumen 9938 de Lecture Notes in Computer Science, páginas 141-156. Springer International Publishing, 2016.
• M. Montenegro, S. Nieva, R. Peña y C. Segura. Synthesizing Invariants for Arrays (Work in Progress). En M. Villanueva (Ed.), Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016). Salamanca, 2016.
• P. Rabanal, I. Rodríguez y F. Rubio. Assessing metaheuristics by means of random benchmarks. En International Conference on Computational Science, ICCS 2016, volumen 80 de Procedia Computer Science, páginas 289-300. Elsevier, 2016.
• A. Riesco, K. Ogata y K. Futatsugi. CafeInMaude: a CafeOBJ interpreter in Maude. En P. Stevens y A. Wasowski, editores, Proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, volumen 9633 de Lecture Notes in Computer Science, páginas 377-380. Springer, 2016.
• A. Riesco, K. Ogata y K. Futatsugi. A Maude environment for CafeOBJ. Formal Aspects of Computing, páginas 1-26, 2016.
• A. Riesco y J. Rodríguez-Hortalá. Temporal random testing for spark streaming. En E. Abraham y M. Huisman, editores, Proceedings of the 12th International Conference on integrated Formal Methods, iFM 2016, volumen 9681 de Lecture Notes in Computer Science, páginas 393-408. Springer, 2016.
• I. Rodríguez, F. Rubio y P. Rabanal. Automatic media planning: optimal advertisement placement problems. En IEEE Congress on Evolutionary Computation, CEC 2016, páginas 5170-5177. 2016.
• G. Santos-García, C. L. Talcott, A. Riesco, B. Santos-Buitrago y J. De Las Rivas. Role of nerve growth factor signaling in cancer cell proliferation and survival using a reachability analysis approach. En M. S. Mohamad, M. P. Rocha, F. Fdez-Riverola, F. J. D. Mayo y J. F. D. Paz, editores, 10th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2016, 1-3 June 2016, volumen 477 de Advances in Intelligent Systems and Computing, páginas 173-181. Springer, 2016.
• S. Tamarit, A. Riesco, E. Martin-Martin y R. Caballero. Debugging Meets Testing in Erlang. En K. B. Aichernig y A. C. Furia, editores, Proceedings of the 10th International Conference on Tests and Proofs (TAP 2016), volumen 9762 de Lecture Notes in Computer Science, páginas 171-180. Springer International Publishing, 2016.

2015

• L. Aceto, D. D. Monica, I. Fábregas y A. Ingólfsdóttir. When are prime formulae characteristic? En Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, páginas 76-88. 2015.
• L. Aguirre, N. Martí-Oliet, M. Palomino y I. Pita. Sentence-normalized conditional narrowing modulo in rewriting logic and Maude. En N. Martí-Oliet, P. C. Olveczky y C. L. Talcott, editores, Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, volumen 9200 de Lecture Notes in Computer Science, páginas 48-71. Springer, 2015.
• R. Caballero, M. Montenegro, H. Kuchen y V. von Hof. Checking Java assertions using automated test-case generation. En M. Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, volumen 9527 de Lecture Notes in Computer Science, páginas 221-226. Springer, 2015.
• R. Caballero, M. Montenegro, H. Kuchen y V. von Hof. Automatic falsification of Java Assertions. En 7th International Conference on Advances in System Testing and Validation Lyfecicle, pg. 36-41. VALID 2015, 2015.
• M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln, N. Martí-Oliet y C. L. Talcott. Two decades of Maude. En N. Martí-Oliet, P. C. Olveczky y C. L. Talcott, editores, Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, volumen 9200 de Lecture Notes in Computer Science, páginas 232-254. Springer, 2015.
• R. Caballero, E. Martin-Martin, A. Riesco y S. Tamarit. A zoom-declarative debugger for sequential Erlang programs. Science of Computer Programming, 110:104-118, 2015.
• C. Dania y M. Clavel. Model-based formal reasoning about data-management applications. En Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, England, April 11-18, 2015, volumen 9033 de Lecture Notes in Computer Science. 2015.
• C. Dania y M. Clavel. Model-based formal reasoning about data-management applications. En A. Egyed y I. Schaefer, editores, Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, volumen 9033 de Lecture Notes in Computer Science, páginas 218-232. Springer, 2015.
• F. Durán y N. Martí-Oliet. Preface to rewriting logic and its applications (extended selected papers from WRLA 2012). Sci. Comput. Program., 99:1-2, 2015.
• M. Emmi, P. Ganty, R. Majumdar y F. Rosa-Velardo. Analysis of asynchronous programs with event-based synchronization. En J. Vitek, editor, Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, volumen 9032 de Lecture Notes in Computer Science, páginas 535-559. Springer, 2015.
• M. Emmi, P. Ganty, R. Majumdar y F. Rosa-Velardo. Analysis of asynchronous programs with event-based synchronization. En ESOP 2015, Lecture Notes in Computer Science, página 25 páginas. Springer, 2015.
• M. A. García de Dios, C. Dania y M. Clavel. Formal reasoning about fine-grained access control policies. En Eleventh Asia-Pacific Conference on Conceptual Modelling, APCCM 2015, Sydney, Australia, January 27-30, 2015, volumen 165 de Conference in Research and Practice in Information Technology (CRPIT), páginas 91-100. Australian Computer Society, 2015.
• C. C. Jiménez, T. Weghorn, D. A. Basin y M. Clavel. Analyzing first-order role based access control. En C. Fournet, M. W. Hicks y L. Viganò, editores, IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015, páginas 3-17. IEEE, 2015.
• N. López, P. Rabanal, I. Rodríguez y F. Rubio. A formal method for parallel genetic algorithms. En Proceedings of the International Conference on Computational Science, ICCS 2015, páginas 2698-2702. 2015.
• N. Martí-Oliet, P. C. Olveczky y C. L. Talcott. José Meseguer: Scientist and friend extraordinaire. En N. Martí-Oliet, P. C. Olveczky y C. L. Talcott, editores, Logic, Rewriting, and Concurrency - Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, volumen 9200 de Lecture Notes in Computer Science, páginas 1-47. Springer, 2015.
• M. Montenegro, R. Peña y J. Sánchez-Hernández. A generic intermediate representation for verification condition generation. En M. Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, volumen 9527 de Lecture Notes in Computer Science, páginas 227-243. Springer, 2015.
• M. Montenegro, R. Peña y C. Segura. Shape analysis in a functional language by using regular languages. Sci. Comput. Program., 111:51-78, 2015.
• M. Montenegro, R. Peña y C. Segura. Space consumption analysis by abstract interpretation: Inference of recursive functions. Sci. Comput. Program., 111:426-457, 2015.
• M. Montenegro, R. Peña y C. Segura. Space consumption analysis by abstract interpretation: Reductivity properties. Sci. Comput. Program., 111:458-482, 2015.
• I. Pita y A. Riesco. Specifying and analyzing the kademlia protocol in Maude. En M. Leucker, C. Rueda y F. D. Valencia, editores, Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, volumen 9399 de Lecture Notes in Computer Science, páginas 524-541. Springer, 2015.
• A. Riesco, I. M. Asavoae y M. Asavoae. Memory policy analysis for semantics specifications in Maude. En M. Falaschi, editor, Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015. Revised Selected Papers, volumen 9527 de Lecture Notes in Computer Science, páginas 293-310. Springer, 2015.
• D. Romero-Hernández, D. de Frutos-Escrig y D. D. Monica. Proving continuity of coinductive global bisimulation distances: A never ending story. En M. Navarro, editor, Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015., volumen 200 de EPTCS, páginas 48-63. 2015.
• A. Riesco y J. Rodríguez-Hortalá. Lifting term rewriting derivations in constructor systems by using generators. En S. Escobar, editor, Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, volumen 173 de Electronic Proceedings in Theoretical Computer Science, páginas 87-99. 2015.
• A. Riesco y J. Rodríguez-Hortalá. Lifting term rewriting derivations in constructor systems by using generators. En S. Escobar, editor, Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, volumen 173 de Electronic Proceedings in Theoretical Computer Science, páginas 87-99. 2015.
• P. Rabanal, I. Rodríguez y F. Rubio. On the uselessness of finite benchmarks to assess evolutionary and swarm methods. En Genetic and Evolutionary Computation Conference, GECCO 2015, páginas 1461-1462. 2015.
• L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén. The role of indirections in lazy natural semantics. En Perspectives of System Informatics, 9th International Ershov Informatics Conference, volumen 8974 de Lecture Notes in Computer Science, páginas 288-303. Springer-Verlag, 2015.

2014

• I. M. Asavoae, M. Asavoae y A. Riesco. Semantic mining of context update constructs in imperative languages. En R. Diaconescu, M. C. Ionut y Tutu, editores, Preliminary Proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, páginas 19-20. 2014.
• I. M. Asavoae, M. Asavoae y A. Riesco. Towards a formal semantics-based technique for interprocedural slicing. En E. Albert y E. Sekerinski, editores, Proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, volumen 8739 de Lecture Notes in Computer Science, páginas 291-306. Springer, 2014.
• L. Aguirre, N. Martí-Oliet, M. Palomino y I. Pita. Conditional narrowing modulo in rewriting logic and Maude. En S. Escobar, editor, Rewriting Logic and its Applications. 10th International Workshop, WRLA 2014. Held as Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014. Revised Selected Papers, volumen 8663 de Lecture Notes in Computer Science, páginas 80-96. 2014.
• D. A. Basin, M. Clavel, M. Egea, M. A. García de Dios y C. Dania. A model-driven methodology for developing secure data-management applications. IEEE Trans. Software Eng., 40(4):324-337, 2014.
• R. Caballero, E. Martin-Martin, A. Riesco y S. Tamarit. EDD: A declarative debugger for sequential Erlang programs. En E. ábrahám y K. Havelund, editores, 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, volumen 8413 de Lecture Notes in Computer Science, páginas 581-586. Springer, 2014.
• C. Dania y M. Clavel. Modeling social networking privacy. En 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014, páginas 50-57. IEEE, 2014.
• A. de la Encina, I. Rodríguez y F. Rubio. pHood: Tool description, analysis techniques, and case studies. New Generation Computing, 32(1):59-91, 2014.
• M. A. García de Dios, C. Dania, D. A. Basin y M. Clavel. Model-driven development of a secure eHealth application. En M. Heisel, W. Joosen, J. Lopez y F. Martinelli, editores, Engineering Secure Future Internet Services and Systems - Current Research, volumen 8431, páginas 97-118. Springer, 2014.
• R. W. J. Kersten, B. van Gastel, O. Shkaravska, M. Montenegro y M. C. J. D. van Eekelen. ResAna: a resource analysis toolset for (real-time) JAVA. Concurrency and Computation: Practice and Experience, 26(14):2432-2455, 2014.
• N. Martí-Oliet, F. Durán y A. Verdejo. Equational abstractions in rewriting logic and Maude. En C. Braga y N. Martí-Oliet, editores, Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, volumen 8941 de Lecture Notes in Computer Science, páginas 17-31. Springer, 2014.
• M. Martos-Salgado y F. Rosa-Velardo. Dynamic networks of timed Petri nets. En G. Ciardo y E. Kindler, editores, Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings, volumen 8489 de Lecture Notes in Computer Science, páginas 294-313. Springer, 2014.
• M. Martos-Salgado y F. Rosa-Velardo. Expressiveness of dynamic networks of timed Petri nets. En A. H. Dediu, C. Martín-Vide, J. L. Sierra-Rodríguez y B. Truthe, editores, Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, volumen 8370 de Lecture Notes in Computer Science, páginas 516-527. Springer, 2014.
• M. Martos-Salgado y F. Rosa-Velardo. Safety and soundness for priced resource-constrained workflow nets. Fundam. Inform., 131(1):55-80, 2014.
• M. Martos-Salgado y F. Rosa-Velardo. Dynamic networks of timed Petri nets. En 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, Lecture Notes in Computer Science, página 20 páginas. Springer, 2014.
• M. Martos-Salgado y F. Rosa-Velardo. Expressiveness of dynamic networks of timed Petri nets. En A. H. Dediu, C. Martín-Vide, J. L. Sierra-Rodríguez y B. Truthe, editores, Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings, volumen 8370 de Lecture Notes in Computer Science, páginas 516-527. Springer, 2014.
• M. Martos-Salgado y F. Rosa-Velardo. Safety and soundness for priced resource-constrained workflow nets. Fundam. Inform., 131(1):55-80, 2014.
• Ó. Martín, A. Verdejo y N. Martí-Oliet. Model checking TLR* guarantee formulas on infinite systems. En S. Iida, J. Meseguer y K. Ogata, editores, Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, volumen 8373 de Lecture Notes in Computer Science, páginas 129-150. Springer, 2014.
• M. Montenegro, R. Peña y C. Segura. A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. Inf. Comput., 235:3-35, 2014.
• A. Riesco, I. M. Asavoae y M. Asavoae. A refinement procedure for inferring side-effect constructs. En R. Diaconescu, M. C. Ionut y Tutu, editores, Preliminary Proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, páginas 61-62. 2014.
• D. Romero-Hernández y D. de Frutos-Escrig. Coinductive definition of distances between processes: Beyond bisimulation distances. En 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE'14, volumen 8461 de Lecture Notes in Computer Science, páginas 249-265. Springer, 2014.
• A. Riesco. An integration of CafeOBJ into Full Maude. En S. Escobar, editor, Proceedings of the 10th International Workshop on Rewriting Logic and Its Applications, WRLA 2014, Revised Selected Papers, volumen 8663 de Lecture Notes in Computer Science, páginas 230-246. Springer, 2014.
• A. Riesco. Using big-step and small-step semantics in Maude to perform declarative debugging. En M. Codish y E. Sumii, editores, 20th International Symposium on Functional and Logic Programming, FLOPS 2014, volumen 8475 de Lecture Notes in Computer Science, páginas 52-68. Springer, 2014.
• I. Rodríguez, L. Llana y P. Rabanal. A general testability theory: Classes, properties, complexity, and testing reductions. IEEE Transactions on Software Engineering, 40(9):862-894, 2014.
• P. Rabanal, I. Rodríguez y F. Rubio. Parallelizing particle swarm optimization in a functional programming environment. Algorithms, 7(4):554-581, 2014.
• L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén. Launchbury's semantics revisited: On the equivalence of context-heap semantics (work in progress). En Proceedings of the 14th Jornadas de PROgramación y LEnguajes (PROLE'14), páginas 203-217. 2014.
• L. Sánchez-Gil, M. Hidalgo-Herrero y Y. Ortega-Mallén. The role of indirections in lazy natural semantics. En Proceedings of Ershov Informatics Conference (the PSI Conference Series, 9th edition). 2014.