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
1151999
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
1021999
IF: A validation environment for timed asynchronous systems
M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier
International Conference on Computer Aided Verification, 543-547, 2000
692000
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
512000
State space reduction based on live variables analysis
M Bozga, JC Fernandez, L Ghirvu
International static analysis symposium, 164-178, 1999
491999
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
382000
State space reduction based on live variables analysis
JC Fernandez, M Bozga, L Ghirvu
Science of Computer Programming 47 (2-3), 203-220, 2003
312003
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
262000
Using static analysis to improve automatic test generation
M Bozga, JC Fernandez, L Ghirvu
International Journal on Software Tools for Technology Transfer 4 (2), 142-152, 2003
152003
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
151998
The intermediate representation IF: syntax and semantics
M Bozga, L Ghirvu, S Graf, L Mounier, J Sifakis
Verimag, Grenoble, Tech. Rep, 1999
81999
The system can't perform the operation now. Try again later.
Articles 1–11