1. Alper Sen, Vinit Ogale and Magdy S. Abadir, Predictive Runtime Verification of Multi-Processor SoCs in SystemC, Design Automation Conference (DAC), June 2008. PDF
2. Scott Little, Alper Sen and Chris Myers, Application of Automated Model Generation Techniques to Analog Mixed Signal Circuits, In IEEE Microprocessor Test and Verification Workshop, December 2007. PDF
3. Selma Ikiz and Alper Sen, Runtime Verification of k-Mutual Exclusion for SoC's, In IEEE Microprocessor Test and Verification Workshop, December 2007. PDF
4. Neeraj Mittal and Alper Sen and Vijay K. Garg, Solving Computation Slicing using Predicate Detection, In IEEE Transactions on Parallel and Distributed Systems, December 2007. PDF
5. Alper Sen and Vijay K. Garg, Formal Verification of Simulation Traces Using Computation Slicing, In IEEE Transactions on Computers, April 2007. PDF
6. Alper Sen, Error Diagnosis in Equivalence Checking of High Performance Microprocessors, Workshop on Verification and Debugging (V&D), August 2006. PDF
7. Vijay K. Garg, Neeraj Mittal and Alper Sen, Using Order in Distributed Computing, American Mathematical Society (AMS) National Meeting invited, January 2006. PDF
8. Himyanshu Anand, Jayanta Bhadra, Alper Sen, Magdy S. Abadir, and Ken G. Davis, Establishing Latch Correspondence for Embedded Circuits of PowerPC Microprocessors, IEEE International High Level Design Validation and Test Workshop (HLDVT), December 2005. PDF
9. Alper Sen, Jayanta Bhadra, Vijay K. Garg, and Jacob A. Abraham, Formal Verification of a System-on-Chip Using Computation Slicing, International Test Conference (ITC), October 2004. PDF
10. Neeraj Mittal, Alper Sen, Vijay K. Garg, and Ranganath Atreya, Finding Satisfying Global States: All for One and One for All, In Proceedings of International Parallel and Distributed Processing Symposium (IPDPS), April 2004. PDF
11. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing, In Proceedings of the Seventh International Conference on Principles of Distributed Systems (OPODIS), December 2003. PDF
12. Alper Sen and Vijay K. Garg, On Checking Whether a Predicate Definitely Holds, In Proceedings of the Third International Workshop on Formal Approaches to Testing of Software (FATES), October 2003. PDF
13. Vijay K. Garg, Neeraj Mittal, and Alper Sen, Applications of Lattice Theory to Distributed Computing, In ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) News, September 2003. PDF
14. Alper Sen and Vijay K. Garg, Partial Order Trace Analyzer (POTA) for Distributed Programs, In Proceedings of the Third International Workshop on Runtime Verification (RV), July 2003. PDF
15. Alper Sen and Vijay K. Garg, Detecting Temporal Logic Predicates on the Happened-Before Model, In Proceedings of International Parallel and Distributed Processing Symposium (IPDPS), April 2002. PDF

Dissertation and Thesis:

• Alper Sen, Techniques for Formal Verification of Concurrent and Distributed Program Traces, Ph.D. Dissertation, The University of Texas at Austin, May 2004. PDF
• Alper Sen, Verification of SDL Systems with Partial Order Methods, Master's Thesis, Middle East Technical University, Ankara, May 1997. PDF