Faculty Publications - Koushik Sen

Book chapters or sections

  • M. K. Ramanathan, K. Sen, A. Grama, and S. Jagannathan, "Protocol inference using static path profiles," in Static Analysis: Proc. 1th Intl. Symp. (SAS 2008), M. Alpuente and G. Vidal, Eds., Lecture Notes in Computer Science, Vol. 5079, Berlin, Germany: Springer-Verlag, 2008, pp. 78-92.
  • K. Chatterjee, K. Sen, and T. A. Henzinger, "Model-checking $omega$-regular properties of interval Markov chains," in Foundations of Software Science and Computational Structures (FoSSaCS 2008): Proc. 11th Intl. Conf., R. M. Amadio, Ed., Lecture Notes in Computer Science, Vol. 4962, Berlin, Germany: Springer-Verlag, 2008, pp. 302-317.
  • K. Sen and M. Viswanathan, "Model checking multithreaded programs with asynchronous atomic methods," in Computer Aided Verification: Proc. 18th Intl. Conf. (CAV 2006), T. Ball and R. B. Jones, Eds., Lecture Notes in Computer Science, Vol. 4144, Berlin, Germany: Springer-Verlag, 2006, pp. 300-314.
  • A. Vardhan, K. Sen, M. Viswanathan, and G. Agha, "Using language inference to verify omega-regular properties," in Tools and Algorithms for the Construction and Analysis of Systems: Proc. 11th Intl. Conf. (TACAS 2005), N. Halbwachs and L. Zuck, Eds., Lecture Notes in Computer Science, Vol. 3440, Berlin, Germany: Springer-Verlag, 2005, pp. 45-60.
  • K. Sen, M. Viswanathan, and G. Agha, "Statistical model checking of black-box probabilistic systems," in Computer Aided Verification: Proc. 16th Intl. Conf. (CAV 2004), R. Alur and D. A. Peled, Eds., Lecture Notes in Computer Science, Vol. 3114, Berlin, Germany: Springer-Verlag, 2004, pp. 202-215.

Articles in journals or magazines

Articles in conference proceedings

Technical Reports

Patents

  • P. I. Godefroid, N. Klarlund, and K. Sen, "Method and apparatus for performing unit testing of software modules with use of directed automated random testing," U.S. Patent Application. May 2005.