- DMaC: Distributed Monitoring and Checking,
Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, and Insup Lee,
9th International Workshop on Runtime Verification (RV 2009), Grenoble, France, June 2009.
- Reasoning
about Conditions and Exceptions to Laws in Regulatory Conformance Checking,
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, and Oleg Sokolsky,
Proceedings of the Ninth International Conference on
Deontic Logic in Computer Science (DEON'08),
Luxembourg, July 15-18, 2008
- Statistical
Runtime Checking of Probabilistic Properties,
Usa Sammapun, Insup Lee, Oleg Sokolsky, and John Regehr
Proceedings of the 7th Workshop on Run-time Verification,
LNCS 4839, pp. 164-175, Vancouver, B.C., Canada, March 13, 2007
- Checking
Correctness At Runtime using
Real-Time Java, Usa Sammapun, Insup Lee and Oleg Sokolsky,
Proceedings of the 3rd Workshop on Java Technologies for Real-time
and Embedded Systems (JTRES'05), San Diego, CA, October 17, 2005
- RT-MaC:
Runtime Monitoring and Checking of Quantitative and Probabilistic
Properties, Usa Sammapun, Insup Lee and Oleg Sokolsky,
Proceedings of the 11th IEEE International Conference on Embedded and
Real-Time Computing Systems and Applications (RTCSA'05), Hong Kong,
August 17-19, 2005
- Steering of Discrete Event Systems: Control Theory Approach,
Arvind Easwaran, Sampath Kannan and Oleg Sokolsky,
Proceeding of the 5th International
Workshop on Runtime Verification (RV'05) , Edinburgh, Scotland, UK,
July 12, 2005
- Run-Time
Checking of Dynamic Properties, Oleg Sokolsky, Usa Sammapun,
Insup Lee and Jesung Kim,
Proceeding of the 5th International
Workshop on Runtime Verification (RV'05) , Edinburgh, Scotland, UK,
July 12, 2005
-
Simulation of Simultaneous Events in Regular Expressions for Run-Time
Verificati on, Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg
Sokolsky,
Proceeding of Runtime Verification Workshop (RV'04),
Barcelona, Spain, April 3, 2004
-
Java-MaC: A Run-time Assurance Approach for Java Programs,
Moonjoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky,
Formal Methods in System Design, Volume 24, Issue 2, March 2004,
pages 129-155.
-
Regular Expressions for Run-Time Verification, Usa Sammapun, Oleg
Sokolsky,
Proceedings of the 1st International Workshop on
Automated Technology for Ver ification and Analysis (ATVA'03),
Taipei, Taiwan, December 10-12, 2003
-
Testing and Monitoring Model-based Generated Program, Li Tan,
Jesung Kim, and Insup Lee,
Proceeding of Runtime Verification
Workshop (RV'03), Boulder, Colorado, July 13, 2003
-
Computational Analysis of Run-time Monitoring - Fundamentals of
Java-MaC, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky,
Mahesh Viswanathan,
2nd International Workshop on Run-time
Verification. Copenhagen, Denmark, July 26, 2002; Electronic
Notes in Theoretical Computer Science 70 No. 4
-
Monitoring, Checking, and Steering of Real-Time Systems,
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg
Sokolsky,
2nd International Workshop on Run-time
Verification. Copenhagen, Denmark, July 26, 2002; Electronic
Notes in Theoretical Computer Science 70 No. 4
-
Java-MaC: a Run-time Assurance Tool for Java, Moonjoo Kim,
Sampath Kannan, Insup Lee, Oleg Sokolsky,
1st International
Workshop on Run-time Verification. Paris, France, July 23, 2001,
Electronic Notes in Theoretical Computer Science 55 No. 2
(2001)
Extended version of this paper is available here.
It was published in Formal Methods in System Design,
Volume 24, Issue 2, March 2004, pages 129-155
- Verisim: Formal
Analysis of Network Simulations, Karthikeyan Bhargavan, Carl A. Gunter,
Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan,
International Symposium on Software Testing and
Analysis 2000, Portland Oregon, Aug 21-25 2000
- Distributed Spatial Control and Global
Monitoring of Mobile Agents,
Diana Gordon, William Spears, Insup Lee, Oleg Sokolsky
Proceedings of the IEEE
International Conference on Information, Intelligence, and Systems,
November 1999
- Runtime Assurance Based On Formal
Specifications, Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky,
and Mahesh Viswanathan,
1999 International Conference on Parallel
and Distributed Processing Techniques and Applications,Monte Carlo
Resort, Las Vegas, Nevada, USA, June 28 - July 1, 1999
- Formally Specified Monitoring of
Temporal Properties, Moonjoo Kim, Mahesh Viswanathan, Hanene Ben-Abdallah,
Sampath Kannan, Insup Lee, Oleg Sokolsky,
European Conference on Real-Time Systems,
York, UK, June 9-11, 1999
- Technical report: MaC: A Framework
for Run-time Correctness Assurance of Real-Time Systems, Moonjoo
Kim, Mahesh Viswanathan, Hanene Ben-Abdallah, Sampath Kannan, Insup
Lee, Oleg Sokolsky,
MS-CIS-98-37, Department of Computer and
Information Sciences, University of Pennsylvania, December
1998.
- A
Monitoring and Checking Framework for Run-time Correctness
Assurance, Insup Lee, Hanene Ben-Abdallah, Sampath Kannan,
Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanat han,
Proc. 1998
Korea-U.S. Technical Conference on Strategic Technologies,Vienna, VA,
Oct 22-24, 1998
|
