Browse "School of Computing(전산학부)" by Author Sokolsky, Oleg

Showing results 1 to 8 of 8

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
Monitoring, checking, and steering of real-time systems

Kim, Moonzoo; Lee, lnsup; Sammapun, Usa; Shin, Jangwoo; Sokolsky, Oleg, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v.70, no.4, pp.101 - 117, 2002-12

5
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

6
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

7
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

8
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

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0