Monday, January 6, 2014

Monday, January 6, 2014 — 9:30 AM EST

Candidate

Samaneh Navabpour

Title

Time-triggered Runtime Verification of Real-time Embedded Systems

Supervisor

Fischmeister, Sebastian

Abstract

S M T W T F S
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
  1. 2019 (218)
    1. December (1)
    2. November (1)
    3. October (5)
    4. September (21)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  2. 2018 (150)
    1. December (13)
    2. November (25)
    3. October (12)
    4. September (13)
    5. August (7)
    6. July (23)
    7. June (9)
    8. May (6)
    9. April (9)
    10. March (16)
    11. February (10)
    12. January (7)
  3. 2017 (212)
  4. 2016 (242)
  5. 2015 (242)
  6. 2014 (268)
    1. December (30)
    2. November (27)
    3. October (14)
    4. September (27)
    5. August (24)
    6. July (25)
    7. June (13)
    8. May (23)
    9. April (43)
    10. March (10)
    11. February (12)
    12. January (20)
  7. 2013 (192)
  8. 2012 (31)