MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Christophe Joubert" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Continuous Time Markov Chains (CTMCs)  
  • by Hubert Garavel, Damien Bergamini, Moëz Cherif, Christophe Joubert (inria Vasy
  • … Bergamini, Moëz Cherif, Christophe Joubert (INRIA / VASY) 1 Motivations 2 Functional verification…
  • Add To MetaCart
  • On-the-fly data flow analysis based on verification technology  
  • by María Del Mar Gallardo, Christophe Joubert, Pedro Merino — 2007 — Proceedings of the 6th International Workshop on Compiler Optimization meets Compiler Verification COCV’2007
  • …, Christophe Joubert 1 and Pedro Merino Abstract University of Málaga / Gisum Campus de Teatinos s/n 29071…
  • Cited by 4 (3 self)Add To MetaCart
  • Implementing Influence Analysis using Parameterised Boolean Equation Systems  
  • by María Del Mar Gallardo, Christophe Joubert, Pedro Merino — 2006 — In: Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISOLA’06 (Paphos, Cyprus), IEEE Computer Society Press
  • … Gallardo, Christophe Joubert and Pedro Merino University of Málaga Campus de Teatinos s/n, 29071, Málaga…
  • Cited by 7 (5 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB