Session 25 - Verification (TECHCON 2016)

WARNING: Your browser does not have Javascript enabled, and the SRC site will not work as designed without it.

Home » Calendar » TECHCON 2016 » Session 25

Tuesday 13-Sep-2016 2:00 - 3:15 PM San Antonio
Session 25 - Verification
25.1 2:00 PM GRC
Applying Process Mining Techniques to Functional Verification

Kuo-Kai Hsieh (UC/Santa Barbara)
25.2 2:15 PM STARnet
BugMD: Automatic Mismatch Diagnosis for Bug Triaging

Biruk Mammo (Univ. of Michigan)
25.3 2:30 PM GRC
Deterministic Vector Analysis and Seed Extraction for LBIST

Gustavo K. Contreras (Univ. of Florida)
25.4 2:45 PM STARnet
Control Improvisation for Music, Robotics, IoT, and Beyond

Daniel J. Fremont (UC/Berkeley)
25.5 3:00 PM STARnet
An Ontological Event Semantics for π-Calculus

Christopher Shaver (UC/Berkeley)

INFORMATION

FOR MEMBERS

SRC VALUE

ACADEMIA

4819 Emperor Blvd, Suite 300 Durham, NC 27703 Voice: (919) 941-9400 Fax: (919) 941-9450

Important Information for the SRC website. This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies. If you are not happy with the use of these cookies, please review our Cookie Policy to learn how they can be disabled. By disabling cookies, some features of the site will not work.