| IF: An intermediate representation and validation environment for timed asynchronous systems M Bozga, JC Fernandez, L Ghirvu, S Graf, JP Krimm, L Mounier FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 119 | 1999 |
| 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 | 107 | 1999 |
| 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 | 69 | 2000 |
| 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 | 52 | 2000 |
| State space reduction based on live variables analysis M Bozga, JC Fernandez, L Ghirvu Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999 | 50 | 1999 |
| Using static analysis to improve automatic test generation M Bozga, JC Fernandez, L Ghirvu Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000 | 43 | 2000 |
| State space reduction based on live variables analysis JC Fernandez, M Bozga, L Ghirvu Science of Computer Programming 47 (2-3), 203-220, 2003 | 32 | 2003 |
| A transformational approach for generating non-linear invariants S Bensalem, M Bozga, JC Fernandez, L Ghirvu, Y Lakhnech Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA …, 2000 | 27 | 2000 |
| 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 | 16 | 1998 |
| 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 | 14 | 2003 |
| The intermediate representation IF: syntax and semantics M Bozga, L Ghirvu, S Graf, L Mounier, J Sifakis Verimag, Grenoble, Tech. Rep, 1999 | 9 | 1999 |
Marius BozgaIngenieur de Recherche, CNRS-VERIMAG, GrenobleVerified email at imag.fr
