Irina M. Smarandache

2001
3	EE	Hubert Garavel, Radu Mateescu, Irina M. Smarandache: Parallel State Space Construction for Model-Checking. SPIN 2001: 217-234
1999
2	EE	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: 1364-1383
1997
1		Irina M. Smarandache, Paul Le Guernic: Affine Transformations in SIGNAL and Their Application in the Specification and Validation of Real-Time Systems. ARTS 1997: 233-247

Coauthor Index

1	Hubert Garavel	[3]
2	Thierry Gautier	[2]
3	Paul Le Guernic	[1] [2]
4	Radu Mateescu	[3]

Colors in the list of coauthors