Lucian Ghirvu
Lucian Ghirvu
Lector informatica, Univ. Al.I.Cuza Iasi
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα info.uaic.ro
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1111999
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
991999
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
471999
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
372000
State space reduction based on live variables analysis
JC Fernandez, M Bozga, L Ghirvu
Science of Computer Programming 47 (2-3), 203-220, 2003
302003
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–11