References
- Marco Di Natale, Liangpeng Guo, Haibo Zeng, and Alberto Sangiovanni-Vincentelli. "Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays." In IEEE Transactions on Industrial Informatics (TII) 6(4): 637-651, November 2010.
- Wang, Guoqiang, Marco Di Natale, and Alberto Sangiovanni-Vincentelli. "Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models." Industrial Informatics, IEEE Transactions on 6.4 (2010): 729-743.
- Tindell, Ken W., Alan Burns, and Andy J. Wellings. "Allocating hard real-time tasks: an NP-hard problem made easy." Real-Time Systems 4.2 (1992): 145-165.
- Marco Di Natale and Haibo Zeng." Practical Issues with the Timing Analysis of the Controller Area Network."To appear in Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Cagliari, Italy, September 10-13, 2013.
- Zeng, H., Di Natale, M., Giusto, P., & Sangiovanni-Vincentelli, A. (2009)."Stochastic analysis of CAN-based real-time automotive systems." Industrial Informatics, IEEE Transactions on, 5(4), 388-401.
- Qi Zhu, Haibo Zeng, Wei Zheng, Marco Di Natale, and Alberto Sangiovanni-Vincentelli. "Optimization of Task Allocation and Priority Assignment in Hard Real-time Distributed Systems." ACM Transactions on Embedded Computing Systems (TECS) 11(4): 1-30, December 2012.
- Abhijit Davare, Haibo Zeng, Qi Zhu, Marco Di Natale, and Alberto Sangiovanni-Vincentelli. "Optimal Period Assignment for Distributed Systems with End-to-End Timing Constraints." Submitted to IEEE Transaction on Computers (TC).
- Haibo Zeng, Marco Di Natale, Arkadeb Ghosal, and Alberto Sangiovanni-Vincentelli. "Schedule Optimization of Time-Triggered Systems Communicating over the FlexRay Static Segment." IEEE Transactions on Industrial Informatics (TII) 7(1): 1-17, February 2011.
- Ding, S., Murakami, N., Tomiyama, H., & Takada, H. (2005, September). " A GA-based scheduling method for FlexRay systems." In Proceedings of the 5th ACM international conference on Embedded software (pp. 110-113). ACM.
