-
* [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
