Concepedia

Ángel Herranz

ÁH

Statistics

Publications

5

Citations

81

H-Index

5

Active since

2003

Affiliations

Universidad Politécnica de Madrid(Current)

IMDEA Software Institute

Ángel Herranz is an author at Universidad Politécnica de Madrid specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware TestingFormal VerificationSoftware EngineeringVerificationTest AutomationProgram AnalysisSoftware Analysis

Publications per year

2003–2014

5

Publications

5

A model-driven approach to teaching concurrency

Manuel Carro, Ángel Herranz, Julio Mariño · ACM Transactions on Computing Education · 2013 · 25 citations · Full text

Engineering, Software Systems, Education +25

Malnutrition-inflammation syndrome is associated with endothelial dysfunction in peritoneal dialysis patients.

Abelardo Aguilera, José Antonio Sánchez-Tomero, M. Auxiliadora Bajo et al. · PubMed · 2003 · 21 citations

Glomerular Disease, Vascular Disease, Immunology +22

Property-Based Testing of JSON Based Web Services

Lars‐Åke Fredlund, Clara Benac Earle, Ángel Herranz et al. · 2014 · 14 citations

Web Service Specification, Engineering, Verification +18

Clara Benac Earle, Lars‐Åke Fredlund, Ángel Herranz et al. · 2014 · 11 citations

Web Service Specification, Engineering, Web Service Modeling +14

Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.

Toufik Taibi, Ángel Herranz, Juan José Moreno-Navarro · The Journal of Object Technology · 2009 · 10 citations · Full text

1–5 of 5