Browse "School of Computing(전산학부)" by Author Viswanathan, Mahesh
Showing results 1 to 8 of 8
| 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 |
| 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 |
| Formally Specified Monitoring of Temporal Properties Kim, Moonzoo; Viswanathan, Mahesh; Abdallah, Hanene Ben; Kannan, Sampath; Lee, Insup, European Conference on Real-Time Systems, pp.114 - 122, ECRTS, 1999-06-09 |
| Foundations for the run-time monitoring of reactive systems: fundamentals of the MaC language Viswanathan, Mahesh; Kim, Moonzoo, First international conference on Theoretical Aspects of Computing , pp.543 - 556, ICTAC, 2005-10 |
| 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 |
| 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 |
| 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 |
| 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
Open Access
- 187 OA Article
Date issued
- 1,769 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989