The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Oleg Sokolsky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    The Concurrency Factory: A Development Environment for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:398-401 [Conf]
  3. Oleg Sokolsky, Scott A. Smolka
    Incremental Model Checking in the Modal Mu-Calculus. [Citation Graph (0, 0)][DBLP]
    CAV, 1994, pp:351-363 [Conf]
  4. Oleg Sokolsky, Scott A. Smolka
    Local Model Checking for Real-Time Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:211-224 [Conf]
  5. 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]
  6. Anna Philippou, Insup Lee, Oleg Sokolsky
    Weak Bisimulation for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:334-349 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Insup Lee, Oleg Sokolsky
    Analytical Design of Evolutionary Control Flow Components. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:48-55 [Conf]
  11. Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb
    Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. [Citation Graph (0, 0)][DBLP]
    HiPC, 2002, pp:702-712 [Conf]
  12. 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]
  13. 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]
  14. 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]
  15. Oleg Sokolsky, Insup Lee, Duncan Clarke
    Schedulability analysis of AADL models. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  16. 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]
  17. Li Tan, Oleg Sokolsky, Insup Lee
    Specification-based Testing with Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    IRI, 2004, pp:493-498 [Conf]
  18. 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]
  19. 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]
  20. Shipei Zhang, Oleg Sokolsky, Scott A. Smolka
    On the Parallel Complexity of Model Checking in the Modal Mu-Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:154-163 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky
    Generating Properties for Runtime Monitoring from Software Specification Patterns. [Citation Graph (0, 0)][DBLP]
    SEKE, 2005, pp:267-273 [Conf]
  30. Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
    The Concurrency Factory Software Development Environment. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:391-395 [Conf]
  31. Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
    Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:74-88 [Conf]
  32. 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]
  33. Oleg Sokolsky, Sampath Kannan, Insup Lee
    Simulation-Based Graph Similarity. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:426-440 [Conf]
  34. 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]
  35. Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky
    JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. [Citation Graph (0, 0)][DBLP]
    WORDS, 2005, pp:105-112 [Conf]
  36. Oleg Sokolsky
    Resource Modeling for Embedded Systems Design. [Citation Graph (0, 0)][DBLP]
    WSTFEUS, 2004, pp:99-103 [Conf]
  37. 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]
  38. Arvind Easwaran, Sampath Kannan, Oleg Sokolsky
    Steering of Discrete Event Systems: Control Theory Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:21-39 [Journal]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. Oleg Sokolsky, Mahesh Viswanathan
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  46. 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]
  47. 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]
  48. Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky
    Generating Properties for Runtime Monitoring from Software Specification Patterns. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2007, v:17, n:1, pp:107-126 [Journal]
  49. 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]
  50. Christopher D. Gill, Oleg Sokolsky
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2007, v:73, n:2, pp:155- [Journal]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. 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]
  56. 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]

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


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


  59. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. [Citation Graph (, )][DBLP]


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


  61. 07011 Abstracts Collection -- Runtime Verification. [Citation Graph (, )][DBLP]


  62. 07011 Executive Summary -- Runtime Verification. [Citation Graph (, )][DBLP]


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


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


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


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


  67. Declarative Network Verification. [Citation Graph (, )][DBLP]


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


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


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


  71. Performance Analysis of AADL Models Using Real-Time Calculus. [Citation Graph (, )][DBLP]


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


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


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


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


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


Search in 0.020secs, Finished in 0.024secs
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