 | 2009 |
|---|
| 16 |       | Ángel Herranz-Nieva,
Julio Mariño,
Manuel Carro,
Juan José Moreno-Navarro:
Modeling Concurrent Systems with Shared Resources.
FMICS 2009: 102-116 |
| 15 | | 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.
Electr. Notes Theor. Comput. Sci. 248: 149-159 (2009) |
| 14 | | Toufik Taibi,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.
Journal of Object Technology 8(2): 137-161 (2009) |
| 2008 |
|---|
| 13 | | 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: 18-34 |
| 2007 |
|---|
| 12 | | 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 abs/0711.0344: (2007) |
| 11 | | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Demand analysis with partial predicates.
TPLP 7(1-2): 153-182 (2007) |
| 2006 |
|---|
| 10 | | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Demand Analysis with Partial Predicates
CoRR abs/cs/0602008: (2006) |
| 2004 |
|---|
| 9 | | 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: 85-106 |
| 2003 |
|---|
| 8 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Rapid Prototyping and Incremental Evolution Using SLAM.
IEEE International Workshop on Rapid System Prototyping 2003: 201- |
| 7 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Formal Extreme (and Extremely Formal) Programming.
XP 2003: 88-96 |
| 2002 |
|---|
| 6 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro,
N. Maya:
Declarative Reflection and its Application as a Pattern Language.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2000 |
|---|
| 5 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Generation of and Debugging with Logical Pre and Post-Conditions.
AADEBUG 2000 |
| 4 |  | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system.
JISBD 2000: 217-228 |
| 3 | | Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
On the Role of Functional-logic Languages for the Debugging of Imperative Programs.
WFLP 2000: 23-41 |
| 2 | | Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Partial Predicates for Demand Analysis.
WFLP 2000: 324-339 |
| 1996 |
|---|
| 1 | | 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: 427-438 |
