# |
 Period  |
Type |
Name |
Principal investigator |
 |
101. |
2005 - 2008 |
CIFRE |
|
|
|
102. |
2004 - 2007 |
ANR |
ALIDECSLanguages and Tool-Chain for the Development of Safe Embedded Components |
|
|
103. |
2015 - 2015 |
Subvention |
|
|
|
104. |
2016 - 2016 |
Subvention |
|
|
|
105. |
2010 - 2013 |
ANR |
|
|
|
106. |
2005 - 2009 |
ANR |
|
|
|
107. |
2009 - 2013 |
ANR |
HOLYRISKScientific Uncertainty and Food Risk Regulation |
|
|
108. |
2009 - 2012 |
ANR |
MLSNMulti-level Social Networks |
|
|
109. |
2016 - 2016 |
Subvention |
|
|
|
110. |
2009 - 2011 |
ANR |
|
|
|
111. |
2007 - 2011 |
DIGITEO |
SHIRIAn automatic ontology-driven approach for the semantic annotation of documents |
|
|
112. |
2017 - 2017 |
Subvention |
|
|
|
113. |
2007 - 2009 |
Industriel |
|
|
|
114. |
2012 - 2016 |
ANR |
|
|
|
115. |
2004 - 2008 |
Contrat europeen |
TYPESTypes for Proofs and Programs |
|
|
116. |
2008 - 2011 |
ANR |
SCALPSecurity of Cryptographic Algorithms with Probabilities |
|
|
117. |
2003 - 2007 |
Subvention |
GECCOOGeneration of Certified Code for Object Oriented Applications specification, refinement, proof and error detection |
|
|
118. |
2006 - 2009 |
CIFRE |
CIFRE/Y.MOYPhD Yannick MOY - Analysing usage of dynamic memory in C embedded softwares |
|
|
119. |
2018 - 2018 |
Subvention |
|
|
|
120. |
2016 - 2016 |
Subvention |
|
|
|
121. |
2012 - 2013 |
Subvention |
|
|
|
122. |
2012 - 2015 |
ANR |
|
|
|
123. |
2011 - 2012 |
ANR |
|
|
|
124. |
2013 - 2013 |
Contrat europeen |
|
|
|
125. |
2011 - 2014 |
Industriel |
|
|
|
|
| Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 5 sur 22] |
