Ángel Herranz
Cited by
Cited by
A model-driven approach to teaching concurrency
M Carro, Á Herranz, J Marino
ACM Transactions on Computing Education (TOCE) 13 (1), 1-19, 2013
Formal extreme (and extremely formal) programming
A Herranz, JJ Moreno-Navarro
Extreme Programming and Agile Processes in Software Engineering: 4th …, 2003
Property-based testing of JSON based web services
LÅ Fredlund, CB Earle, Á Herranz, J Mariño
2014 IEEE International Conference on Web Services, 704-707, 2014
Jsongen: a QuickCheck based library for testing JSON web services
C Benac Earle, LÅ Fredlund, Á Herranz, J Mariño
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 33-41, 2014
Adding Type Classes to Functional-Logic Languages.
JJ Moreno-Navarro, J Mariño, A del Pozo-Prieto, A Herranz-Nieva, ...
APPIA-GULP-PRODE, 427-438, 1996
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.
T Taibi, A Herranz-Nieva, JJ Moreno-Navarro
J. Object Technol. 8 (2), 137-161, 2009
Rapid prototyping and incremental evolution using SLAM
A Herranz, JJ Moreno-Navarro
14th IEEE International Workshop on Rapid Systems Prototyping, 2003 …, 2003
Teaching how to derive correct concurrent programs from state-based specifications and code patterns
M Carro, J Marino, A Herranz, JJ Moreno-Navarro
Teaching Formal Methods: CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium …, 2004
Modeling concurrent systems with shared resources
Á Herranz, J Mariño, M Carro, JJ Moreno Navarro
Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009
On the design of an object-oriented formal notation
A Herranz, JJ Moreno
Fourth Workshop on Rigorous Object Oriented Methods, ROOM 4, 2002
Generation of and Debugging with Logical Pre and Post-Conditions.
A Herranz-Nieva, JJ Moreno-Navarro
Automatic coding rule conformance checking using logic programming
G Marpons, J Marino, M Carro, Á Herranz, JJ Moreno-Navarro, ...
Practical Aspects of Declarative Languages: 10th International Symposium …, 2008
Automatic Coding Rule Conformance Checking Using Logic Programming
G Marpons, J Mariño, M Carro, Á Herranz, JJ Moreno-Navarro, ...
Technical Report CLIP / Universidad Politécnica de Madrid, 2007
More than parsing
A Herranz, P Nogueira
Spanish V Conference on Programming and Languages (PROLE 2005), 193-202, 2005
A verified implementation of priority monitors in Java
Á Herranz, J Marino
International Conference on Formal Verification of Object-Oriented Software …, 2011
Declarative reflection and its application as a pattern language
A Herranz, JJ Moreno, N Maya
Electronic Notes in Theoretical Computer Science 76, 197-215, 2002
A testing-based approach to ensure the safety of shared resource concurrent systems
LÅ Fredlund, J Marino, RNN Alborodo, A Herranz
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2016
Sustainable Methodology for Operational and Formal Digital Skills Acquisition: A Case Study of e-Health Inclusion
S Muñoz-Hernández, C Benac-Earle, Á Herranz-Nieva, ...
Sustainability 13 (17), 9698, 2021
Execution and verification of UML state machines with Erlang
RJ Rodríguez, LÅ Fredlund, Á Herranz, J Mariño
International Conference on Software Engineering and Formal Methods, 284-289, 2014
A coding rule conformance checker integrated into GCC
G Marpons, J Mariño, M Carro, Á Herranz, LÅ Fredlund, ...
Electronic Notes in Theoretical Computer Science 248, 149-159, 2009
The system can't perform the operation now. Try again later.
Articles 1–20