MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Bertrand Jeannet" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • and  
  • by Bertrand Jeannet, Thomas Reps
  • …A Relational Approach to Interprocedural Shape Analysis BERTRAND JEANNET and ALEXEY LOGINOV…
  • Add To MetaCart
  • and  
  • by Bertrand Jeannet, Thomas Reps
  • …A Relational Approach to Interprocedural Shape Analysis BERTRAND JEANNET and ALEXEY LOGINOV…
  • Add To MetaCart
  • B.: From Safety Verification to Safety Testing  
  • by Vlad Rusu, Hervé March, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet — 2004 — in: 16th IFIP International Conference on Testing of Communicating Systems (TestCom 2004
  • … Jéron, and Bertrand Jeannet IRISA/INRIA Rennes, France First.Last@(email omitted); Abstract. A methodology…
  • Cited by 3 (0 self) – Add To MetaCart
  • UPPAAL - Now, Next, and Future  
  • by Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G. Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi — 2001 — In Proc. MOVEP’00, LNCS 2067
  • …'Argenio 3 Alexandre David 1 Ansgar Fehnker 4 Thomas Hune 5 Bertrand Jeannet 2 Kim G. Larsen 2 M…
  • Cited by 4 (0 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB