 | 2006 |
|---|
| 7 |       | Arturo Sanchez,
Brandon Vega,
Alexander Gonzalez,
Gregory Jackson:
Automatic support for testing web-based enterprise applications.
ACM Southeast Regional Conference 2006: 325-330 |
| 2004 |
|---|
| 6 |  | Sean Warden,
Arturo Sanchez,
Sherif Elfayoumy:
Toward a General Framework for Building Scientific Data Sharing Web Services.
International Conference on Internet Computing 2004: 757-760 |
| 2003 |
|---|
| 5 | | Arturo Sanchez,
Jason Mitchell:
An Architectural Pattern For Adaptable Middleware Infrastructure.
IRI 2003: 278-284 |
| 1998 |
|---|
| 4 | | Kevin Lano,
Pauline Kan,
Arturo Sanchez:
Linking Hazard Analysis to Formal Specification and Design in B.
SAFECOMP 1998: 60-74 |
| 3 | | Kevin Lano,
Pauline Kan,
Arturo Sanchez:
Compositional Specification of Controllers for Batch Process Operations.
ZUM 1998: 250-264 |
| 1997 |
|---|
| 2 | | Kevin Lano,
Arturo Sanchez:
Transformational Formal Development of Real-Time Systems.
ARTS 1997: 184-198 |
| 1 | | Kevin Lano,
Arturo Sanchez:
Design of Reactive Control Systems for Event-Drivem Operations.
FME 1997: 142-161 |
