Guangli Dai, Pavan Kumar Paluri, and Albert M. K. Cheng, ``RRP Edge Computing System,'' First International Workshop on Trustworthy & Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS), co-located with RTSS, Nashville, Tennessee, USA, December 11, 2018.
Stefan Andrei, Albert M. K. Cheng, and Mozahid Haque, ``Mathematical Considerations of Linear Real-Time Logic Verification,'' 20th IEEE-CS Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Berlin, Germany April 2014.
Albert M. K. Cheng, Stefan Andrei, and Mozahid Haque, ``Optimizing the Linear Real-Time Logic Verifier,'' 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) WIP Session, Philadelphia, PA, April 8, 2013.
Albert M. K. Cheng, Homa Niktab, and Michael Walston, ``Timing Analysis of Small Aircraft Transportation System (SATS),'' International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Seoul, Korea, August 2012.
Stefan Andrei and Albert M. K. Cheng, ``Decomposition-based Verification of Linear Real-Time Systems Specifications,'' 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), Washington, D.C., USA (Co-located with IEEE RTSS 2009), December 1, 2009.
S. Andrei and A. M. K. Cheng, ``Verifying Linear Real-Time Logic Specifications,'' IEEE-CS Real-Time Systems Symposium, Tucson, Arizona, Dec. 2007.
S. Andrei and A. M. K. Cheng, ``Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension,'' Proc. IEEE-CS Real-Time Systems Symposium (RTSS), Rio de Janeiro, Brazil, December 2006.
G. Aruchamy and A. M. K. Cheng ``Translating Real-Time UML Timing Constraints into Real-Time Logic Formulas,'' IEEE-CS Real-Time Systems Symposium (RTSS) WIP Session, Rio de Janeiro, Brazil, December 2006.
S. Andrei and A. M. K. Cheng, ``Optimization of Real-Time Systems Timing Specifications,'' Proc. 12th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Sydney, Australia , Aug. 2006.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, ``Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting,'' accepted 2/2006, IEEE Transactions on Computers, Vol. 55, No. 7, pp. 830-843, July 2006. Selected as this issue's featured article.
A. M. K. Cheng, ``A Survey of Formal Verification Methods and Tools for Embedded and Real-Time Systems,'' Journal of Embedded Systems, Issue 1, 2006.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and Yongxin Zhu, ``Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits based on #SAT Problem,'' Proc. 11th IEEE-CS International Conference on Embedded and Real-Time Computing Systems and Applications, Hong Kong, Aug. 2005.
S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, ``Incremental Automatic Debugging of Real-Time Systems Based on Satisfiability Counting,'' Proc. IEEE-CS Real-Time and Embedded Technology and Applications Symposium, San Francisco, March 2005.
S. Sodhi and A. M. K. Cheng, ``Optimizing Timing Analysis and Verification of Embedded Systems using Rule-Based-Analytic Techniques,'' Proc. IEEE-CS Real-Time Systems Symposium WIP Session, Cancun, Mexico, Dec. 2-5, 2003.
L. E. P. Rice and Albert M. K. Cheng, ``Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics,'' Proc. IEEE-CS Real-Time Technology and Applications Symposium, Vancouver, Canada, June 2-4, 1999.
B. Zupan, A. M. K. Cheng, and M. Bohanec, ``Stability Analysis of Real-Time Systems: Porting Crisp Methods to Fuzzy,'' Electrotechnical Review: Journal for Electrical Engineering and Computer Science, Vol. 62, No. 3-4, pp. 163-170, 1995.
A. M. K. Cheng, ``Fast Static Timing Analysis of Real-Time Systems,'' Proc. 25th Intl. Conf. on System Sciences, Kauai, HI, Jan. 1992.