Wednesday, February 1, 2017 — 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
Location 
EIT - Centre for Environmental and Information Technology
Room 3142
200 University Avenue West

Waterloo, ON N2L 3G1
Canada

S M T W T F S
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
1
2
3
4
  1. 2021 (125)
    1. December (5)
    2. November (18)
    3. October (10)
    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. 2022 (1)
    1. January (1)
  3. 2020 (246)
    1. December (20)
    2. November (19)
    3. October (15)
    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)
  4. 2019 (282)
  5. 2018 (150)
  6. 2017 (212)
  7. 2016 (242)
  8. 2015 (242)
  9. 2014 (268)
  10. 2013 (190)
  11. 2012 (31)