Login / Signup
Matthew Kracht
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Tree Automata
Specification Language
Unit Testing
Control Flow
Top Venues
ACSD
ICSAMOS
</>
Publications
</>
Mahesh Nanjundappa
,
Matthew Kracht
,
Julien Ouy
,
Sandeep Kumar Shukla
A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications.
ACSD
(2013)
Julien Ouy
,
Matthew Kracht
,
Sandeep K. Shukla
Abstraction of polychronous dataflow specifications into mode-automata.
ICSAMOS
(2013)