Publications

Filtered as: all types - all years - all authors - keyword: High assurance
Sorted by: keyword - year
Corresponding bibtex list 

High assurance 

2017 

1. Tze-Meng Low and Franz Franchetti
   High Assurance Code Generation for Cyber-Physical Systems
   Proc. IEEE International Symposium on High Assurance Systems Engineering (HASE), 2017
   
2. Franz Franchetti, Tze-Meng Low, Stefan Mitsch, Juan Pablo Mendoza, Liangyan Gui, Amarin Phaosawasdi, David Padua, Soummya Kar, José M. F. Moura, M. Franusich, Jeremy Johnson, Andre' Platzer and Manuela Veloso
   High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control
   IEEE Control Systems Magazine, 2017
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007