| 2007 |
|---|
| 11 | EE | Sebastián Martorell,
Sofía Carlos,
José F. Villanueva,
Ana Sánchez:
Genetic Algorithm Applications in Surveillance and Maintenance Optimization.
Computational Intelligence in Reliability Engineering 2007: 63-99 |
| 1998 |
|---|
| 10 | EE | Kevin Lano,
Pauline Kan,
Ana Sánchez:
Linking Hazard Analysis to Formal Specification and Design in B.
SAFECOMP 1998: 60-74 |
| 9 | | Kevin Lano,
Pauline Kan,
Ana Sánchez:
Compositional Specification of Controllers for Batch Process Operations.
ZUM 1998: 250-264 |
| 1997 |
|---|
| 8 | | Kevin Lano,
Ana Sánchez:
Transformational Formal Development of Real-Time Systems.
ARTS 1997: 184-198 |
| 7 | | Kevin Lano,
Ana Sánchez:
Design of Reactive Control Systems for Event-Drivem Operations.
FME 1997: 142-161 |
| 1996 |
|---|
| 6 | | Fernando Orejas,
Marisa Navarro,
Ana Sánchez:
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.
Mathematical Structures in Computer Science 6(1): 33-67 (1996) |
| 1995 |
|---|
| 5 | EE | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
On the Correctness of Modular Systems.
Theor. Comput. Sci. 140(1): 139-177 (1995) |
| 1993 |
|---|
| 4 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
On the Correctness of Modular Systems.
AMAST 1993: 209-216 |
| 3 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
Characterizing Confusion.
Bulletin of the EATCS 49: 103-110 (1993) |
| 1991 |
|---|
| 2 | | Fernando Orejas,
Marisa Navarro,
Ana Sánchez:
Implementation and Behavioural Equivalence: A Survey.
COMPASS/ADT 1991: 93-125 |
| 1988 |
|---|
| 1 | | Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
Pilar Nivela,
Ricardo Pena:
Term Rewriting Methods for Partial Specifications.
ADT 1988 |
