dblp.uni-trier.dewww.uni-trier.de

Insup Lee Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
145EEOleg Sokolsky, Insup Lee, Duncan Clarke: Process-Algebraic Interpretation of AADL Models. Ada-Europe 2009: 222-236
144 David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee: Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study. BIODEVICES 2009: 52-60
143EEWenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee: DMaC: Distributed Monitoring and Checking. RV 2009: 184-201
142EEMatt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee: Dynamic Trust Management. IEEE Computer 42(2): 44-52 (2009)
2008
141 Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings Springer 2008
140EENikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. DEON 2008: 110-124
139EEInsik Shin, Arvind Easwaran, Insup Lee: Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors. ECRTS 2008: 181-190
138EESebastian Fischmeister, Insup Lee, Robert Trausmuth: Hardware acceleration for verifiable, adaptive real-time communication. ETFA 2008: 1425-1432
137EEMadhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee: Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398
136EEMadhukar Anand, Insup Lee: Robust and sustainable schedulability analysis of embedded software. LCTES 2008: 61-70
135EENikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Checking Traces for Regulatory Conformance. RV 2008: 86-103
134EESheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang Lyul Min: A design framework for real-time embedded systems with code size and energy constraints. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
133EEInsik Shin, Insup Lee: Compositional real-time scheduling framework with periodic model. ACM Trans. Embedded Comput. Syst. 7(3): (2008)
2007
132EEMadhukar Anand, Sebastian Fischmeister, Insup Lee: Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246
131EELuís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee: A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74
130EEA. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342
129EEArvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky: Compositional Schedulability Analysis of Hierarchical Real-Time Systems. ISORC 2007: 274-281
128EENikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Logic-Based Regulatory Conformance Checking. Monterey Workshop 2007: 147-160
127EEArvind Easwaran, Madhukar Anand, Insup Lee: Compositional Analysis Framework Using EDP Resource Models. RTSS 2007: 129-138
126EEUsa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr: Statistical Runtime Checking of Probabilistic Properties. RV 2007: 164-175
125EEOleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee: Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007
124EESebastian Fischmeister, Oleg Sokolsky, Insup Lee: A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007)
123EEInsup Lee, Anna Philippou, Oleg Sokolsky: Resources in process algebra. J. Log. Algebr. Program. 72(1): 98-122 (2007)
122EEChenyang Lu, Insup Lee: Editorial: Special issue on real-time wireless sensor networks. Real-Time Systems 37(3): 181-182 (2007)
2006
121EEMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66
120EEMichael J. May, Carl A. Gunter, Insup Lee: Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. CSFW 2006: 85-97
119EEMadhukar Anand, Sebastian Fischmeister, Insup Lee: An analysis framework for network-code programs. EMSOFT 2006: 122-131
118EEArvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee: Incremental schedulability analysis of hierarchical real-time components. EMSOFT 2006: 272-281
117EEMichael J. May, Wook Shin, Carl A. Gunter, Insup Lee: Securing the drop-box architecture for assisted living. FMSE 2006: 1-12
116EEFabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee: R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406
115EESebastian Fischmeister, Oleg Sokolsky, Insup Lee: Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324
114EEOleg Sokolsky, Insup Lee, Duncan Clarke: Schedulability analysis of AADL models. IPDPS 2006
113EEMadhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee: Formal Modeling and Analysis of the AFDX Frame Management Design. ISORC 2006: 393-399
112EEOleg Sokolsky, Sampath Kannan, Insup Lee: Simulation-Based Graph Similarity. TACAS 2006: 426-440
111EEOleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim: Run-Time Checking of Dynamic Properties. Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006)
110EEInsup Lee, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 221-226 (2006)
109EEInsup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha: High-Confidence Medical Device Software and Systems. IEEE Computer 39(4): 33-38 (2006)
108EERajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebr. Program. 68(1-2): 105-128 (2006)
2005
107EEMadhukar Anand, Zachary G. Ives, Insup Lee: Quantifying eavesdropping vulnerability in sensor networks. DMSN 2005: 3-9
106EEMadhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee: Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213
105EEChaitanya Penubarthi, Myuhng Joo Kim, Insup Lee: Security in Sensor Networks for Medical Systems Torso Architecture. ICCSA (1) 2005: 156-165
104EEInsik Shin, Insup Lee: A Compositional Framework for Real-Time Embedded Systems. ISAS 2005: 137-148
103EEMadhukar Anand, Jesung Kim, Insup Lee: Code Generation from Hybrid Systems Models for Distributed Embedded Systems. ISORC 2005: 166-173
102EEUsa Sammapun, Insup Lee, Oleg Sokolsky: RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA 2005: 147-153
101EEHyoung Seok Hong, Insup Lee, Oleg Sokolsky: Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. SCAM 2005: 25-34
100EERajeev Alur, Insup Lee: Preface. ACM Trans. Embedded Comput. Syst. 4(4): 707 (2005)
99EEUsa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky: Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. Electr. Notes Theor. Comput. Sci. 113: 123-143 (2005)
98EEJohn A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar: Opportunities and Obligations for Physical Computing Systems. IEEE Computer 38(11): 23-31 (2005)
2004
97EEInsik Shin, Insup Lee: A Compositional Framework for Real-Time Guarantees. ASWSD 2004: 43-56
96EEYerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi: Sound Code Generation from Communicating Hybrid Models. HSCC 2004: 432-447
95 Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee: Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004: 487-492
94 Li Tan, Oleg Sokolsky, Insup Lee: Specification-based Testing with Linear Temporal Logic. IRI 2004: 493-498
93EEMargaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis: Is runtime verification applicable to cheat detection? NETGAMES 2004: 134-138
92EEInsik Shin, Insup Lee: Compositional Real-Time Scheduling Framework. RTSS 2004: 57-67
91EEMoonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky: Java-MaC: A Run-Time Assurance Approach for Java Programs. Formal Methods in System Design 24(2): 129-155 (2004)
90EERajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou: Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System. STTT 5(4): 308-319 (2004)
2003
89 Rajeev Alur, Insup Lee: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings Springer 2003
88EEHyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243
87EEJesung Kim, Insup Lee: Modular Code Generation from Hybrid Automata based on Data Dependency. IEEE Real Time Technology and Applications Symposium 2003: 160-
86EEYerang Hur, Rafael B. Fierro, Insup Lee: Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. ISORC 2003: 93-98
85EERajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182
84EEInsik Shin, Insup Lee: Periodic Resource Model for Compositional Real-Time Guarantees. RTSS 2003: 2-13
83EEOleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou: Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425
82EELi Tan, Jesung Kim, Insup Lee: Testing and Monitoring Model-based Generated Program. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
81 Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91(1): 11-28 (2003)
2002
80EEInsik Shin, Insup Lee, Sang Lyul Min: Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. IEEE Real-Time Systems Symposium 2002: 201-211
79EEInsup Lee, Anna Philippou, Oleg Sokolsky: A General Resource Framework for Real-Time Systems. RISSEF 2002: 234-248
78EEYerang Hur, Insup Lee: Distributed Simulation of Multi-Agent Hybrid Systems. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 356-364
77EEHyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural: A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341
76EEMoonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan: Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
75EEMoonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky: Monitoring, Checking, and Steering of Real-Time Systems. Electr. Notes Theor. Comput. Sci. 70(4): (2002)
74 Rafael B. Fierro, Aveek K. Das, John R. Spletzer, Joel M. Esposito, Vijay Kumar, James P. Ostrowski, George J. Pappas, Camillo J. Taylor, Yerang Hur, Rajeev Alur, Insup Lee, Gregory Z. Grudic, Ben Southall: A Framework and Architecture for Multi-Robot Coordination. I. J. Robotic Res. 21(10-11): 977-998 (2002)
73EEKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002)
72 Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky: Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. 42(1): 49-60 (2002)
2001
71EERajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001: 14-31
70 Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458
69EERajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48
68EEMaria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, Shiyu Zhou: Fair Real-Time Traffic Scheduling over a Wireless LA. IEEE Real-Time Systems Symposium 2001: 279-288
67EEJia Wang, Insup Lee: Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis. ISC 2001: 512-535
66EEJitka Stríbrná, Insup Lee: Characterizing Non-Zenoness on Real-Time Processes. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
65EEMoonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan: Java-MaC: a Run-time Assurance Tool for Java Programs. Electr. Notes Theor. Comput. Sci. 55(2): (2001)
64EEAnna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka: Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001)
63EEEnver Yücesan, Yuh-Chuyn Luo, Chun-Hung Chen, Insup Lee: Distributed web-based simulation experiments for optimization. Simul. Pr. Theory 9(1-2): 73-90 (2001)
2000
62EEAnna Philippou, Insup Lee, Oleg Sokolsky: Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349
61EERajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee: Modular Specification of Hybrid Systems in CHARON. HSCC 2000: 6-19
60EEJin-Young Choi, Hee-Hwan Kwak, Insup Lee: A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742
59EERajeev Alur, Aveek K. Das, Joel M. Esposito, Rafael B. Fierro, Gregory Z. Grudic, Yerang Hur, Vijay Kumar, Insup Lee, J. P. Lee, James P. Ostrowski, George J. Pappas, Ben Southall, John R. Spletzer, Camillo J. Taylor: A Framework and Architecture for Multirobot Coordination. ISER 2000: 303-312
58EEInsup Lee, Mike Jones, Hermann Kopetz, K. H. Kim, Thomas F. Lawrence, Bhavani M. Thuraisingham: Fundamental R&D Issues in Real-Time Distributed Computing. ISORC 2000: 215-
57EEKarthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13
56EEYuh-Chuyn Luo, Chun-Hung Chen, Enver Yücesan, Insup Lee: Distributed web-based simulation optimization. Winter Simulation Conference 2000: 1785-1793
55EEInhye Kang, Insup Lee, Young-Si Kim: An Efficient State Space Generation for the Analysis of Real-Time Systems. IEEE Trans. Software Eng. 26(5): 453-477 (2000)
1999
54EEMoonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky: Formally specified monitoring of temporal properties. ECRTS 1999: 114-122
53 Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan: Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287
52EERajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar, Insup Lee: Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. World Congress on Formal Methods 1999: 212-232
51 Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah: Specification and Analysis of Real-Time Systems with PARAGON. Ann. Software Eng. 7: 211-234 (1999)
50EEHee-Hwan Kwak, Insup Lee, Oleg Sokolsky: Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Electr. Notes Theor. Comput. Sci. 25: (1999)
1998
49EEAnna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
48EEOleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou: Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium 1998: 220-229
47EEHee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky: Symbolic Schedulability Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1998: 409-
46EEEnver Yücesan, Chun-Hung Chen, Insup Lee: Web-based Simulation Experiments. Winter Simulation Conference 1998: 1649-1654
45EESanguthevar Rajasekaran, Insup Lee: Parallel Algorithms for Relational Coarsest Partition Problems. IEEE Trans. Parallel Distrib. Syst. 9(7): 687-699 (1998)
44 Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie: A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real-Time Systems 15(3): 189-219 (1998)
1997
43EEInsup Lee, Oleg Sokolsky: Analytical Design of Evolutionary Control Flow Components. HASE 1997: 48-55
42EEDuncan Clarke, Insup Lee: Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. IEEE Real Time Technology and Applications Symposium 1997: 112-124
41EEHanêne Ben-Abdallah, Insup Lee, Young-Si Kim: Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. RE 1997: 198-209
40 Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee: A Complete Axiomatization of Finite-State ACSR Processes. Inf. Comput. 138(2): 124-159 (1997)
39EEPatrice Brémond-Grégoire, Insup Lee: A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. Theor. Comput. Sci. 189(1-2): 179-219 (1997)
1996
38EEDuncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky: XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems. CAV 1996: 402-405
37EEInhye Kang, Insup Lee: An Efficient State Space Generation for Analysis of Real-Time Systems. ISSTA 1996: 4-13
36 Duncan Clarke, Insup Lee: Testing-Based Analysis of Real-Time System Models. ITC 1996: 894-903
35 Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka: A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479
34 Insup Lee: Formal Verification, Testing and Checking of Real-Time Systems. ACM Comput. Surv. 28(4es): 182 (1996)
1995
33 Insup Lee, Scott A. Smolka: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings Springer 1995
32EEMoon Lee, Noah S. Prywes, Insup Lee: Automation of analysis and simulation for understanding of large real-time Ada software. ICECCS 1995: 55-58
31EEDuncan Clarke, Insup Lee: Testing Real-Time Constraints in a Process Algebraic Setting. ICSE 1995: 51-60
30 Jin-Young Choi, Insup Lee, Hong-liang Xie: The Specification and Schedulability Analysis of Real-Time Systems using ACSR. IEEE Real-Time Systems Symposium 1995: 266-275
29 Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi: A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1995: 276-287
1994
28EEInsup Lee, Sanguthevar Rajasekaran: A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. CAV 1994: 404-414
27 Richard Gerber, Insup Lee: A Resource-Based Prioritized Bisimulation for Real-Time Systems Inf. Comput. 113(1): 102-142 (1994)
1993
26EEPatrice Brémond-Grégoire, Insup Lee, Richard Gerber: ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. CONCUR 1993: 417-431
25 Victor Fay Wolfe, Susan B. Davidson, Insup Lee: Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications. ICDCS 1993: 420-427
24 Insup Lee, Sanguthevar Rajasekaran: Fast Parallel Algorithms for Model Checking Using BDDs. IPPS 1993: 444-448
23 Victor Fay Wolfe, Susan B. Davidson, Insup Lee: RTC: Language Support for Real-Time Concurrency. Real-Time Systems 5(1): 63-87 (1993)
22 Susan B. Davidson, Insup Lee, Victor Fay Wolfe: Deadlock Prevention in Concurrent Real-Time Systems. Real-Time Systems 5(4): 305-318 (1993)
1992
21 Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee: CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. NAPAW 1992: 65-85
20EERichard Gerber, Insup Lee: A Layered Approach to Automating the Verification of Real-Time Systems. IEEE Trans. Software Eng. 18(9): 768-784 (1992)
1991
19EERichard Gerber, Insup Lee: Specification and Analysis of Resource-Bound Real-Time Systems. REX Workshop 1991: 371-396
18 Richard Gerber, Elsa L. Gunter, Insup Lee: Implementing a Real-Time Process Algebra in HOL. TPHOLs 1991: 144-154
17 Susan B. Davidson, Insup Lee, Victor Fay Wolfe: Timed Atomic Commitment. IEEE Trans. Computers 40(5): 573-583 (1991)
1990
16EERichard Gerber, Insup Lee: CCSR: A Calculus for Communicating Shared Resources. CONCUR 1990: 263-277
15 Insup Lee, Susan B. Davidson: A Performance Analysis of Times Synchronous Communication Primitives. IEEE Trans. Computers 39(9): 1117-1131 (1990)
1989
14 Richard Gerber, Insup Lee: Communicating Shared Resources: A Model for Distributed Real-Time Systems. IEEE Real-Time Systems Symposium 1989: 68-78
13 Insup Lee, Robert B. King, Richard P. Paul: A Predictable Real-Time Kernel for Distributed Multisensor Systems. IEEE Computer 22(6): 78-83 (1989)
12 David Smitley, Insup Lee: Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks. J. Parallel Distrib. Comput. 7(1): 178-199 (1989)
1988
11 Insup Lee, Amy E. Zwarico: Timed Acceptances: A Model of Time Dependent Processes. FTRTFT 1988: 128-130
10 Insup Lee, David Smitley: A Synthesis Algorithm for Reconfigurable Interconnection Networks. IEEE Trans. Computers 37(6): 691-699 (1988)
1987
9 Insup Lee, Susan B. Davidson: Generalized I/O with Timing Constraints. ICDCS 1987: 316-323
8 Insup Lee, David Smitley: Synthesis of Topologies with Minimum Total Expansion. ICPP 1987: 759-761
7 Insup Lee, Susan B. Davidson: Adding Time to Synchronous Process Communications. IEEE Trans. Computers 36(8): 941-948 (1987)
1986
6 Insup Lee, Samuel M. Goldwasser, David Smitley: Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network. ICPP 1986: 394-396
5 Insup Lee, Susan B. Davidson: Protocols for Timed Synchronous Process Communications. IEEE Real-Time Systems Symposium 1986: 128-135
4 Insup Lee, Noah S. Prywes, Boleslaw K. Szymanski: Partitioning of Massive/Real-Time Programs for Parallel Processing. Advances in Computers 25: 215-275 (1986)
1985
3 Amy E. Zwarico, Insup Lee: Proving a Network of Real-Time Processes Correct. IEEE Real-Time Systems Symposium 1985: 169-177
2 Insup Lee, Vijay Gehlot: Language Constructs for Distributed Real-Time Programming. IEEE Real-Time Systems Symposium 1985: 57-66
1982
1 Robert P. Cook, Insup Lee: A Contextual Analysis of Pascal Programs. Softw., Pract. Exper. 12(2): 195-203 (1982)

Coauthor Index

1Maria Adamou [68]
2Stephen Van Albert [90]
3Luís Almeida [131]
4Rajeev Alur [52] [59] [61] [69] [71] [74] [81] [85] [89] [90] [100] [108]
5Madhukar Anand [103] [106] [107] [113] [119] [121] [127] [130] [131] [132] [136] [137]
6David Arney [90] [144]
7Hanêne Ben-Abdallah [29] [38] [41] [44] [51] [54]
8Karthikeyan Bhargavan [57] [73]
9Matt Blaze [142]
10Patrice Brémond-Grégoire [21] [26] [39] [40]
11Sung Deok Cha [88] [141]
12Chun-Hung Chen [46] [56] [63]
13Jin-Young Choi [29] [30] [40] [44] [47] [60] [70] [96] [141]
14Kyriakos Christou [83]
15Duncan Clarke [31] [36] [38] [42] [44] [114] [145]
16Rance Cleaveland [35] [49] [64] [109]
17Robert P. Cook [1]
18Samar Dajani-Brown [113]
19Thao Dang [71] [81]
20Aveek K. Das [59] [74]
21Susan B. Davidson [5] [7] [9] [15] [17] [21] [22] [23] [25]
22Margaret DeLap [93]
23Nikhil Dinesh [128] [135] [140]
24Arvind Easwaran [99] [118] [127] [129] [137] [139]
25Joel M. Esposito [52] [59] [71] [74] [81]
26Georgios E. Fainekos [130]
27Rafael B. Fierro [59] [71] [74] [86]
28Sebastian Fischmeister [106] [115] [119] [121] [124] [131] [132] [137] [138]
29Vijay Gehlot [2]
30Richard Gerber [14] [16] [18] [19] [20] [26] [27]
31Julian M. Goldman [144]
32Samuel M. Goldwasser [6]
33Radu Grosu [61] [69] [108]
34Gregory Z. Grudic [59] [74]
35Carl A. Gunter [57] [73] [117] [120]
36Elsa L. Gunter [18] [90]
37John Hatcliff [109]
38Hyoung Seok Hong [77] [88] [101]
39Yerang Hur [59] [61] [71] [74] [78] [81] [86] [96]
40Franjo Ivancic [71] [81] [85]
41Zachary G. Ives [107]
42Mike Jones [58]
43Aravind K. Joshi [128] [135] [140]
44A. Agung Julius [130]
45Inhye Kang [37] [55]
46Sampath Kannan [53] [54] [65] [76] [91] [112] [142]
47Angelos D. Keromytis [142]
48Sanjeev Khanna [68]
49Jesung Kim [82] [85] [87] [95] [96] [103] [106] [111] [121]
50K. H. (Kane) Kim (K. H. Kim, Kane Kim) [58]
51M. Kim [52]
52Moonjoo Kim [53] [54] [57] [65] [73] [75] [76]
53Moonzoo Kim [91] [141]
54Myuhng Joo Kim [105]
55Woonseok Kim [134]
56Young-Si Kim [41] [44] [55]
57Robert B. King [13]
58Björn Knutsson [93]
59Hermann Kopetz [58]
60Fabian Kratz [116]
61Bruce H. Krogh [109]
62Vijay Kumar [52] [59] [61] [71] [74] [81]
63Hee-Hwan Kwak [47] [48] [50] [60] [70] [72]
64Thomas F. Lawrence [58]
65J. P. Lee [59]
66Jaime Lee [90]
67Moon Lee [32]
68Peter Lee [109]
69Sheayun Lee [134]
70Wenke Lee [142]
71Philip M. Lewis (Philip M. Lewis II) [35]
72Boon Thau Loo [143]
73Chenyang Lu [122]
74Honghui Lu [93]
75Yuh-Chuyn Luo [56] [63]
76Michael J. May [117] [120]
77Sang Lyul Min [80] [134]
78Pradyumna Mishra [71] [81]
79Aloysius K. Mok [98]
80Wonhong Nam [90]
81Davor Obradovic [57] [73]
82James P. Ostrowski [59] [74]
83George J. Pappas [59] [71] [74] [81] [109] [116] [130]
84Richard P. Paul [13]
85Frederick Pearce [90]
86Chaitanya Penubarthi [105]
87Anna Philippou [47] [49] [62] [64] [70] [79] [83] [110] [123]
88Noah S. Prywes [4] [32]
89Sanguthevar Rajasekaran [24] [28] [45]
90Raj Rajkumar [98]
91John Regehr [125] [126]
92Harvey Rubin [109]
93Usa Sammapun [75] [93] [99] [102] [111] [125] [126]
94Lui Sha [109]
95Insik Shin [68] [80] [84] [92] [97] [104] [118] [129] [133] [134] [139]
96Jangwoo Shin [75]
97Wook Shin [117]
98Jonathan M. Smith [142]
99David Smitley [6] [8] [10] [12]
100Scott A. Smolka [33] [35] [49] [64]
101Oleg Sokolsky [38] [43] [47] [48] [49] [50] [51] [53] [54] [57] [62] [64] [65] [69] [70] [71] [72] [73] [75] [76] [77] [79] [81] [83] [85] [88] [91] [93] [94] [95] [99] [101] [102] [108] [110] [111] [112] [114] [115] [116] [118] [123] [124] [125] [126] [128] [129] [135] [140] [142] [143] [145]
102Ben Southall [59] [74]
103John R. Spletzer [59] [74]
104John A. Stankovic [98]
105Jitka Stríbrná [66]
106Boleslaw K. Szymanski [4]
107Li Tan [82] [94] [95]
108Camillo J. Taylor [59] [74]
109Bhavani M. Thuraisingham [58]
110Robert Trausmuth [138]
111Christos Tsarouchis [93]
112Hasan Ural [77] [88]
113Steve Vestal [113]
114Mahesh Viswanathan [53] [54] [57] [65] [73] [76] [91] [141]
115Jia Wang [67]
116Susan F. Whitehead [144]
117Victor Fay Wolfe [17] [22] [23] [25]
118Hong-liang Xie [30] [38] [44]
119Mohamed F. Younis [48]
120Enver Yücesan [46] [56] [63]
121Jeffrey X. Zhou [48]
122Jiaxiang Zhou [90]
123Shiyu Zhou [68]
124Wenchao Zhou [143]
125Amy E. Zwarico [3] [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)