Refereed Publications on Formal Verification and Timing Analysis:

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.