Ángel Herranz-Nieva

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 3

Top Topics

Nested Transactions

Top Venues

Publications

Jorge D. Ortiz-Fuentes, Ángel Herranz-Nieva
Persistence Factories Architectural Design Pattern. ECSA (2022)
Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz-Nieva
Synthesis of verifiable concurrent Java components from formal models. Softw. Syst. Model. 18 (1) (2019)
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Applying Property-Based Testing in Teaching Safety-Critical System Programming. EUROMICRO-SEAA (2015)
Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo
Property-Based Testing of JSON Based Web Services. ICWS (2014)
Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. SEFM Workshops (2014)
Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Jsongen: a quickcheck based library for testing JSON web services. Erlang Workshop (2014)
Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
Execution and Verification of UML State Machines with Erlang. SEFM (2014)
Manuel Carro, Ángel Herranz-Nieva, Julio Mariño
A model-driven approach to teaching concurrency. ACM Trans. Comput. Educ. 13 (1) (2013)
Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva
A Tool for the Integration of Constraint Solving in Spreadsheets. Electron. Notes Theor. Comput. Sci. 282 (2012)
Ángel Herranz-Nieva, Julio Mariño
Synthesis of Logic Programs from Object-Oriented Formal Specifications. ICLP (Technical Communications) (2011)
Ángel Herranz-Nieva, Julio Mariño
A Verified Implementation of Priority Monitors in Java. FoVeOOS (2011)
Toufik Taibi, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. J. Object Technol. 8 (2) (2009)
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro
Modeling Concurrent Systems with Shared Resources. FMICS (2009)
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
A Coding Rule Conformance Checker Integrated into GCC. Electron. Notes Theor. Comput. Sci. 248 (2009)
Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro
Modelling Mash-up Resources. JISBD (2008)
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
Automatic Coding Rule Conformance Checking Using Logic Programming. PADL (2008)
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
Automatic Coding Rule Conformance Checking Using Logic Programs CoRR (2007)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Demand analysis with partial predicates. Theory Pract. Log. Program. 7 (1-2) (2007)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Demand Analysis with Partial Predicates CoRR (2006)
Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM (2004)
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Formal Extreme (and Extremely Formal) Programming. XP (2003)
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Rapid Prototyping and Incremental Evolution Using SLAM. IEEE International Workshop on Rapid System Prototyping (2003)
Ángel Herranz-Nieva, Juan José Moreno-Navarro, N. Maya
Declarative Reflection and its Application as a Pattern Language. Electron. Notes Theor. Comput. Sci. 76 (2002)
Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Partial Predicates for Demand Analysis. WFLP (2000)
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Generation of and Debugging with Logical Pre and Post-Conditions. AADEBUG (2000)
Ángel Herranz-Nieva, Juan José Moreno-Navarro
On the Role of Functional-logic Languages for the Debugging of Imperative Programs. WFLP (2000)
Ángel Herranz-Nieva, Juan José Moreno-Navarro
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system. JISBD (2000)
Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín
Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE (1996)