Wednesday, February 1, 2017

Wednesday, February 1, 2017 — 12:00 to 12:00 PM EST

Candidate

Reza Babaee Cheshmeahmadrezaee

Topic

Predictive Runtime Verification of Cyber-Physical Systems

Supervisor

Sebastian Fischmeister and Arie Gurfinkel

Background subjects

Formal Methods Machine Learning Software Engineering Embedded Software

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
1
2
3
4
  1. 2021 (104)
    1. December (3)
    2. November (4)
    3. October (5)
    4. September (4)
    5. August (12)
    6. July (4)
    7. June (5)
    8. May (10)
    9. April (25)
    10. March (14)
    11. February (10)
    12. January (9)
  2. 2020 (248)
    1. December (20)
    2. November (20)
    3. October (16)
    4. September (15)
    5. August (16)
    6. July (32)
    7. June (29)
    8. May (32)
    9. April (27)
    10. March (13)
    11. February (20)
    12. January (16)
  3. 2019 (282)
  4. 2018 (150)
  5. 2017 (212)
    1. December (14)
    2. November (18)
    3. October (6)
    4. September (18)
    5. August (17)
    6. July (33)
    7. June (15)
    8. May (23)
    9. April (28)
    10. March (17)
    11. February (10)
    12. January (13)
  6. 2016 (242)
  7. 2015 (242)
  8. 2014 (268)
  9. 2013 (190)
  10. 2012 (31)