Babel Group
UPM UPM

Aherranz

Ángel Herranz

Associate Professor

Publications

2025

  1. Executable contracts for Elixir
    de Barrio, L. E. B., Fredlund, L.-Å., Ángel Herranz, Mariño, J., & Earle, C. B. (2025). Executable contracts for Elixir. J. Log. Algebraic Methods Program., 142, 101019.
  2. Generation of algebraic data type values using evolutionary algorithms
    Ballesteros, I., Earle, C. B., Mariño, J., Fredlund, L.-Å., & Ángel Herranz. (2025). Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebraic Methods Program., 143, 101022.
  3. Checking Concurrency Coding Rules
    Fredlund, L.-Å., Ángel Herranz, & Mariño, J. (2025). Checking Concurrency Coding Rules. In E. Erdem & G. Vidal (Eds.), Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings (Vol. 15537, pp. 113–129). Springer.

2024

  1. Controlled Scheduling of Concurrent Elixir Programs
    de Barrio, L. E. B., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2024). Controlled Scheduling of Concurrent Elixir Programs. In K. Fernandez-Reyes & A. L. Voinea (Eds.), Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024 (pp. 67–75). ACM.
  2. Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises
    Calvo-Manzano, J. A., Feliu, T. S., Ángel Herranz, Mariño, J., Fredlund, L.-Å., Colomo-Palacios, R., & Moreno Ana Marı́a. (2024). Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. In M. Yilmaz, P. M. Clarke, A. Riel, R. Messnarz, C. Greiner, & T. Peisl (Eds.), Systems, Software and Services Process Improvement - 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I (Vol. 2179, pp. 231–244). Springer.
  3. Evaluation of Mixed Reality Technologies in Telemedicine-Assisted Childbirth Simulations
    Vasquez-Cevallos, L., Parpacen-Briones, L., Del-Pino-Bazan, F., Moran-Chaguay, H., Diaz-Mora, P., Zevallos, J. C., Estrada, R., Soto-Rodriguez, P. E. D., Muñoz-Hernández, S., & Ángel Herranz-Nieva. (2024). Evaluation of Mixed Reality Technologies in Telemedicine-Assisted Childbirth Simulations. In E. M. Shakshuki (Ed.), The 15th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2024) / The 14th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH 2024), Leuven, Belgium, October 28-30, 2024 (Vol. 251, pp. 438–445). Elsevier.

2023

  1. Generation and Refinement of Testing Models
    de Barrio, L. E. B., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2023). Generation and Refinement of Testing Models. In B. K. Ozkan & K. Fernandez-Reyes (Eds.), Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023 (pp. 14–23). ACM.

2022

  1. Automatic Generation of Attacker Contracts in Solidity
    Ballesteros, I., Earle, C. B., de Barrio, L. E. B., Fredlund, L.-Å., Ángel Herranz, & Mariño, J. (2022). Automatic Generation of Attacker Contracts in Solidity. In Z. Dargaye & C. Schneidewind (Eds.), 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel (Vol. 105, pp. 3:1–3:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  2. Persistence Factories Architectural Design Pattern
    Ortiz-Fuentes, J. D., & Ángel Herranz-Nieva. (2022). Persistence Factories Architectural Design Pattern. In I. Gerostathopoulos, G. A. Lewis, Batista Thaı́s Vasconcelos, & T. Bures (Eds.), Software Architecture - 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19-23, 2022, Proceedings (Vol. 13444, pp. 167–177). Springer.
  3. Executable contracts for Elixir
    Pérez, S., de Barrio, L. E. B., Ballesteros, I., Ángel Herranz, Mariño, J., Earle, C. B., & Fredlund, L.-Å. (2022). Executable contracts for Elixir. In S. Aronis & B. K. Ozkan (Eds.), Erlang ’22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022 (pp. 40–46). ACM.

2021

  1. Makina: a new QuickCheck state machine library
    de Barrio, L. E. B., Fredlund, L.-Å., Ángel Herranz, Earle, C. B., & Mariño, J. (2021). Makina: a new QuickCheck state machine library. In S. Aronis & A. Bieniusa (Eds.), Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021 (pp. 41–53). ACM.

2019

  1. Synthesis of verifiable concurrent Java components from formal models
    Mariño, J., Alborodo, R. N. N., Fredlund, L.-Å., & Ángel Herranz-Nieva. (2019). Synthesis of verifiable concurrent Java components from formal models. Softw. Syst. Model., 18(1), 71–105.

2015

  1. Applying Property-Based Testing in Teaching Safety-Critical System Programming
    Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2015). Applying Property-Based Testing in Teaching Safety-Critical System Programming. 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015, 309–316.

2014

  1. Jsongen: a quickcheck based library for testing JSON web services
    Earle, C. B., Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). Jsongen: a quickcheck based library for testing JSON web services. In L. M. Castro & H. Svensson (Eds.), Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014 (pp. 33–41). ACM.
  2. Property-Based Testing of JSON Based Web Services
    Fredlund, L.-Å., Earle, C. B., Ángel Herranz-Nieva, & Mariño-Carballo, J. (2014). Property-Based Testing of JSON Based Web Services. 2014 IEEE International Conference on Web Services, ICWS, 2014, Anchorage, AK, USA, June 27 - July 2, 2014, 704–707.
  3. A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
    Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. In C. Canal & A. Idani (Eds.), Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Vol. 8938, pp. 116–130). Springer.
  4. Execution and Verification of UML State Machines with Erlang
    Rodrı́guez Ricardo J., Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). Execution and Verification of UML State Machines with Erlang. In D. Giannakopoulou & G. Salaün (Eds.), Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings (Vol. 8702, pp. 284–289). Springer.

2013

  1. A model-driven approach to teaching concurrency
    Carro, M., Ángel Herranz-Nieva, & Mariño, J. (2013). A model-driven approach to teaching concurrency. ACM Trans. Comput. Educ., 13(1), 5:1–5:19.

2011

  1. A Verified Implementation of Priority Monitors in Java
    Ángel Herranz-Nieva, & Mariño, J. (2011). A Verified Implementation of Priority Monitors in Java. In B. Beckert, F. Damiani, & D. Gurov (Eds.), Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Vol. 7421, pp. 160–177). Springer.
  2. Synthesis of Logic Programs from Object-Oriented Formal Specifications
    Ángel Herranz-Nieva, & Mariño, J. (2011). Synthesis of Logic Programs from Object-Oriented Formal Specifications. In J. P. Gallagher & M. Gelfond (Eds.), Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA (Vol. 11, pp. 95–105). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  3. A Tool for the Integration of Constraint Solving in Spreadsheets
    Fernández-Soriano Ana Marı́a, Mariño, J., & Ángel Herranz-Nieva. (2011). A Tool for the Integration of Constraint Solving in Spreadsheets. In P. Arenas & Gulı́as Vı́ctor M. (Eds.), Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011 (Vol. 282, pp. 35–45). Elsevier.

2010

  1. An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay
    Ángel Herranz-Nieva. (2010). An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay [PhD thesis, Technical University of Madrid, Spain].

2009

  1. Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker
    Taibi, T., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2009). Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. J. Object Technol., 8(2), 137–161.
  2. Modeling Concurrent Systems with Shared Resources
    Ángel Herranz-Nieva, Mariño, J., Carro, M., & Moreno-Navarro, J. J. (2009). Modeling Concurrent Systems with Shared Resources. In Alpuente Marı́a, B. Cook, & C. Joubert (Eds.), Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings (Vol. 5825, pp. 102–116). Springer.

2008

  1. Modelling Mash-up Resources
    Perez, I., Ángel Herranz-Nieva, Muñoz-Hernández, S., & Moreno-Navarro, J. J. (2008). Modelling Mash-up Resources. In A. Moreira, Suárez-Cabal Marı́a José, C. de la Riva, & J. Tuya (Eds.), XIII Jornadas de Ingenierı́a del Software y Bases de Datos (JISBD 2008), Gijón, Spain, October 7-10, 2008. Proceedings (pp. 135–146).
  2. Automatic Coding Rule Conformance Checking Using Logic Programming
    Marpons-Ucero, G., Mariño-Carballo, J., Carro, M., Ángel Herranz-Nieva, Moreno-Navarro, J. J., & Fredlund, L.-Å. (2008). Automatic Coding Rule Conformance Checking Using Logic Programming. In P. Hudak & D. S. Warren (Eds.), Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 (Vol. 4902, pp. 18–34). Springer.
  3. A Coding Rule Conformance Checker Integrated into GCC
    Marpons-Ucero, G., Mariño, J., Carro, M., Ángel Herranz-Nieva, Fredlund, L.-Å., Moreno-Navarro, J. J., & Álvaro Polo. (2008). A Coding Rule Conformance Checker Integrated into GCC. In J. M. Almendros-Jiménez (Ed.), Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008 (Vol. 248, pp. 149–159). Elsevier.

2007

  1. Demand analysis with partial predicates
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2007). Demand analysis with partial predicates. Theory Pract. Log. Program., 7(1-2), 153–182.
  2. Automatic Coding Rule Conformance Checking Using Logic Programs
    Marpons-Ucero, G., Mariño, J., Ángel Herranz-Nieva, Fredlund, L.-Å., Carro, M., & Moreno-Navarro, J. J. (2007). Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR, abs/0711.0344.

2006

  1. Demand Analysis with Partial Predicates
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2006). Demand Analysis with Partial Predicates. CoRR, abs/cs/0602008.

2004

  1. Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns
    Carro, M., Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2004). Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. In C. N. Dean & R. T. Boute (Eds.), Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings (Vol. 3294, pp. 85–106). Springer.

2003

  1. Rapid Prototyping and Incremental Evolution Using SLAM
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2003). Rapid Prototyping and Incremental Evolution Using SLAM. 14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA, 201.
  2. Formal Extreme (and Extremely Formal) Programming
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2003). Formal Extreme (and Extremely Formal) Programming. In M. Marchesi & G. Succi (Eds.), Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings (Vol. 2675, pp. 88–96). Springer.

2002

  1. Declarative Reflection and its Application as a Pattern Language
    Ángel Herranz-Nieva, Moreno-Navarro, J. J., & Maya, N. (2002). Declarative Reflection and its Application as a Pattern Language. In M. Comini & M. Falaschi (Eds.), 11th International Workshop on Functional and (Constraint) Logic Programming, WFLP 2002, Grado, Italy, June 20-22, 2002 (Vol. 76, pp. 197–215). Elsevier.

2000

  1. Generation of and Debugging with Logical Pre and Post-Conditions
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). Generation of and Debugging with Logical Pre and Post-Conditions. In M. Ducassé (Ed.), Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000.
  2. Towards Automating the Iterative Rapid Prototyping Process with the SLAM system
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. In C. Delgado, E. Marcos, & J. M. M. Corral (Eds.), V Jornadas Ingenierı́a de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid (pp. 217–228). Universidad de Valladolid, Departamento de Informática.
  3. On the Role of Functional-logic Languages for the Debugging of Imperative Programs
    Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). On the Role of Functional-logic Languages for the Debugging of Imperative Programs. In Alpuente Marı́a (Ed.), 9th International Workshop on Functional and Logic Programming, WFLP’2000, Benicassim, Spain, September 28-30, 2000 (pp. 23–41).
  4. Partial Predicates for Demand Analysis
    Mariño, J., Ángel Herranz-Nieva, & Moreno-Navarro, J. J. (2000). Partial Predicates for Demand Analysis. In Alpuente Marı́a (Ed.), 9th International Workshop on Functional and Logic Programming, WFLP’2000, Benicassim, Spain, September 28-30, 2000 (pp. 324–339).

1996

  1. Adding Type Classes to Functional-Logic Languages
    Moreno-Navarro, J. J., Mariño, J., del Pozo-Prieto, A., Ángel Herranz-Nieva, & Garcı́a-Martı́n Julio. (1996). Adding Type Classes to Functional-Logic Languages. In P. Lucio, M. Martelli, & M. Navarro (Eds.), 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE’96, Donostia-San Sebastian, Spain, July 15-18, 1996 (pp. 427–438).
    © Babel Group 2025