User contributions
From CERES
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 19:45, 17 January 2015 (diff | hist) . . (+16) . . DIT085 Ed 2015 Practical Phase 1
- 19:43, 17 January 2015 (diff | hist) . . (+1) . . DIT085
- 19:42, 17 January 2015 (diff | hist) . . (+36) . . DIT085
- 18:05, 17 January 2015 (diff | hist) . . (+61) . . AUTO-CAAS
- 18:04, 17 January 2015 (diff | hist) . . (0) . . N File:Auto-caas-projec-plan-public.pdf (current)
- 18:03, 17 January 2015 (diff | hist) . . (+65) . . AUTO-CAAS
- 15:03, 17 January 2015 (diff | hist) . . (-1) . . Vacancy for a Ph.D. Position in Model-Based Testing (A 5-year funded Ph.D. position in Computer Science with focus on Model-Based Testing is available within the EFFEMBAC project. Please see the [[Vacancy for Ph.D. Student MBT 2015|complete announ) (current)
- 10:44, 17 January 2015 (diff | hist) . . (+491) . . N Vacancy for a Ph.D. Position in Model-Based Testing (Created page with "{{newsTemplate |Title=Vacancy: Ph.D. Position in Model-Based Testing |Description=A 5-year funded Ph.D. position in Computer Science with focus on Model-Based Testing is avail...")
- 09:01, 17 January 2015 (diff | hist) . . (+269) . . EFFEMBAC
- 08:57, 17 January 2015 (diff | hist) . . (+2,966) . . N EFFEMBAC (Created page with "== Effective Model-Based Testing of Concurrent Systems== '''a research project funded by the [http://www.vr.se/ Swedish Research Council]''' == Summary == Testing and debug...")
- 08:51, 17 January 2015 (diff | hist) . . (-35) . . Vacancy for Ph.D. Student MBT 2015 (current)
- 08:50, 17 January 2015 (diff | hist) . . (-1) . . Vacancy for Ph.D. Student MBT 2015
- 08:50, 17 January 2015 (diff | hist) . . (+4) . . Vacancy for Ph.D. Student MBT 2015
- 08:43, 17 January 2015 (diff | hist) . . (+5,282) . . N Vacancy for Ph.D. Student MBT 2015 (Created page with "=Funded Ph.D. Position in Computer Science with focus on Model-Based Testing, Halmstad University, Sweden= ==Background== The position is funded by the EFFEMBAC (Effective ...")
- 07:26, 17 January 2015 (diff | hist) . . (+64) . . Research in Model-Based Testing and Verification
- 12:05, 13 January 2015 (diff | hist) . . (-8) . . DIT085 Ed 2015 Practical Phase 1
- 12:04, 13 January 2015 (diff | hist) . . (+250) . . DIT085 Ed 2015 Practical Phase 1
- 12:03, 13 January 2015 (diff | hist) . . (+751) . . DIT085
- 11:57, 13 January 2015 (diff | hist) . . (-148) . . DIT085 Ed 2015 Practical Phase 1
- 09:57, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 09:56, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 09:21, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 09:19, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 09:09, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 09:09, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 09:06, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 09:04, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 09:03, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 09:03, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 16:05, 12 January 2015 (diff | hist) . . (+759) . . DIT085 Ed 2015 Practical Phase 1
- 15:59, 12 January 2015 (diff | hist) . . (0) . . DIT085 Ed 2015 Practical Phase 1
- 15:58, 12 January 2015 (diff | hist) . . (+536) . . DIT085 Ed 2015 Practical Phase 1
- 15:52, 12 January 2015 (diff | hist) . . (+1,297) . . DIT085 Ed 2015 Practical Phase 1
- 08:51, 12 January 2015 (diff | hist) . . (+895) . . DIT085 Ed 2015 Practical Phase 1
- 05:52, 12 January 2015 (diff | hist) . . (+885) . . N DIT085 Ed 2015 Practical Phase 1 (Created page with "The first phase of this project concerns test-driven development of the kernel of our WhatsUpGU server. Before we start test-driven development, we need to fix the interface o...")
- 05:45, 12 January 2015 (diff | hist) . . (+176) . . DIT085
- 17:55, 9 January 2015 (diff | hist) . . (+6) . . Dynamic Unit Checking (current)
- 17:53, 9 January 2015 (diff | hist) . . (+148) . . Forward and Reverse Simulation
- 17:53, 9 January 2015 (diff | hist) . . (+1) . . Interactive Simulation (current)
- 17:52, 9 January 2015 (diff | hist) . . (+147) . . Interactive Simulation
- 17:49, 9 January 2015 (diff | hist) . . (+5) . . Visualizing Uncertainty (current)
- 13:48, 9 January 2015 (diff | hist) . . (+762) . . DIT085
- 11:44, 9 January 2015 (diff | hist) . . (+41) . . DIT085
- 11:41, 9 January 2015 (diff | hist) . . (-217) . . DIT085
- 10:23, 9 January 2015 (diff | hist) . . (+18) . . DIT085
- 06:01, 9 January 2015 (diff | hist) . . (+158) . . DIT085
- 05:56, 9 January 2015 (diff | hist) . . (+7) . . DIT085
- 05:55, 9 January 2015 (diff | hist) . . (+2) . . DIT085
- 05:54, 9 January 2015 (diff | hist) . . (+12) . . DIT085
- 05:53, 9 January 2015 (diff | hist) . . (+700) . . DIT085
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
