Irina M. Smarandache

Publication Activity (10 Years)

Years Active: 1997-2001
Publications (10 Years): 0

Publications

Hubert Garavel, Radu Mateescu, Irina M. Smarandache
Parallel State Space Construction for Model-Checking. SPIN (2001)
Irina M. Smarandache, Thierry Gautier, Paul Le Guernic
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. World Congress on Formal Methods (1999)
Irina M. Smarandache, Nimal Nissanke
Applicability of SIGNAL in safety critical system development. IEE Proc. Softw. 146 (2) (1999)
Irina M. Smarandache, Paul Le Guernic
Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems. ARTS (1997)