DSpace at KOASAS
Browsing DSpace

Browse "CS-Conference Papers(학술회의논문)" by Author Sokolsky, Oleg

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 7 of 7

1
A Retrospective Look at the Monitoring and Checking (MaC) Framework

Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, 19th International Conference on Runtime Verification (RV) as part of the 3rd World Congress on Formal Methods (FM), pp.1 - 14, Runtime Verification Inc., 2019-10-09

2
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC

Kim, Moonzoo; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Runtime Verification, pp.80 - 84, Runtime Verification, 2002-07-26

3
Monitoring, Checking, and Steering of Real-time Systems

Kim, Moonzoo; Lee, Insup; Sammapun, Usa; Shin, Jangwoo; Sokolsky, Oleg, 2nd International Workshop on Run-time Verification (RV'02), pp.95 - 111, Run-time Verification, 2002-07-26

4
Run-time Monitoring and Steering based on Formal Specifications

Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Sokolsky, Oleg; Viswanathan, Mahesh, Modeling Software System Structures in a Fastly Moving Scenario, Modeling Software System Structures in a Fastly Moving Scenario, 2000-06

5
Runtime Assurance Based On Formal Specifications

Lee, Insup; Kannan, Sampath; Kim, Moonzoo; Sokolsky, Oleg; Viswanathan, Mahesh, International Conference on Parallel and Distributed Processing Techniques and Applications, pp.279 - 287, PDPTA', 1999-07-01

6
Steering of Real-Time Systems Based on Monitoring and Checking

Sokolsky, Oleg; Kannan, Sampath; Kim, Moonzoo; Lee, Insup; Viswanathan, Mahesh, Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999. , pp.11 - 18, International Workshop on Object-Oriented Real-Time Dependable Systems, 1999-03-23

7
Verisim: Formal Analysis of Network Simulations

Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh, 2011-01-18

Discover

rss_1.0 rss_2.0 atom_1.0