The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Insup Lee: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Susan B. Davidson, Insup Lee, Victor Fay Wolfe
    Timed Atomic Commitment. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Computers, 1991, v:40, n:5, pp:573-583 [Journal]
  2. Insup Lee, Susan B. Davidson
    Adding Time to Synchronous Process Communications. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Computers, 1987, v:36, n:8, pp:941-948 [Journal]
  3. 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. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:402-405 [Conf]
  4. Insup Lee, Sanguthevar Rajasekaran
    A Parallel Algorithm for Relational Coarsest Partition Problems and Its Implementation. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:404-414 [Conf]
  5. Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee
    Securing the drop-box architecture for assisted living. [Citation Graph (0, 0)][DBLP]
    FMSE, 2006, pp:1-12 [Conf]
  6. Patrice Brémond-Grégoire, Insup Lee, Richard Gerber
    ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:417-431 [Conf]
  7. Richard Gerber, Insup Lee
    CCSR: A Calculus for Communicating Shared Resources. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:263-277 [Conf]
  8. Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky
    Praobabilistic Resource Failure in Real-Time Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:389-404 [Conf]
  9. Anna Philippou, Insup Lee, Oleg Sokolsky
    Weak Bisimulation for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:334-349 [Conf]
  10. Michael J. May, Carl A. Gunter, Insup Lee
    Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies. [Citation Graph (0, 0)][DBLP]
    CSFW, 2006, pp:85-97 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:14-31 [Conf]
  12. Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
    Distributed-code generation from hybrid systems models for time-delayed multirate systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:210-213 [Conf]
  13. Madhukar Anand, Sebastian Fischmeister, Insup Lee
    An analysis framework for network-code programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:122-131 [Conf]
  14. Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee
    Incremental schedulability analysis of hierarchical real-time components. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:272-281 [Conf]
  15. 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. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:212-232 [Conf]
  16. Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky
    A Family of Resource-Bound Real-Time Process Algebras. [Citation Graph (0, 0)][DBLP]
    FORTE, 2001, pp:443-458 [Conf]
  17. Insup Lee, Amy E. Zwarico
    Timed Acceptances: A Model of Time Dependent Processes. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1988, pp:128-130 [Conf]
  18. Insup Lee, Oleg Sokolsky
    Analytical Design of Evolutionary Control Flow Components. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:48-55 [Conf]
  19. Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee
    Modular Specification of Hybrid Systems in CHARON. [Citation Graph (0, 0)][DBLP]
    HSCC, 2000, pp:6-19 [Conf]
  20. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    Compositional Refinement for Hierarchical Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:33-48 [Conf]
  21. Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi
    Sound Code Generation from Communicating Hybrid Models. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:432-447 [Conf]
  22. Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee
    R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:392-406 [Conf]
  23. A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
    Robust Test Generation and Coverage for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2007, pp:329-342 [Conf]
  24. Chaitanya Penubarthi, Myuhng Joo Kim, Insup Lee
    Security in Sensor Networks for Medical Systems Torso Architecture. [Citation Graph (0, 0)][DBLP]
    ICCSA (1), 2005, pp:156-165 [Conf]
  25. Insup Lee, Susan B. Davidson
    Generalized I/O with Timing Constraints. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1987, pp:316-323 [Conf]
  26. Victor Fay Wolfe, Susan B. Davidson, Insup Lee
    Deadlock Prevention in the RTC Programming System for Distributed Real-Time Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1993, pp:420-427 [Conf]
  27. Moon Lee, Noah S. Prywes, Insup Lee
    Automation of analysis and simulation for understanding of large real-time Ada software. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:55-58 [Conf]
  28. Insup Lee, Samuel M. Goldwasser, David Smitley
    Synthesis and Mapping Algorithms for a Reconfigurable Optical Interconnection Network. [Citation Graph (0, 0)][DBLP]
    ICPP, 1986, pp:394-396 [Conf]
  29. Insup Lee, David Smitley
    Synthesis of Topologies with Minimum Total Expansion. [Citation Graph (0, 0)][DBLP]
    ICPP, 1987, pp:759-761 [Conf]
  30. Duncan Clarke, Insup Lee
    Testing Real-Time Constraints in a Process Algebraic Setting. [Citation Graph (0, 0)][DBLP]
    ICSE, 1995, pp:51-60 [Conf]
  31. Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
    Data Flow Testing as Model Checking. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:232-243 [Conf]
  32. Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
    A Framework for Embedded Real-Time System Design. [Citation Graph (0, 0)][DBLP]
    IPDPS Workshops, 2000, pp:738-742 [Conf]
  33. Insup Lee, Sanguthevar Rajasekaran
    Fast Parallel Algorithms for Model Checking Using BDDs. [Citation Graph (0, 0)][DBLP]
    IPPS, 1993, pp:444-448 [Conf]
  34. Oleg Sokolsky, Insup Lee, Duncan Clarke
    Schedulability analysis of AADL models. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  35. Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee
    Model-based Testing and Monitoring for Hybrid Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IRI, 2004, pp:487-492 [Conf]
  36. Li Tan, Oleg Sokolsky, Insup Lee
    Specification-based Testing with Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    IRI, 2004, pp:493-498 [Conf]
  37. Insik Shin, Insup Lee
    A Compositional Framework for Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ISAS, 2005, pp:137-148 [Conf]
  38. 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. [Citation Graph (0, 0)][DBLP]
    ISER, 2000, pp:303-312 [Conf]
  39. Madhukar Anand, Jesung Kim, Insup Lee
    Code Generation from Hybrid Systems Models for Distributed Embedded Systems. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:166-173 [Conf]
  40. Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee
    Formal Modeling and Analysis of the AFDX Frame Management Design. [Citation Graph (0, 0)][DBLP]
    ISORC, 2006, pp:393-399 [Conf]
  41. Insup Lee, Mike Jones, Hermann Kopetz, K. H. Kim, Thomas F. Lawrence, Bhavani M. Thuraisingham
    Fundamental R&D Issues in Real-Time Distributed Computing. [Citation Graph (0, 0)][DBLP]
    ISORC, 2000, pp:215-0 [Conf]
  42. Yerang Hur, Rafael B. Fierro, Insup Lee
    Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. [Citation Graph (0, 0)][DBLP]
    ISORC, 2003, pp:93-98 [Conf]
  43. Yerang Hur, Insup Lee
    Distributed Simulation of Multi-Agent Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:356-364 [Conf]
  44. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
    Verisim: Formal analysis of network simulations. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:2-13 [Conf]
  45. Inhye Kang, Insup Lee
    An Efficient State Space Generation for Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:4-13 [Conf]
  46. Jia Wang, Insup Lee
    Measuring False-Positive by Automated Real-Time Correlated Hacking Behavior Analysis. [Citation Graph (0, 0)][DBLP]
    ISC, 2001, pp:512-535 [Conf]
  47. Duncan Clarke, Insup Lee
    Testing-Based Analysis of Real-Time System Models. [Citation Graph (0, 0)][DBLP]
    ITC, 1996, pp:894-903 [Conf]
  48. Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky
    Generating embedded software from hierarchical hybrid models. [Citation Graph (0, 0)][DBLP]
    LCTES, 2003, pp:171-182 [Conf]
  49. Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee
    CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:65-85 [Conf]
  50. Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis
    Is runtime verification applicable to cheat detection? [Citation Graph (0, 0)][DBLP]
    NETGAMES, 2004, pp:134-138 [Conf]
  51. Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan
    Runtime Assurance Based On Formal Specifications. [Citation Graph (0, 0)][DBLP]
    PDPTA, 1999, pp:279-287 [Conf]
  52. Hanêne Ben-Abdallah, Insup Lee, Young-Si Kim
    Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:198-209 [Conf]
  53. Richard Gerber, Insup Lee
    Specification and Analysis of Resource-Bound Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:371-396 [Conf]
  54. Insup Lee, Anna Philippou, Oleg Sokolsky
    A General Resource Framework for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:234-248 [Conf]
  55. Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
    Network-Code Machine: Programmable Real-Time Communication Schedules. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2006, pp:311-324 [Conf]
  56. Duncan Clarke, Insup Lee
    Automatic Test Generation for the Analysis of a Real-Time System: Case Stud. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1997, pp:112-124 [Conf]
  57. Jesung Kim, Insup Lee
    Modular Code Generation from Hybrid Automata based on Data Dependency. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 2003, pp:160-0 [Conf]
  58. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Real Time Technology and Applications Symposium, 1998, pp:220-229 [Conf]
  59. Usa Sammapun, Insup Lee, Oleg Sokolsky
    RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2005, pp:147-153 [Conf]
  60. Jin-Young Choi, Insup Lee, Hong-liang Xie
    The Specification and Schedulability Analysis of Real-Time Systems using ACSR. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1995, pp:266-275 [Conf]
  61. Maria Adamou, Sanjeev Khanna, Insup Lee, Insik Shin, Shiyu Zhou
    Fair Real-Time Traffic Scheduling over a Wireless LA. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 2001, pp:279-288 [Conf]
  62. Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi
    A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1995, pp:276-287 [Conf]
  63. Richard Gerber, Insup Lee
    Communicating Shared Resources: A Model for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1989, pp:68-78 [Conf]
  64. Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky
    Symbolic Schedulability Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1998, pp:409-0 [Conf]
  65. Insup Lee, Susan B. Davidson
    Protocols for Timed Synchronous Process Communications. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1986, pp:128-135 [Conf]
  66. Insup Lee, Vijay Gehlot
    Language Constructs for Distributed Real-Time Programming. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1985, pp:57-66 [Conf]
  67. Insik Shin, Insup Lee
    Periodic Resource Model for Compositional Real-Time Guarantees. [Citation Graph (0, 0)][DBLP]
    RTSS, 2003, pp:2-13 [Conf]
  68. Insik Shin, Insup Lee
    Compositional Real-Time Scheduling Framework. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:57-67 [Conf]
  69. Insik Shin, Insup Lee, Sang Lyul Min
    Embedded System Design Framework for Minimizing Code Size and Guaranteeing Real-Time Requirements. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 2002, pp:201-211 [Conf]
  70. Amy E. Zwarico, Insup Lee
    Proving a Network of Real-Time Processes Correct. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1985, pp:169-177 [Conf]
  71. Hyoung Seok Hong, Insup Lee, Oleg Sokolsky
    Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. [Citation Graph (0, 0)][DBLP]
    SCAM, 2005, pp:25-34 [Conf]
  72. Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka
    A Theory of Testing for Soft Real-Time Processes. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:474-479 [Conf]
  73. Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural
    A Temporal Logic Based Theory of Test Coverage and Generation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:327-341 [Conf]
  74. Oleg Sokolsky, Sampath Kannan, Insup Lee
    Simulation-Based Graph Similarity. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:426-440 [Conf]
  75. Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou
    Modeling and Analysis of Power-Aware Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:409-425 [Conf]
  76. Richard Gerber, Elsa L. Gunter, Insup Lee
    Implementing a Real-Time Process Algebra in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:144-154 [Conf]
  77. Yuh-Chuyn Luo, Chun-Hung Chen, Enver Yücesan, Insup Lee
    Distributed web-based simulation optimization. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2000, pp:1785-1793 [Conf]
  78. Enver Yücesan, Chun-Hung Chen, Insup Lee
    Web-based Simulation Experiments. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 1998, pp:1649-1654 [Conf]
  79. Insik Shin, Insup Lee
    A Compositional Framework for Real-Time Guarantees. [Citation Graph (0, 0)][DBLP]
    ASWSD, 2004, pp:43-56 [Conf]
  80. Insup Lee, Noah S. Prywes, Boleslaw K. Szymanski
    Partitioning of Massive/Real-Time Programs for Parallel Processing. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1986, v:25, n:, pp:215-275 [Journal]
  81. Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah
    Specification and Analysis of Real-Time Systems with PARAGON. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:211-234 [Journal]
  82. Insup Lee, Robert B. King, Richard P. Paul
    A Predictable Real-Time Kernel for Distributed Multisensor Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1989, v:22, n:6, pp:78-83 [Journal]
  83. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:4, pp:33-38 [Journal]
  84. John A. Stankovic, Insup Lee, Aloysius K. Mok, Raj Rajkumar
    Opportunities and Obligations for Physical Computing Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2005, v:38, n:11, pp:23-31 [Journal]
  85. Insup Lee
    Formal Verification, Testing and Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:182- [Journal]
  86. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
    Java-MaC: a Run-time Assurance Tool for Java Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:2, pp:- [Journal]
  87. Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
    Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  88. Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky
    Monitoring, Checking, and Steering of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:4, pp:- [Journal]
  89. Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
    Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  90. Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky
    Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:123-143 [Journal]
  91. Jitka Stríbrná, Insup Lee
    Characterizing Non-Zenoness on Real-Time Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:3, pp:- [Journal]
  92. Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim
    Run-Time Checking of Dynamic Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:91-108 [Journal]
  93. Li Tan, Jesung Kim, Insup Lee
    Testing and Monitoring Model-based Generated Program. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  94. Insup Lee, Anna Philippou, Oleg Sokolsky
    A Family of Resource-Bound Real-Time Process Algebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:221-226 [Journal]
  95. Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky
    Java-MaC: A Run-Time Assurance Approach for Java Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:24, n:2, pp:129-155 [Journal]
  96. Patrice Brémond-Grégoire, Jin-Young Choi, Insup Lee
    A Complete Axiomatization of Finite-State ACSR Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:138, n:2, pp:124-159 [Journal]
  97. Richard Gerber, Insup Lee
    A Resource-Based Prioritized Bisimulation for Real-Time Systems [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:113, n:1, pp:102-142 [Journal]
  98. 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. [Citation Graph (0, 0)][DBLP]
    I. J. Robotic Res., 2002, v:21, n:10-11, pp:977-998 [Journal]
  99. Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
    Hiding resources that can fail: An axiomatic perspective. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:80, n:1, pp:3-13 [Journal]
  100. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    Compositional modeling and refinement for hierarchical hybrid systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:68, n:1-2, pp:105-128 [Journal]
  101. David Smitley, Insup Lee
    Synthesizing Minimum Total Expansion Topologies for Reconfigurable Interconnection Networks. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1989, v:7, n:1, pp:178-199 [Journal]
  102. 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. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:11-28 [Journal]
  103. Susan B. Davidson, Insup Lee, Victor Fay Wolfe
    Deadlock Prevention in Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1993, v:5, n:4, pp:305-318 [Journal]
  104. 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. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1998, v:15, n:3, pp:189-219 [Journal]
  105. Victor Fay Wolfe, Susan B. Davidson, Insup Lee
    RTC: Language Support for Real-Time Concurrency. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 1993, v:5, n:1, pp:63-87 [Journal]
  106. Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky
    Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2002, v:42, n:1, pp:49-60 [Journal]
  107. Enver Yücesan, Yuh-Chuyn Luo, Chun-Hung Chen, Insup Lee
    Distributed web-based simulation experiments for optimization. [Citation Graph (0, 0)][DBLP]
    Simul. Pr. Theory, 2001, v:9, n:1-2, pp:73-90 [Journal]
  108. Robert P. Cook, Insup Lee
    A Contextual Analysis of Pascal Programs. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1982, v:12, n:2, pp:195-203 [Journal]
  109. 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. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:4, pp:308-319 [Journal]
  110. Insup Lee, David Smitley
    A Synthesis Algorithm for Reconfigurable Interconnection Networks. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1988, v:37, n:6, pp:691-699 [Journal]
  111. Insup Lee, Susan B. Davidson
    A Performance Analysis of Times Synchronous Communication Primitives. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1990, v:39, n:9, pp:1117-1131 [Journal]
  112. Patrice Brémond-Grégoire, Insup Lee
    A Process Algebra of Communicating Shared Resources with Dense Time and Priorities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:189, n:1-2, pp:179-219 [Journal]
  113. Rajeev Alur, Insup Lee
    Preface. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:4, pp:707- [Journal]
  114. Sanguthevar Rajasekaran, Insup Lee
    Parallel Algorithms for Relational Coarsest Partition Problems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1998, v:9, n:7, pp:687-699 [Journal]
  115. Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
    Verisim: Formal Analysis of Network Simulations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:2, pp:129-145 [Journal]
  116. Richard Gerber, Insup Lee
    A Layered Approach to Automating the Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:9, pp:768-784 [Journal]
  117. Inhye Kang, Insup Lee, Young-Si Kim
    An Efficient State Space Generation for the Analysis of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:5, pp:453-477 [Journal]
  118. Insup Lee, Anna Philippou, Oleg Sokolsky
    Resources in process algebra. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:1, pp:98-122 [Journal]
  119. Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
    A Verifiable Language for Programming Real-Time Communication Schedules. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2007, v:56, n:11, pp:1505-1519 [Journal]

  120. Process-Algebraic Interpretation of AADL Models. [Citation Graph (, )][DBLP]


  121. Medical cyber physical systems. [Citation Graph (, )][DBLP]


  122. Cyber-physical systems: the next computing revolution. [Citation Graph (, )][DBLP]


  123. Runtime Verification for Wireless Sensor Network Applications. [Citation Graph (, )][DBLP]


  124. Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. [Citation Graph (, )][DBLP]


  125. Formally specified monitoring of temporal properties. [Citation Graph (, )][DBLP]


  126. Composition Techniques for Tree Communication Schedules. [Citation Graph (, )][DBLP]


  127. Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors. [Citation Graph (, )][DBLP]


  128. Compositional Analysis of Multi-mode Systems. [Citation Graph (, )][DBLP]


  129. A dynamic scheduling approach to designing flexible safety-critical systems. [Citation Graph (, )][DBLP]


  130. Compositional Schedulability Analysis of Hierarchical Real-Time Systems. [Citation Graph (, )][DBLP]


  131. Resource Scopes: Toward Language Support for Compositional Determinism. [Citation Graph (, )][DBLP]


  132. Compositional Feasibility Analysis of Conditional Real-Time Task Models. [Citation Graph (, )][DBLP]


  133. Robust and sustainable schedulability analysis of embedded software. [Citation Graph (, )][DBLP]


  134. Strong and Weak Policy Relations. [Citation Graph (, )][DBLP]


  135. A Compositional Scheduling Framework for Digital Avionics Systems. [Citation Graph (, )][DBLP]


  136. Compositional Analysis Framework Using EDP Resource Models. [Citation Graph (, )][DBLP]


  137. Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. [Citation Graph (, )][DBLP]


  138. Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram. [Citation Graph (, )][DBLP]


  139. Model-Based Testing of GUI-Driven Applications. [Citation Graph (, )][DBLP]


  140. Generating Sound and Resource-Aware Code from Hybrid Systems Models. [Citation Graph (, )][DBLP]


  141. Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool. [Citation Graph (, )][DBLP]


  142. STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata. [Citation Graph (, )][DBLP]


  143. Hardware acceleration for verifiable, adaptive real-time communication. [Citation Graph (, )][DBLP]


  144. Logic-Based Regulatory Conformance Checking. [Citation Graph (, )][DBLP]


  145. Statistical Runtime Checking of Probabilistic Properties. [Citation Graph (, )][DBLP]


  146. Checking Traces for Regulatory Conformance. [Citation Graph (, )][DBLP]


  147. DMaC: Distributed Monitoring and Checking. [Citation Graph (, )][DBLP]


  148. Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study. [Citation Graph (, )][DBLP]


  149. Quantifying eavesdropping vulnerability in sensor networks. [Citation Graph (, )][DBLP]


  150. Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata? [Citation Graph (, )][DBLP]


  151. QuanTM: a quantitative trust management system. [Citation Graph (, )][DBLP]


  152. Dynamic Trust Management. [Citation Graph (, )][DBLP]


Search in 0.152secs, Finished in 0.163secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002