Selected Recent Publications by Subject

The complete list of papers since 1998 can be found on the RTG group publications page.

Run-time Monitoring and Checking
Process Algebras for Real-Time and Probabilistic Systems
Composition of Real-Time Systems
Medical Device Software and Systems
Hybrid Systems
Model-driven Test Generation
  • L. Tan, O. Sokolsky, and I. Lee, "Specification-based Testing with Linear Temporal Logic," IEEE International Conference on Information Reuse and Integration (IEEE IRI-2004), November 2004.
  • H.S. Hong, S.D. Cha, I. Lee, O. Sokolsky, and H. Ural, "Data Flow Testing as Model Checking," International Conference on Software Engineering (ICSE '03), pp. 232--242, May 2003,
  • H. Hong, I. Lee, O. Sokolsky, and H. Ural, "A Temporal Logic Based Theory of Test Coverage and Generation," International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS2002), April 8-11, 2002.
Model Checking
  • O. Sokolsky, S.A. Smolka, "Local Model Checking for Real-Time Systems" Computer-Aided Verification '95, Lecture Notes in Computer Science 939, Springer-Verlag, July 1995.
  • S.A. Smolka, O. Sokolsky, S. Zhang, "On the Parallel Complexity of Bisimulation and Modal Checking", in "Modal Logic and Process Algebra", Cambridge University Press, 1995.
  • S. Zhang, S.A. Smolka, and O. Sokolsky, "On the Parallel Complexity of Model Checking in the Modal Mu-Calculus," Proceedings of Ninth Annual IEEE Symposium on Logic in Computer Science, pp. 154-163, IEEE Computer Society Press, July 1994.
  • O. Sokolsky and S.A. Smolka, "Incremental Model Checking in the Modal Mu-Calculus", Computer-Aided Verification '94, Lecture Notes in Computer Science 818, Springer-Verlag, June 1994.
Modeling and Analysis Tools