| 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 | 121 | 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 | 109 | 1999 |
| 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 | 72 | 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 | 55 | 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 | 53 | 1999 |
| 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 | 48 | 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 | 35 | 2003 |
| 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 | 31 | 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 | 17 | 1998 |
| 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 | 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, GrenobleZweryfikowany adres z imag.fr
