FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
DS-FM STUDENTS PAPERS: AUTHOR INDEX
PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index
Shortcuts: CKNV
C
Cavezza, Davide Giacomo
Heuristic-Based GR(1) Assumptions Refinement (PDF, talk)
K
Khanna, Dhriti
Analysis and Verification of Message Passing based Parallel Programs (PDF, talk)
N
Nührenberg, Georg
Formal verification of neural networks (PDF, talk)
V
Vuotto, Simone
Consistency Checking of Functional Requirements (PDF, talk)