Matthew Kracht

According to our database, Matthew Kracht authored at least 2 papers in 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Abstraction of polychronous dataflow specifications into mode-automata.

Julien Ouy, Matthew Kracht, Sandeep K. Shukla

Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications.

Mahesh Nanjundappa, Matthew Kracht, Julien Ouy, Sandeep Kumar Shukla

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013