Irina M. Smarandache

According to our database, Irina M. Smarandache authored at least 4 papers between 1997 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Parallel State Space Construction for Model-Checking.

Hubert Garavel, Radu Mateescu, Irina M. Smarandache

Proceedings of the Model Checking Software, 2001

1999

Applicability of SIGNAL in safety critical system development.

Irina M. Smarandache, Nimal Nissanke

IEE Proc. Softw., 1999

Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.

Irina M. Smarandache, Thierry Gautier, Paul Le Guernic

Proceedings of the FM'99 - Formal Methods, 1999

1997

Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems.

Irina M. Smarandache, Paul Le Guernic

Proceedings of the Transformation-Based Reactive Systems Development, 1997