Matthew Kracht

Abstraction of polychronous dataflow specifications into mode-automata

Sandeep K. Shukla, Julien Ouy, Matthew Kracht, 2013, 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).

Improved False Causal Loop Detection in Polychronous Specificationof Embedded Software

Sandeep K. Shukla, Sandeep Kumar, Matthew Kracht, 2011 .

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

Sandeep K. Shukla, Julien Ouy, Matthew Kracht, 2013, 2013 13th International Conference on Application of Concurrency to System Design.

Techniques and Tools for Trustworthy Composition of Pre-Designed Embedded Software Components

Sandeep K. Shukla, Erik Rosenthal, Julien Ouy, 2012 .

A Formal Approach to the Provably Correct Synthesis of Mission Critical Embedded Software for Multi Core Embedded Platforms

Sandeep K. Shukla, Bijoy A. Jose, Julien Ouy, 2014 .