Follow
Lucian Ghirvu
Lucian Ghirvu
Lector informatica, Univ. Al.I.Cuza Iasi
Verified email at info.uaic.ro
Title
Cited by
Cited by
Year
IF: An intermediate representation and validation environment for timed asynchronous systems
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier
International Symposium on Formal Methods, 307-327, 1999
1171999
IF: An intermediate representation for SDL and its applications
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier, J Sifakis
SDL'99, 423-440, 1999
1081999
IF: A validation environment for timed asynchronous systems
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
722000
Verification and test generation for the SSCOP protocol
M Bozga, JC Fernandez, L Ghirvu, C Jard, T Jéron, A Kerbrat, P Morel, ...
Science of Computer Programming 36 (1), 27-52, 2000
552000
State space reduction based on live variables analysis
M Bozga, JC Fernandez, L Ghirvu
Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999
511999
Using static analysis to improve automatic test generation
M Bozga, JC Fernandez, L Ghirvu
International Conference on Tools and Algorithms for the Construction and …, 2000
462000
State space reduction based on live variables analysis
JC Fernandez, M Bozga, L Ghirvu
Science of Computer Programming 47 (2-3), 203-220, 2003
342003
A transformational approach for generating non-linear invariants
S Bensalem, M Bozga, JC Fernandez, L Ghirvu, Y Lakhnech
International Static Analysis Symposium, 58-72, 2000
302000
The intermediate representation IF
M Bozga, JC Fernandez, L Ghirvu, S Graf, L Mounier, JP Krimm, J Sifakis
Internal document, don’t distribute 2 (1), 8.3, 1998
161998
Using static analysis to improve automatic test generation
M Bozga, JC Fernandez, L Ghirvu
International Journal on Software Tools for Technology Transfer 4, 142-152, 2003
142003
The intermediate representation IF: syntax and semantics
M Bozga, L Ghirvu, S Graf, L Mounier, J Sifakis
Verimag, Grenoble, Tech. Rep, 1999
91999
The system can't perform the operation now. Try again later.
Articles 1–11