 | 2009 |
|---|
| 145 |       | Oleg 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 |
| 143 | | Wenchao Zhou,
Oleg Sokolsky,
Boon Thau Loo,
Insup Lee:
DMaC: Distributed Monitoring and Checking.
RV 2009: 184-201 |
| 142 | | Matt 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 |
| 140 | | Nikhil Dinesh,
Aravind K. Joshi,
Insup Lee,
Oleg Sokolsky:
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.
DEON 2008: 110-124 |
| 139 | | Insik Shin,
Arvind Easwaran,
Insup Lee:
Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors.
ECRTS 2008: 181-190 |
| 138 | | Sebastian Fischmeister,
Insup Lee,
Robert Trausmuth:
Hardware acceleration for verifiable, adaptive real-time communication.
ETFA 2008: 1425-1432 |
| 137 | | Madhukar Anand,
Arvind Easwaran,
Sebastian Fischmeister,
Insup Lee:
Compositional Feasibility Analysis of Conditional Real-Time Task Models.
ISORC 2008: 391-398 |
| 136 | | Madhukar Anand,
Insup Lee:
Robust and sustainable schedulability analysis of embedded software.
LCTES 2008: 61-70 |
| 135 | | Nikhil Dinesh,
Aravind K. Joshi,
Insup Lee,
Oleg Sokolsky:
Checking Traces for Regulatory Conformance.
RV 2008: 86-103 |
| 134 | | Sheayun 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) |
| 133 | | Insik Shin,
Insup Lee:
Compositional real-time scheduling framework with periodic model.
ACM Trans. Embedded Comput. Syst. 7(3): (2008) |
| 2007 |
|---|
| 132 | | Madhukar Anand,
Sebastian Fischmeister,
Insup Lee:
Composition Techniques for Tree Communication Schedules.
ECRTS 2007: 235-246 |
| 131 | | Luís Almeida,
Sebastian Fischmeister,
Madhukar Anand,
Insup Lee:
A dynamic scheduling approach to designing flexible safety-critical systems.
EMSOFT 2007: 67-74 |
| 130 | | A. Agung Julius,
Georgios E. Fainekos,
Madhukar Anand,
Insup Lee,
George J. Pappas:
Robust Test Generation and Coverage for Hybrid Systems.
HSCC 2007: 329-342 |
| 129 | | Arvind Easwaran,
Insup Lee,
Insik Shin,
Oleg Sokolsky:
Compositional Schedulability Analysis of Hierarchical Real-Time Systems.
ISORC 2007: 274-281 |
| 128 | | Nikhil Dinesh,
Aravind K. Joshi,
Insup Lee,
Oleg Sokolsky:
Logic-Based Regulatory Conformance Checking.
Monterey Workshop 2007: 147-160 |
| 127 | | Arvind Easwaran,
Madhukar Anand,
Insup Lee:
Compositional Analysis Framework Using EDP Resource Models.
RTSS 2007: 129-138 |
| 126 | | Usa Sammapun,
Insup Lee,
Oleg Sokolsky,
John Regehr:
Statistical Runtime Checking of Probabilistic Properties.
RV 2007: 164-175 |
| 125 | | Oleg Sokolsky,
Usa Sammapun,
John Regehr,
Insup Lee:
Runtime Verification for Wireless Sensor Network Applications.
Runtime Verification 2007 |
| 124 | | Sebastian Fischmeister,
Oleg Sokolsky,
Insup Lee:
A Verifiable Language for Programming Real-Time Communication Schedules.
IEEE Trans. Computers 56(11): 1505-1519 (2007) |
| 123 | | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
Resources in process algebra.
J. Log. Algebr. Program. 72(1): 98-122 (2007) |
| 122 | | Chenyang Lu,
Insup Lee:
Editorial: Special issue on real-time wireless sensor networks.
Real-Time Systems 37(3): 181-182 (2007) |
| 2006 |
|---|
| 121 | | Madhukar Anand,
Sebastian Fischmeister,
Jesung Kim,
Insup Lee:
Generating Sound and Resource-Aware Code from Hybrid Systems Models.
ASWSD 2006: 48-66 |
| 120 | | Michael J. May,
Carl A. Gunter,
Insup Lee:
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.
CSFW 2006: 85-97 |
| 119 | | Madhukar Anand,
Sebastian Fischmeister,
Insup Lee:
An analysis framework for network-code programs.
EMSOFT 2006: 122-131 |
| 118 | | Arvind Easwaran,
Insik Shin,
Oleg Sokolsky,
Insup Lee:
Incremental schedulability analysis of hierarchical real-time components.
EMSOFT 2006: 272-281 |
| 117 | | Michael J. May,
Wook Shin,
Carl A. Gunter,
Insup Lee:
Securing the drop-box architecture for assisted living.
FMSE 2006: 1-12 |
| 116 | | Fabian Kratz,
Oleg Sokolsky,
George J. Pappas,
Insup Lee:
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.
HSCC 2006: 392-406 |
| 115 | | Sebastian Fischmeister,
Oleg Sokolsky,
Insup Lee:
Network-Code Machine: Programmable Real-Time Communication Schedules.
IEEE Real Time Technology and Applications Symposium 2006: 311-324 |
| 114 | | Oleg Sokolsky,
Insup Lee,
Duncan Clarke:
Schedulability analysis of AADL models.
IPDPS 2006 |
| 113 | | Madhukar Anand,
Steve Vestal,
Samar Dajani-Brown,
Insup Lee:
Formal Modeling and Analysis of the AFDX Frame Management Design.
ISORC 2006: 393-399 |
| 112 | | Oleg Sokolsky,
Sampath Kannan,
Insup Lee:
Simulation-Based Graph Similarity.
TACAS 2006: 426-440 |
| 111 | | Oleg Sokolsky,
Usa Sammapun,
Insup Lee,
Jesung Kim:
Run-Time Checking of Dynamic Properties.
Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006) |
| 110 | | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras.
Electr. Notes Theor. Comput. Sci. 162: 221-226 (2006) |
| 109 | | Insup 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) |
| 108 | | Rajeev 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 |
|---|
| 107 | | Madhukar Anand,
Zachary G. Ives,
Insup Lee:
Quantifying eavesdropping vulnerability in sensor networks.
DMSN 2005: 3-9 |
| 106 | | Madhukar Anand,
Sebastian Fischmeister,
Jesung Kim,
Insup Lee:
Distributed-code generation from hybrid systems models for time-delayed multirate systems.
EMSOFT 2005: 210-213 |
| 105 | | Chaitanya Penubarthi,
Myuhng Joo Kim,
Insup Lee:
Security in Sensor Networks for Medical Systems Torso Architecture.
ICCSA (1) 2005: 156-165 |
| 104 | | Insik Shin,
Insup Lee:
A Compositional Framework for Real-Time Embedded Systems.
ISAS 2005: 137-148 |
| 103 | | Madhukar Anand,
Jesung Kim,
Insup Lee:
Code Generation from Hybrid Systems Models for Distributed Embedded Systems.
ISORC 2005: 166-173 |
| 102 | | Usa Sammapun,
Insup Lee,
Oleg Sokolsky:
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.
RTCSA 2005: 147-153 |
| 101 | | Hyoung 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 |
| 100 | | Rajeev Alur,
Insup Lee:
Preface.
ACM Trans. Embedded Comput. Syst. 4(4): 707 (2005) |
| 99 | | Usa 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) |
| 98 | | John A. Stankovic,
Insup Lee,
Aloysius K. Mok,
Raj Rajkumar:
Opportunities and Obligations for Physical Computing Systems.
IEEE Computer 38(11): 23-31 (2005) |
| 2004 |
|---|
| 97 | | Insik Shin,
Insup Lee:
A Compositional Framework for Real-Time Guarantees.
ASWSD 2004: 43-56 |
| 96 | | Yerang 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 |
| 93 | | Margaret 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 |
| 92 | | Insik Shin,
Insup Lee:
Compositional Real-Time Scheduling Framework.
RTSS 2004: 57-67 |
| 91 | | Moonzoo 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) |
| 90 | | Rajeev 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 |
| 88 | | Hyoung Seok Hong,
Sung Deok Cha,
Insup Lee,
Oleg Sokolsky,
Hasan Ural:
Data Flow Testing as Model Checking.
ICSE 2003: 232-243 |
| 87 | | Jesung Kim,
Insup Lee:
Modular Code Generation from Hybrid Automata based on Data Dependency.
IEEE Real Time Technology and Applications Symposium 2003: 160- |
| 86 | | Yerang Hur,
Rafael B. Fierro,
Insup Lee:
Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study.
ISORC 2003: 93-98 |
| 85 | | Rajeev Alur,
Franjo Ivancic,
Jesung Kim,
Insup Lee,
Oleg Sokolsky:
Generating embedded software from hierarchical hybrid models.
LCTES 2003: 171-182 |
| 84 | | Insik Shin,
Insup Lee:
Periodic Resource Model for Compositional Real-Time Guarantees.
RTSS 2003: 2-13 |
| 83 | | Oleg Sokolsky,
Anna Philippou,
Insup Lee,
Kyriakos Christou:
Modeling and Analysis of Power-Aware Systems.
TACAS 2003: 409-425 |
| 82 | | Li 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 |
|---|
| 80 | | Insik 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 |
| 79 | | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
A General Resource Framework for Real-Time Systems.
RISSEF 2002: 234-248 |
| 78 | | Yerang Hur,
Insup Lee:
Distributed Simulation of Multi-Agent Hybrid Systems.
Symposium on Object-Oriented Real-Time Distributed Computing 2002: 356-364 |
| 77 | | Hyoung Seok Hong,
Insup Lee,
Oleg Sokolsky,
Hasan Ural:
A Temporal Logic Based Theory of Test Coverage and Generation.
TACAS 2002: 327-341 |
| 76 | | Moonjoo 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) |
| 75 | | Moonjoo 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) |
| 73 | | Karthikeyan 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 |
|---|
| 71 | | Rajeev 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 |
| 69 | | Rajeev Alur,
Radu Grosu,
Insup Lee,
Oleg Sokolsky:
Compositional Refinement for Hierarchical Hybrid Systems.
HSCC 2001: 33-48 |
| 68 | | Maria 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 |
| 67 | | Jia Wang,
Insup Lee:
Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis.
ISC 2001: 512-535 |
| 66 | | Jitka Stríbrná,
Insup Lee:
Characterizing Non-Zenoness on Real-Time Processes.
Electr. Notes Theor. Comput. Sci. 52(3): (2001) |
| 65 | | Moonjoo 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) |
| 64 | | Anna 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) |
| 63 | | Enver 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 |
|---|
| 62 | | Anna Philippou,
Insup Lee,
Oleg Sokolsky:
Weak Bisimulation for Probabilistic Systems.
CONCUR 2000: 334-349 |
| 61 | | Rajeev Alur,
Radu Grosu,
Yerang Hur,
Vijay Kumar,
Insup Lee:
Modular Specification of Hybrid Systems in CHARON.
HSCC 2000: 6-19 |
| 60 | | Jin-Young Choi,
Hee-Hwan Kwak,
Insup Lee:
A Framework for Embedded Real-Time System Design.
IPDPS Workshops 2000: 738-742 |
| 59 | | Rajeev 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 |
| 58 | | Insup 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- |
| 57 | | Karthikeyan Bhargavan,
Carl A. Gunter,
Moonjoo Kim,
Insup Lee,
Davor Obradovic,
Oleg Sokolsky,
Mahesh Viswanathan:
Verisim: Formal analysis of network simulations.
ISSTA 2000: 2-13 |
| 56 | | Yuh-Chuyn Luo,
Chun-Hung Chen,
Enver Yücesan,
Insup Lee:
Distributed web-based simulation optimization.
Winter Simulation Conference 2000: 1785-1793 |
| 55 | | Inhye 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 |
|---|
| 54 | | Moonjoo 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 |
| 52 | | Rajeev 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) |
| 50 | | Hee-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 |
|---|
| 49 | | Anna Philippou,
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra.
CONCUR 1998: 389-404 |
| 48 | | Oleg 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 |
| 47 | | Hee-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- |
| 46 | | Enver Yücesan,
Chun-Hung Chen,
Insup Lee:
Web-based Simulation Experiments.
Winter Simulation Conference 1998: 1649-1654 |
| 45 | | Sanguthevar 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 |
|---|
| 43 | | Insup Lee,
Oleg Sokolsky:
Analytical Design of Evolutionary Control Flow Components.
HASE 1997: 48-55 |
| 42 | | Duncan 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 |
| 41 | | Hanê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) |
| 39 | | Patrice 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 |
|---|
| 38 | | Duncan 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 |
| 37 | | Inhye 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 |
| 32 | | Moon Lee,
Noah S. Prywes,
Insup Lee:
Automation of analysis and simulation for understanding of large real-time Ada software.
ICECCS 1995: 55-58 |
| 31 | | Duncan 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 |
|---|
| 28 | | Insup 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 |
|---|
| 26 | | Patrice 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 |
| 20 | | Richard Gerber,
Insup Lee:
A Layered Approach to Automating the Verification of Real-Time Systems.
IEEE Trans. Software Eng. 18(9): 768-784 (1992) |
| 1991 |
|---|
| 19 | | Richard 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 |
|---|
| 16 | | Richard 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) |
