Difference between revisions of "Radu Iosif"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 8: | Line 8: | ||
=== Research === | === Research === | ||
| + | |||
| + | * [http://www-verimag.imag.fr/Program-Verification.html?lang=en Program Verification] | ||
| + | * [[Recent publications]] ([http://www.informatik.uni-trier.de/~ley/pers/hd/i/Iosif:Radu.html DBLP]) | ||
| + | * [[Software]] | ||
=== Projects === | === Projects === | ||
| + | |||
| + | * [https://sites.google.com/site/veridyc/ VERIDYC] (2009-2013) | ||
| + | * [http://www.lsv.ens-cachan.fr/Projects/rntl-averiles/ AVERILES] (2006-2009) | ||
| + | * [http://www-verimag.imag.fr/~iosif/projects/ACI/aci-dynamo.html DYNAMO] (2003-2006) | ||
=== Teaching === | === Teaching === | ||
=== Events === | === Events === | ||
Revision as of 14:32, 28 April 2013
CNRS Researcher (CR1)
Distributed and Complex Systems Group
VERIMAG Laboratory
