Ángel Herranz-Nieva

30 papers A 1B 3C 3Journal 6Unranked 16
YearRankTypeTitle / Venue / Authors
2024 — conf
Evaluation of Mixed Reality Technologies in Telemedicine-Assisted Childbirth Simulations.
EUSPN/ICTH
Leonel Vasquez-Cevallos, Leticia Parpacen-Briones, Fabian Del-Pino-Bazan, Hermes Moran-Chaguay, Pryscilla Diaz-Mora, Juan Carlos Zevallos, Rebeca Estrada, Paul E. D. Soto-Rodriguez, Susana Muñoz-Hernández, Ángel Herranz-Nieva
2022 B conf
Persistence Factories Architectural Design Pattern.
ECSA
Jorge D. Ortiz-Fuentes, Ángel Herranz-Nieva
2019 J jnl
Synthesis of verifiable concurrent Java components from formal models.
Softw. Syst. Model.
Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz-Nieva
2015 — conf
Applying Property-Based Testing in Teaching Safety-Critical System Programming.
EUROMICRO-SEAA
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2014 — conf
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems.
SEFM Workshops
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2014 B conf
Execution and Verification of UML State Machines with Erlang.
SEFM
Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2014 — conf
Jsongen: a quickcheck based library for testing JSON web services.
Erlang Workshop
Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2014 A conf
Property-Based Testing of JSON Based Web Services.
ICWS
Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo
2013 J jnl
A model-driven approach to teaching concurrency.
ACM Trans. Comput. Educ.
Manuel Carro, Ángel Herranz-Nieva, Julio Mariño
2011 — conf
A Tool for the Integration of Constraint Solving in Spreadsheets.
PROLE
Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva
2011 — conf
A Verified Implementation of Priority Monitors in Java.
FoVeOOS
Ángel Herranz-Nieva, Julio Mariño
2011 — conf
Synthesis of Logic Programs from Object-Oriented Formal Specifications.
ICLP (Technical Communications)
Ángel Herranz-Nieva, Julio Mariño
2010 — —
An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay.
Ángel Herranz-Nieva
2009 C conf
Modeling Concurrent Systems with Shared Resources.
FMICS
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro
2009 J jnl
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.
J. Object Technol.
Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2008 — conf
A Coding Rule Conformance Checker Integrated into GCC.
PROLE
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
2008 C conf
Automatic Coding Rule Conformance Checking Using Logic Programming.
PADL
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
2008 — conf
Modelling Mash-up Resources.
JISBD
Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro
2007 J jnl
Automatic Coding Rule Conformance Checking Using Logic Programs
CoRR
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
2007 J jnl
Demand analysis with partial predicates.
Theory Pract. Log. Program.
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2006 J jnl
Demand Analysis with Partial Predicates
CoRR
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2004 — conf
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.
TFM
Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2003 B conf
Formal Extreme (and Extremely Formal) Programming.
XP
Ángel Herranz-Nieva, Juan José Moreno-Navarro
2003 C conf
Rapid Prototyping and Incremental Evolution Using SLAM.
IEEE International Workshop on Rapid System Prototyping
Ángel Herranz-Nieva, Juan José Moreno-Navarro
2002 — conf
Declarative Reflection and its Application as a Pattern Language.
WFLP
Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya
2000 — conf
Generation of and Debugging with Logical Pre and Post-Conditions.
AADEBUG
Ángel Herranz-Nieva, Juan José Moreno-Navarro
2000 — conf
On the Role of Functional-logic Languages for the Debugging of Imperative Programs.
WFLP
Ángel Herranz-Nieva, Juan José Moreno-Navarro
2000 — conf
Partial Predicates for Demand Analysis.
WFLP
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2000 — conf
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system.
JISBD
Ángel Herranz-Nieva, Juan José Moreno-Navarro
1996 — conf
Adding Type Classes to Functional-Logic Languages.
APPIA-GULP-PRODE
Juan José Moreno-Navarro, Julio Mariño, Andrés del Pozo-Prieto, Ángel Herranz-Nieva, Julio García-Martín