Home

1. Incremental satisfiability counting for real-time systems, [Andrei, Chin, 2004]
2. Real-time systems. Scheduling, Analysis, and Verification, [Cheng, 2002]
3. Optimization of rule-based systems using state space graphs, [Zupan, Cheng, 1998]
4. Optimizing timing analysis and verification of embedded systems using rule-based-analytic techniques, [Sodhi, Cheng, 2003]
5. Timing analysis of the X-38 space station crew return vehicle avionics, [Rice, Cheng, 1999]
6. The determinant of the boolean formulae [Andrei, 1995]
7. Counting for satisfiability by inverting resolution [Andrei, 2004]
8. Incremental satisfiability counting for real-time systems [Andrei, Chin, 2003]
9. Systematic Debugging of Real-Rime Systems based on Incremental Satisfiability Counting, [Andrei, Chin, Cheng, Lupu, 2005]

1. S. Andrei and W.-N. Chin, “Incremental satisfiability counting for real-time systems,” in Proceedings of 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'04), Toronto, Canada, May 25-28, 2004.



2. A. M. K. Cheng, Real-time systems. Scheduling, Analysis, and Verification. Wiley- Interscience, 2002.



3. B. Zupan and A. M. K. Cheng, “Optimization of rule-based systems using state space graphs,” IEEE Transactions on Knowledge and Data Engineering, vol. 10, no. 2, pp. 238–254, 1998.



4. S. Sodhi and A. M. K. Cheng, “Optimizing timing analysis and verification of embedded systems using rule-based-analytic techniques,” in Proc. WIP Session of IEEE-CS Real-Time Systems Symposium, 2003.



5. L. E. P. Rice and A. M. K. Cheng, “Timing analysis of the X-38 space station crew return vehicle avionics,” in Proceedings of the 5-th IEEE-CS Real-Time Technology and Applications Symposium, 1999, pp. 255–264.



6. S. Andrei, “The determinant of the boolean formulae,” Analele Universitatii Bucuresti, Informatica, vol. XLIV, pp. 83–92, 1995.



7. S. Andrei, “Counting for satisfiability by inverting resolution,” Artificial Intelligence Review, 2004.



8. S. Andrei and W.-N. Chin, “Incremental satisfiability counting for real-time systems,” Faculty of Computer Science, Iasi University, Romania, Technical Report TR03-04, Sept. 2003.



9. S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, “Systematic Debugging of Real-Rime Systems based on Incremental Satisfiability Counting,” Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'05), March 7 - 10, 2005, San Francisco, California