Thursday, April 4, 2019

Thursday, April 4, 2019 — 2:00 PM EDT

Candidate: Waleed Qadir Khan

Title: RuSTL: Runtime Verification Framework Using Signal Temporal Logic

Date: April 4, 2019

Time: 2:00PM

Place: EIT 3145

Supervisor(s): Fischmeister, Sebastian

 

Abstract:

S M T W T F S
27
28
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
  1. 2019 (255)
    1. December (2)
    2. November (19)
    3. October (19)
    4. September (26)
    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)
  7. 2013 (192)
  8. 2012 (31)