Biblio

Found 7 results
Filters: Author is Christophe Joubert  [Clear All Filters]
2007
Gallardo M-del-M, Joubert C, Merino P, Sanán D.  2007.  C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs. Dragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings. :268–273.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2007.  On the Fly model checking for C programs with extended CADP in FMICS-jETI. 12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings. :321–329.
[Anonymous].  2007.  Implementing Influence Analysis using Parameterized Boolean Equation Systems. Proceedings of IEEE ISOLA 2006: 2nd Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation.
Gallardo M-del-M, Merino P, Joubert C, Sanán D.  2007.  On-the-fly API influence analysis of software. Pedro Merino y Mohammed Bakkali (Eds.). Proceedings of the II International Conference on Science and Technology. JICT 2007, 21-22 March, Malaga, Spain, 23 March, Tangier, Morocco. :1–4.
Gallardo M-del-M, Merino P, Joubert C.  2007.  On-the-Fly data flow analysis based on verification technology. Proc. of International Workshop on Compiler Optimization Meets Compiler Verification. COCV 2007. Braga, Portugal, 25 March.
Gallardo M-del-M, Joubert C, Merino P.  2007.  On-the-Fly data flow analysis based on verification technology. Electronic Notes in Theoretical Computer Science. 190:33–48.