User contributions
From CERES
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:16, 18 January 2017 (diff | hist) . . (+171) . . MBT Reading Group
- 10:09, 16 January 2017 (diff | hist) . . (+16) . . Mohammad Mousavi's Publications
- 05:57, 13 January 2017 (diff | hist) . . (+1,689) . . HSST 2017
- 11:23, 12 January 2017 (diff | hist) . . (0) . . HSST 2017
- 08:54, 12 January 2017 (diff | hist) . . (+711) . . HSST 2017
- 17:12, 11 January 2017 (diff | hist) . . (-19) . . HSST 2017
- 15:45, 11 January 2017 (diff | hist) . . (-1) . . HSST 2017
- 15:45, 11 January 2017 (diff | hist) . . (+1,098) . . HSST 2017
- 14:06, 10 January 2017 (diff | hist) . . (+829) . . HSST 2017
- 11:14, 10 January 2017 (diff | hist) . . (+1) . . HSST 2017
- 11:14, 10 January 2017 (diff | hist) . . (+3) . . HSST 2017
- 09:58, 10 January 2017 (diff | hist) . . (+52) . . HSST 2017
- 15:34, 9 January 2017 (diff | hist) . . (+60) . . HSST 2017
- 16:32, 3 January 2017 (diff | hist) . . (+39) . . Mohammad Mousavi's Conferences
- 16:19, 3 January 2017 (diff | hist) . . (+13) . . Mohammad Mousavi's Conferences
- 18:17, 27 December 2016 (diff | hist) . . (0) . . N File:Cirqbuff mbox qc model.zip (current)
- 18:14, 27 December 2016 (diff | hist) . . (+38) . . CirqBuff and MBox QuickCheck Models (current)
- 18:10, 27 December 2016 (diff | hist) . . (+7,941) . . CirqBuff and MBox QuickCheck Models
- 18:05, 27 December 2016 (diff | hist) . . (+52) . . CirqBuff and MBox QuickCheck Models
- 18:04, 27 December 2016 (diff | hist) . . (+86) . . CirqBuff and MBox QuickCheck Models
- 18:03, 27 December 2016 (diff | hist) . . (+284) . . CirqBuff and MBox QuickCheck Models
- 17:15, 27 December 2016 (diff | hist) . . (+50) . . CirqBuff and MBox QuickCheck Models
- 17:12, 27 December 2016 (diff | hist) . . (0) . . CirqBuff and MBox QuickCheck Models
- 17:10, 27 December 2016 (diff | hist) . . (+2) . . CirqBuff and MBox QuickCheck Models
- 17:09, 27 December 2016 (diff | hist) . . (+37) . . CirqBuff and MBox QuickCheck Models
- 17:06, 27 December 2016 (diff | hist) . . (+296) . . N CirqBuff and MBox QuickCheck Models (Created page with "This page contains the complete CirqBuff and MBox QuickCheck models described in the paper entitled 'Modelling of Autosar Libraries for Large Scale Testing' by Wojciech Most...")
- 17:02, 27 December 2016 (diff | hist) . . (+60) . . AUTO-CAAS
- 15:52, 18 December 2016 (diff | hist) . . (-1) . . Mohammad Mousavi's Publications
- 15:51, 18 December 2016 (diff | hist) . . (+247) . . Mohammad Mousavi's Publications
- 14:33, 14 December 2016 (diff | hist) . . (+14) . . Research in Model-Based Testing and Verification
- 14:28, 14 December 2016 (diff | hist) . . (+22) . . Research in Model-Based Testing and Verification
- 14:24, 14 December 2016 (diff | hist) . . (+22) . . Research in Model-Based Testing and Verification
- 17:52, 10 December 2016 (diff | hist) . . (+1,895) . . N Using stock devices for unobtrusive fall detection (Created page with "{{StudentProjectTemplate |Summary=The core research question is to whether stock devices can be used to effectively detect fall events in the home. |Programme=EIS Masters 15hp...") (current)
- 17:47, 10 December 2016 (diff | hist) . . (+1,816) . . N SmartC (Created page with "{{StudentProjectTemplate |Summary=Using stock devices for unobtrusive fall detection |Programme=EIS Masters 15hpc |Keywords=Smart homes, pervasive computing, DiaSuite |TimeFra...")
- 05:32, 22 November 2016 (diff | hist) . . (+54) . . HSST 2017
- 13:49, 21 November 2016 (diff | hist) . . (+209) . . MBT Reading Group
- 07:32, 15 November 2016 (diff | hist) . . (+58) . . Mohammad Mousavi's Conferences
- 12:37, 11 November 2016 (diff | hist) . . (-1) . . Robustness improvements for in-vehicle and industrial networks using the IEEE 802.15.4 TSCH standard
- 12:33, 11 November 2016 (diff | hist) . . (-4) . . Robustness improvements for in-vehicle and industrial networks using the IEEE 802.15.4 TSCH standard
- 12:32, 11 November 2016 (diff | hist) . . (+3,204) . . N Robustness improvements for in-vehicle and industrial networks using the IEEE 802.15.4 TSCH standard (Created page with "{{StudentProjectTemplate |Summary=This thesis work aims to implement a demonstrator, where we can demonstrate the improvement of robustness by channel hopping sequence adaptat...")
- 22:08, 8 November 2016 (diff | hist) . . (+1,115) . . Old Name of the new project
- 21:46, 8 November 2016 (diff | hist) . . (+501) . . Modeling Humanoid Robots (current)
- 21:33, 8 November 2016 (diff | hist) . . (+274) . . Old Name of the new project
- 14:33, 8 November 2016 (diff | hist) . . (+125) . . Old Name of the new project
- 14:17, 8 November 2016 (diff | hist) . . (+184) . . MBT Reading Group
- 14:17, 8 November 2016 (diff | hist) . . (+295) . . Auto Generation of Embedded Controllers from High Level Specification (current)
- 14:13, 8 November 2016 (diff | hist) . . (+112) . . MBT Reading Group
- 20:54, 31 October 2016 (diff | hist) . . (+12) . . HSST 2017
- 20:52, 31 October 2016 (diff | hist) . . (+5) . . HSST 2017
- 20:52, 31 October 2016 (diff | hist) . . (+43) . . HSST 2017
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
