Publications

Filtered as: all types - all years - all authors - keyword: Real-time boundary checking
Corresponding bibtex list 

---

1. J. Cestero, J. Rogan, Tao Cui and Franz Franchetti
   High Performance High-Assurance Interval Arithmetic Based Safety Monitoring for Robot Arms on Industrial Multi-Core PLCs
   Proc. High Performance Extreme Computing (HPEC), 2026
   

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