Search results

Jump to: navigation, search
  • * [http://www-verimag.imag.fr/ VERIMAG Grenoble] (Radu Iosif, Sylvain Boulme, Nicolas Halbwachs, Cristina Serban)
    604 B (76 words) - 15:34, 27 March 2015
  • ...inite_Systems_Verification_Day Infinite Systems Verification Day (HdR Radu Iosif)] * Radu Iosif is invited to attend the [http://www.cs.ox.ac.uk/conferences/oxford_iss2015
    4 KB (551 words) - 17:39, 26 September 2017
  • ...php/Main_Page VECOLIB] projet. This project will be supervised by Dr. Radu Iosif from CNRS/University of Grenoble. The salary after tax is in the range of 1 Send your CV to Radu.Iosif@imag.fr. The CV must contain previously obtained degrees with average grade
    2 KB (275 words) - 16:42, 12 December 2014
  • 11h30 '''Radu Iosif''' (VERIMAG) ''Abstraction Refinement for Trace Inclusion of Infinite State
    4 KB (629 words) - 16:12, 27 March 2015
  • Andrew Reynolds, Radu Iosif, and Cristina Serban. Radu Iosif and Xiao Xu.
    12 KB (1,803 words) - 12:01, 6 September 2017
  • author = {Radu Iosif and author = {Radu Iosif and
    6 KB (746 words) - 18:19, 22 October 2015
  • 13h30 '''Radu Iosif''' (Verimag) ''Decidable Horn Systems with Difference Constraints Arithmeti
    6 KB (830 words) - 16:34, 28 May 2015
  • 11h00-11h30 '''Radu Iosif (Verimag)'''
    7 KB (1,084 words) - 18:26, 13 November 2015
  • 14h00-14h45 '''Radu Iosif (Verimag)'''
    2 KB (291 words) - 11:37, 23 May 2016