UPenn Engineering
Department of Computer & Information Science
School of Engineering and Applied Science
University of Pennsylvania
Insup Lee UPenn Lee
Home About Me Group Research Teaching PRECISE News Publications Awards Contact
Recent Publications   |   Books   |   Journal Publications   |   Book Chapters   |   Conference Papers   |   Selected Papers by Area   |   Other


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

Copyright © 2011-2019 University of Pennsylvania. All Rights Reserved. Site designed by Academic Web Pages.