I agree that this site is using cookies. You can find further informations here.
X
Herranz, Angel
630  results:
Search for persons X
?
1

Generation and Refinement of Testing Models:

, In: Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang,
Bueso de Barrio, Luis Eduardo ; Fredlund, Lars-Åke ; Benac Earle, Clara.. - p. 14-23 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Executable contracts for Elixir:

, In: Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang,
Pérez, Sergio ; de Barrio, Luis Eduardo Bueso ; Ballesteros, Ignacio... - p. 40-46 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Makina: a new QuickCheck state machine library:

, In: Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang,
de Barrio, Luis Eduardo Bueso ; Fredlund, Lars-Åke ; Herranz, Ángel.. - p. 41-53 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

Synthesis of verifiable concurrent Java components from for..:

Mariño, Julio ; Alborodo, Raúl N. N. ; Fredlund, Lars-Åke.
Software & Systems Modeling.  18 (2017)  1 - p. 71-105 , 2017
Link: https://doi.org/10.1007/..
 
?
5

Jsongen : a quickcheck based library for testing JSON we..:

, In: Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang,
Benac Earle, Clara ; Fredlund, Lars-Åke ; Herranz, Ángel. - p. 33-41 , 2014
Link: https://dl.acm.org/doi/1..
 
?
6

A model-driven approach to teaching concurrency:

Carro, Manuel ; Herranz, Ángel ; Mariño, Julio
ACM Transactions on Computing Education.  13 (2013)  1 - p. 1-19 , 2013
Link: https://doi.org/10.1145/..
 
?
7

A model-driven approach to teaching concurrency:

Carro, Manuel ; Herranz, Ángel ; Mariño, Julio
ACM Transactions on Computing Education (TOCE).  13 (2013)  1 - p. 1-19 , 2013
Link: https://dl.acm.org/doi/1..
 
?
8

A Tool for the Integration of Constraint Solving in Spreads..:

Fernández-Soriano, Ana María ; Mariño, Julio ; Herranz, Ángel
Electronic Notes in Theoretical Computer Science.  282 (2012)  - p. 35-45 , 2012
Link: https://doi.org/10.1016/..
 
?
9

A Coding Rule Conformance Checker Integrated into GCC:

Marpons, Guillem ; Mariño, Julio ; Carro, Manuel...
Electronic Notes in Theoretical Computer Science.  248 (2009)  - p. 149-159 , 2009
Link: https://doi.org/10.1016/..
 
?
10

Demand analysis with partial predicates:

MARIÑO, JULIO ; HERRANZ, ÁNGEL ; MORENO-NAVARRO, JUAN JOSÉ
Theory and Practice of Logic Programming.  7 (2007)  1-2 - p. 153-182 , 2007
Link: https://doi.org/10.1017/..
 
?
11

Modeling and Reasoning about Design Patterns in Slam-Sl:

, In: Design Pattern Formalization Techniques,
Herranz, Angel ; Moreno-Navarro, Juan José ,
Link: https://doi.org/10.4018/..
 
?
12

Persistence Factories Architectural Design Pattern:

, In: Software Architecture; Lecture Notes in Computer Science,
Ortiz Fuentes, Jorge D. ; Herranz Nieva, Ángel - p. 167-177 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Sustainable Methodology for Operational and Formal Digital ..:

Muñoz-Hernández, Susana ; Benac-Earle, Clara ; Herranz Nieva, Angel.
Sustainability.  13 (2021)  17 - p. 9698 , 2021
Link: https://doi.org/10.3390/..
 
?
14

Genetic polymorphisms and skin aging: the identification of..:

Naval, Jordi ; Alonso, Vicente ; Herranz, Miquel Angel
Clinical, Cosmetic and Investigational Dermatology.  , 2014
Link: https://doi.org/10.2147/..
 
?
15

Methods for diagnosing perceived age on the basis of an ens..:

Naval, Jordi ; Coma, Mireia ; Valls, Raquel...
Clinical, Cosmetic and Investigational Dermatology.  , 2014
Link: https://doi.org/10.2147/..
 
1-15