User contributions
Jump to navigation
Jump to search
- 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