User contributions
Jump to navigation
Jump to search
- 11:24, 30 January 2013 diff hist +24 m Internships →For non-European students
- 11:21, 30 January 2013 diff hist +8 Internships →CV
- 11:21, 30 January 2013 diff hist +8 m Internships →Application
- 11:20, 30 January 2013 diff hist -5 Internships →Locale
- 10:50, 30 January 2013 diff hist +47 2012-01-28 Verification day →Mnacho Echenim: On an abductive approach to error detection current
- 10:49, 30 January 2013 diff hist +50 2012-01-28 Verification day →Marie-Laure Potet: Les besoins pour l'analyse de vulnérabilités
- 10:49, 30 January 2013 diff hist +29 N File:Marie-Laure Potet 2013-01-28.pdf Marie-Laure Potet, 2013-01-28 current
- 10:49, 30 January 2013 diff hist +61 N File:Mnacho Echenim 2013-01-28.pdf Mnacho Echenim & Nicolas Peltier & Sophie Tourret, 2013-01-28 current
- 22:22, 29 January 2013 diff hist +47 Internships →Basic prerequisites
- 22:21, 29 January 2013 diff hist +90 User:David Monniaux current
- 22:20, 29 January 2013 diff hist +15 Internships →For non-European students
- 22:20, 29 January 2013 diff hist +141 Internships →For non-European students
- 22:17, 29 January 2013 diff hist +33 Internships →Locale
- 22:17, 29 January 2013 diff hist +378 Internships →Application
- 22:13, 29 January 2013 diff hist +292 Internships →Application
- 22:11, 29 January 2013 diff hist +264 Internships →Basic prerequisites
- 22:09, 29 January 2013 diff hist +280 Internships
- 22:06, 29 January 2013 diff hist +497 Internships →CV
- 22:03, 29 January 2013 diff hist +479 Internships
- 21:59, 29 January 2013 diff hist +317 Internships →Application
- 21:56, 29 January 2013 diff hist +234 Internships →CV
- 21:54, 29 January 2013 diff hist +545 Internships →CV
- 21:50, 29 January 2013 diff hist +608 Internships →Application
- 21:45, 29 January 2013 diff hist +481 Internships →Application
- 21:42, 29 January 2013 diff hist +449 N Internships Created page with "==General conditions== The STATOR project may accept as interns : * Masters students, e.g. "Research masters" (French M2R). * Graduate students pursuing PhDs in other groups...."
- 17:11, 29 January 2013 diff hist +48 2012-01-28 Verification day →Laurent Mounier: Analyse de teinte sur du code binaire
- 17:11, 29 January 2013 diff hist 0 N File:Laurent Mounier 2013-01-28.pdf current
- 16:44, 29 January 2013 diff hist +45 2012-01-28 Verification day →Goran Frehse: Calcul "lazy" avec des ensembles convexes représentés par des fonctions de support
- 16:43, 29 January 2013 diff hist +24 N File:Goran Frehse 2013-01-28.pdf Goran Frehse, 2013-01-28 current
- 14:15, 29 January 2013 diff hist +46 2012-01-28 Verification day →Julien Henry: Big steps for static analysis
- 14:15, 29 January 2013 diff hist +33 N File:Julien Henry 2013-01-28.pdf Julien Henry's talk on 2013-01-28 current
- 12:35, 29 January 2013 diff hist -83 2012-01-28 Verification day →Lunch Break
- 12:34, 29 January 2013 diff hist -1 2012-01-28 Verification day →Nicolas Peltier: On an abductive approach to error detection
- 12:33, 29 January 2013 diff hist +42 2012-01-28 Verification day →Radu Iosif: Acceleration Techniques for Program Verification
- 12:33, 29 January 2013 diff hist +22 N File:Radu Iosif 2013-01-28 talk.pdf Radu Iosif, 2013-01-28 current
- 12:24, 29 January 2013 diff hist +1 m 2012-01-28 Verification day →David Monniaux: Path-focusing and policy iteration
- 12:24, 29 January 2013 diff hist +44 2012-01-28 Verification day →David Monniaux: Path-focusing and policy iteration
- 12:23, 29 January 2013 diff hist +60 N File:DMonniaux VERIMAG 2013.pdf Slides for talk on policy iteration at VERIMAG on 2013-01-28 current
- 15:46, 28 January 2013 diff hist -15 2012-01-28 Verification day →Laurent Mounier: Analyse de teinte sur du code binaire
- 15:09, 28 January 2013 diff hist 0 2012-01-28 Verification day →Radu Iosif: Acceleration Techniques for Program Verification
- 15:09, 28 January 2013 diff hist +2 2012-01-28 Verification day →Laurent Mounier: Analyse de teinte sur du code binaire
- 15:06, 28 January 2013 diff hist -13 2012-01-28 Verification day →Marie-Laure Potet: Les besoins pour l'analyse de vulnérabilités
- 14:01, 28 January 2013 diff hist 0 2012-01-28 Verification day
- 12:27, 24 January 2013 diff hist +112 2012-01-28 Verification day
- 12:05, 24 January 2013 diff hist -712 2012-01-28 Verification day program
- 12:00, 24 January 2013 diff hist +106 2012-01-28 Verification day +Goran
- 16:21, 17 January 2013 diff hist +1 m 2012-01-28 Verification day →=David Monniaux: Quick presentation of the VERASCO and STATOR projects
- 16:21, 17 January 2013 diff hist +220 2012-01-28 Verification day
- 16:11, 17 January 2013 diff hist +1,313 2012-01-28 Verification day
- 16:00, 17 January 2013 diff hist +14 N STATOR:Community portal Created page with "* Seminars" current
- 15:57, 17 January 2013 diff hist +2 2012-01-28 Verification day →Julien Henry: Big steps for static analysis
- 15:56, 17 January 2013 diff hist +504 2012-01-28 Verification day →David Monniaux: A short tutorial on policy iteration
- 15:47, 17 January 2013 diff hist +492 2012-01-28 Verification day →David Monniaux: Implicit representations for static analysis
- 15:31, 17 January 2013 diff hist +1 2012-01-28 Verification day →David Monniaux: Implicit representations for static analysis
- 15:31, 17 January 2013 diff hist +262 2012-01-28 Verification day →David Monniaux: Implicit representations for static analysis
- 15:26, 17 January 2013 diff hist +308 2012-01-28 Verification day
- 15:16, 17 January 2013 diff hist -1 m 2012-01-28 Verification day →Laurent Mounier: Analyse de teinte sur du code binaire
- 15:15, 17 January 2013 diff hist +10 2012-01-28 Verification day verification day
- 15:09, 17 January 2013 diff hist +803 2012-01-28 Verification day
- 15:06, 17 January 2013 diff hist +936 2012-01-28 Verification day
- 15:04, 17 January 2013 diff hist +558 2012-01-28 Verification day
- 15:03, 17 January 2013 diff hist +805 N 2012-01-28 Verification day Created page with "Thao Dang Reachability analysis for polynomial dynamical systems using the Bernstein expansion This paper is concerned with the reachability computation problem for polynomi..."
- 15:03, 17 January 2013 diff hist +33 N Seminars Created page with "* 2012-01-28 Verification day" current
- 23:34, 25 October 2012 diff hist +3 MediaWiki:Common.css current
- 23:34, 25 October 2012 diff hist -3 MediaWiki:Common.css
- 23:33, 25 October 2012 diff hist +34 MediaWiki:Common.css
- 23:04, 25 October 2012 diff hist +171 N APRON Created page with "'''APRON''' is a library for handling abstract values. ==Downloads== * svn://scm.gforge.inria.fr/svnroot/mlxxxidl/mlgmpidl/trunk * svn://scm.gforge.inria.fr/svnroot/apron" current
- 23:02, 25 October 2012 diff hist +123 Pagai current
- 23:00, 25 October 2012 diff hist +52 MediaWiki:Common.css
- 22:53, 25 October 2012 diff hist +567 N Astrée Created page with "'''Astrée''' is a static analysis tool developed at wikipedia:École Normale Supérieure (ENS) in Paris by a joint ENS/wikipedia:CNRS/wikipedia:INRIA team led b..." current
- 22:47, 25 October 2012 diff hist +10 Pagai
- 22:47, 25 October 2012 diff hist +451 N Pagai Created page with "'''Pagai''' is a research prototype for static analysis by abstract interpretation, mostly implemented by [http://www-verimag.imag.fr/~jhenry Julien Henry]. It implements seve..."
- 22:43, 25 October 2012 diff hist +245 Static analysis →How it works in a nutshell current
- 22:40, 25 October 2012 diff hist +848 Static analysis →How it works in a nutshell
- 22:35, 25 October 2012 diff hist -4 Static analysis →How it works in a nutshell
- 22:34, 25 October 2012 diff hist +238 Static analysis
- 22:30, 25 October 2012 diff hist -1 MediaWiki:Common.css
- 22:29, 25 October 2012 diff hist +18 MediaWiki:Common.css
- 22:27, 25 October 2012 diff hist +1,072 Static analysis
- 22:15, 25 October 2012 diff hist +963 Static analysis
- 22:10, 25 October 2012 diff hist +675 Static analysis
- 22:01, 25 October 2012 diff hist +297 N Static analysis Created page with "'''Static analysis''' is the act of deriving information about computer software (or, more generally, hardware or protocols) without actually running it, as opposed to '''dyna..."
- 21:59, 25 October 2012 diff hist +4 Main Page
- 21:55, 25 October 2012 diff hist +3 m Main Page
- 21:55, 25 October 2012 diff hist +1 m Main Page
- 21:54, 25 October 2012 diff hist 0 MediaWiki:Common.css
- 21:54, 25 October 2012 diff hist +1 MediaWiki:Common.css
- 21:52, 25 October 2012 diff hist +35 MediaWiki:Common.css
- 21:51, 25 October 2012 diff hist -29 MediaWiki:Common.css
- 21:51, 25 October 2012 diff hist +52 MediaWiki:Common.css
- 21:50, 25 October 2012 diff hist +95 MediaWiki:Common.css
- 21:49, 25 October 2012 diff hist -39 MediaWiki:Common.css
- 21:48, 25 October 2012 diff hist -72 MediaWiki:Common.css
- 21:47, 25 October 2012 diff hist -59 MediaWiki:Common.css
- 21:46, 25 October 2012 diff hist +5 MediaWiki:Common.css
- 21:45, 25 October 2012 diff hist +5 MediaWiki:Common.css
- 21:45, 25 October 2012 diff hist +2 MediaWiki:Common.css
- 21:42, 25 October 2012 diff hist +131 MediaWiki:Common.css
- 21:31, 25 October 2012 diff hist +117 Main Page +flag
- 22:04, 24 October 2012 diff hist +117 N MediaWiki:Common.css change font
- 21:45, 24 October 2012 diff hist +84 Main Page →Laboratory
- 21:43, 24 October 2012 diff hist +34 N File:Grenoble from Moucherotte IMG 0861 tuned.jpg Grenoble seen from the Moucherotte current
- 21:27, 24 October 2012 diff hist +1 Main Page →The STATOR project
- 21:26, 24 October 2012 diff hist +104 Main Page
- 21:26, 24 October 2012 diff hist -5 Main Page
- 21:25, 24 October 2012 diff hist +11 Main Page →The STATOR project
- 21:25, 24 October 2012 diff hist +3 Main Page →Laboratory
- 21:24, 24 October 2012 diff hist +81 Main Page →Laboratory
- 21:23, 24 October 2012 diff hist +43 m Main Page →Laboratory
- 21:22, 24 October 2012 diff hist +67 User:David Monniaux
- 21:21, 24 October 2012 diff hist +676 User:David Monniaux
- 21:18, 24 October 2012 diff hist +595 Main Page
- 21:11, 24 October 2012 diff hist 0 N File:WEB CNRS-filaire-Quadri.jpg current
- 21:07, 24 October 2012 diff hist +12 N File:Logo VERIMAG vectorise.svg Logo VERIMAG current
- 21:05, 24 October 2012 diff hist +8 N File:UJFquadriBaseGauche.png Logo UJF current
- 21:00, 24 October 2012 diff hist +40 N File:STATOR PE6 306595 description of work shortened.pdf Shortened version of description of work current
- 21:58, 23 October 2012 diff hist -351 Main Page
- 21:57, 23 October 2012 diff hist +8 N File:ERC acronym.pdf ERC logo current
- 21:09, 23 October 2012 diff hist +32 N User:David Monniaux Created page with "<math>\int_1^2 x dx = 3/2</math>"