DS@FM'19: DOCTORAL SYMPOSIUM - FORMAL METHODS 2019
TALK AUTHOR INDEX
Shortcuts: BFJKMSZ
B
Barbosa, João
Data Types in Logic Programming
Berani Abdelwahab, Erzana
Delayed Hybrid Systems
Bischopink, Christopher
Synthesising Monitors for Autonomous Traffic
F
Fernandes Ângelo, Pedro Jorge
Discrete Polymorphism with Gradual Typing
J
Johnson, Saul
Passlab: A Password Security Tool for the Blue Team
Jongmans, Sung-Shik
Automata-Theoretic Protocol Programming (Invited talk)
K
Kulik, Tomas
Provable cyber security for industrial control systems
M
Monat, Raphaël
Static Analysis of Python Programs
S
Schett, Maria A
Blockmania QED.
Selvaraj, Yuvaraj
Formal Verification of Autonomous Driving Systems
Z
Zanella, Marco
Robustness Verification of Support Vector Machines