L. Torres

Verifying and Validating Specification of Knowledge-Based Systems

Luis Torres, Claudia S. Frydman, C. Frydman, 1998, ECAI.

Toward a decompositional and incremental approach to diagnosis of dynamic systems from timed observations

L. Torres, M. L. Goc, C. Curt, 2012 .

Hydraulic Dam Safety Assessment with the Timed Observations Theory

Marc Le Goc, Corinne Curt, L. Torres, 2015 .

Using DEVS Formalism to operationalize ELP Models for diagnosis in SACHEM

Norbert Giambiasi, C. Frydman, Luis Miguel Torres, 2001 .

The Diagnosis Approach used in SACHEM

Norbert Giambiasi, C. Frydman, M. Le Goc, 2001 .