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