User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:47, 21 October 2017 (diff | hist) . . (+6) . . Deliverables (current)
- 15:46, 21 October 2017 (diff | hist) . . (+4) . . Deliverables
- 15:43, 21 October 2017 (diff | hist) . . (0) . . File:Verif-cfdlli.pdf (Sighireanu uploaded a new version of File:Verif-cfdlli.pdf) (current)
- 13:39, 6 September 2017 (diff | hist) . . (0) . . Deliverables
- 14:22, 5 September 2017 (diff | hist) . . (-41) . . Meetings (current)
- 14:17, 5 September 2017 (diff | hist) . . (+89) . . Meetings
- 14:09, 5 September 2017 (diff | hist) . . (+4) . . Deliverables
- 14:09, 5 September 2017 (diff | hist) . . (+2) . . Deliverables
- 14:08, 5 September 2017 (diff | hist) . . (+51) . . Deliverables
- 14:08, 5 September 2017 (diff | hist) . . (+39) . . N File:D1-4.pdf (D1.4: bi-abduction for Separation Logic) (current)
- 14:16, 4 September 2017 (diff | hist) . . (+67) . . Deliverables
- 14:14, 4 September 2017 (diff | hist) . . (+41) . . N File:Verif-cfdlli.pdf (Verification of container library: cfdlli)
- 14:13, 4 September 2017 (diff | hist) . . (0) . . File:D2-1.pdf (Sighireanu uploaded a new version of File:D2-1.pdf) (current)
- 21:40, 3 September 2017 (diff | hist) . . (+54) . . N File:D3-3.pdf (Deliverable 3.3: From low level to high level programs) (current)
- 21:40, 3 September 2017 (diff | hist) . . (0) . . File:D2-2.pdf (Sighireanu uploaded a new version of File:D2-2.pdf) (current)
- 21:39, 3 September 2017 (diff | hist) . . (0) . . File:D4-5.pdf (Sighireanu uploaded a new version of File:D4-5.pdf) (current)
- 14:09, 1 September 2017 (diff | hist) . . (+8) . . Deliverables
- 14:07, 1 September 2017 (diff | hist) . . (+46) . . N File:D4-5.pdf (Deliverable 4.5: Tools for High Level Programs)
- 14:07, 1 September 2017 (diff | hist) . . (+186) . . Deliverables
- 14:05, 1 September 2017 (diff | hist) . . (+56) . . N File:D2-2.pdf (Deliverable 2.2: Static Analysis for High Level Programs)
- 16:47, 28 August 2017 (diff | hist) . . (0) . . File:D2-1.pdf (Sighireanu uploaded a new version of File:D2-1.pdf)
- 18:38, 27 August 2017 (diff | hist) . . (+50) . . Deliverables
- 18:37, 27 August 2017 (diff | hist) . . (+54) . . N File:D3-1.pdf (Deliverable 3.1 : Logic tools for refinement relations) (current)
- 09:46, 24 August 2017 (diff | hist) . . (+55) . . Deliverables
- 09:45, 24 August 2017 (diff | hist) . . (+76) . . Deliverables
- 09:42, 24 August 2017 (diff | hist) . . (+107) . . Deliverables
- 08:56, 24 August 2017 (diff | hist) . . (+19) . . Deliverables
- 08:52, 24 August 2017 (diff | hist) . . (+2) . . Deliverables
- 08:51, 24 August 2017 (diff | hist) . . (+49) . . Deliverables
- 08:50, 24 August 2017 (diff | hist) . . (+80) . . N File:D4-3.pdf (Report going with the prototypes for deliverables 'Tools for low level programs') (current)
- 18:38, 22 August 2017 (diff | hist) . . (+5) . . Deliverables
- 18:22, 22 August 2017 (diff | hist) . . (+3) . . Deliverables
- 18:21, 22 August 2017 (diff | hist) . . (+157) . . Deliverables
- 18:11, 22 August 2017 (diff | hist) . . (+1) . . Deliverables
- 18:11, 22 August 2017 (diff | hist) . . (+56) . . Deliverables
- 18:10, 22 August 2017 (diff | hist) . . (+50) . . N File:D2-1.pdf (Deliverable 2.1: Static Analysis of Low Level Code)
- 12:21, 22 August 2017 (diff | hist) . . (+2) . . Deliverables
- 12:20, 22 August 2017 (diff | hist) . . (+70) . . Deliverables
- 12:18, 22 August 2017 (diff | hist) . . (-15) . . Deliverables
- 12:16, 22 August 2017 (diff | hist) . . (+1,985) . . Deliverables
- 10:02, 4 May 2017 (diff | hist) . . (+23) . . Deliverables
- 09:55, 4 May 2017 (diff | hist) . . (+131) . . Deliverables
- 14:01, 30 August 2016 (diff | hist) . . (-141) . . Jobs (current)
- 13:54, 18 May 2016 (diff | hist) . . (+2) . . Grenoble meeting 25 May 2016
- 13:53, 18 May 2016 (diff | hist) . . (+59) . . Grenoble meeting 25 May 2016
- 22:13, 10 May 2016 (diff | hist) . . (+386) . . Funded PhD (3 years) in Program Analysis (current)
- 11:20, 6 May 2016 (diff | hist) . . (+64) . . Funded PhD (3 years) in Program Analysis
- 11:16, 6 May 2016 (diff | hist) . . (-74) . . Funded PhD (3 years) in Program Analysis
- 11:15, 6 May 2016 (diff | hist) . . (-10) . . Funded PhD (3 years) in Program Analysis
- 11:15, 6 May 2016 (diff | hist) . . (+1,433) . . Funded PhD (3 years) in Program Analysis
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)