| A model-driven approach to teaching concurrency M Carro, Á Herranz, J Marino ACM Transactions on Computing Education (TOCE) 13 (1), 1-19, 2013 | 26 | 2013 |
| Formal extreme (and extremely formal) programming A Herranz, JJ Moreno-Navarro Extreme Programming and Agile Processes in Software Engineering: 4th …, 2003 | 26 | 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 | 20 | 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 | 18 | 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 | 18 | 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 | 17 | 2009 |
| Rapid prototyping and incremental evolution using SLAM A Herranz, JJ Moreno-Navarro 14th IEEE International Workshop on Rapid Systems Prototyping, 2003 …, 2003 | 14 | 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 | 13 | 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 | 12 | 2009 |
| On the design of an object-oriented formal notation A Herranz, JJ Moreno Fourth Workshop on Rigorous Object Oriented Methods, ROOM 4, 2002 | 12 | 2002 |
| Generation of and Debugging with Logical Pre and Post-Conditions. A Herranz-Nieva, JJ Moreno-Navarro AADEBUG, 2000 | 12 | 2000 |
| 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 | 10 | 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 | 10 | 2007 |
| More than parsing A Herranz, P Nogueira Spanish V Conference on Programming and Languages (PROLE 2005), 193-202, 2005 | 10 | 2005 |
| A verified implementation of priority monitors in Java Á Herranz, J Marino International Conference on Formal Verification of Object-Oriented Software …, 2011 | 9 | 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 | 9 | 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 | 8 | 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 | 7 | 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 | 7 | 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 | 7 | 2009 |
Julio MariñoUniversidad Politécnica de MadridVerified email at fi.upm.es
