Edited Volums

Runtime Verification. H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace, G. Rosu, O. Sokolsky, N. Tillmann (Eds.). First International Conference, RV 2010. LNCS 6418, Nov 1-4, 2010.

Special Issue on Real-Time Wireless Sensor Networks. Guest Editors: Chenyang Lu and Insup Lee. Real-Time Systems. Springer Netherlands, 37 (3), Dec 2007.

Handbook of Real-Time and Embedded Systems. Edited by Insup Lee, Joseph Y-T. Leung and Sang Son. . CRC Press, Boca Raton, FL., U.S.A., 2007.

Special Issue of EMSOFT 2003. Rajeev Alur and Insup Lee, Eds. . ACM TECS, 4 (4), 2006.

EMSOFT 2003. Rajeev Alur and Insup Lee, Eds. Lecture Note in Computer Science 2855. Springer-Verlag Heidelberg, 2003.

Concur '95: Concurrency Theory. Insup Lee and Scott A. Smolka, Eds. Lecture Note in Computer Science 962. Springer-Verlag, 1995.

Relevant Publications

• Google Scholar
• DBLP


• PRECISE Publications
• RTG Publications