2009 |
71 | EE | Anduo Wang,
Prithwish Basu,
Boon Thau Loo,
Oleg Sokolsky:
Declarative Network Verification.
PADL 2009: 61-75 |
2008 |
70 | | Bernd Finkbeiner,
Klaus Havelund,
Grigore Rosu,
Oleg Sokolsky:
Runtime Verification, 02.01. - 06.01.2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 |
69 | EE | Nikhil Dinesh,
Aravind K. Joshi,
Insup Lee,
Oleg Sokolsky:
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.
DEON 2008: 110-124 |
68 | EE | Nikhil Dinesh,
Aravind K. Joshi,
Insup Lee,
Oleg Sokolsky:
Checking Traces for Regulatory Conformance.
RV 2008: 86-103 |
2007 |
67 | | Oleg Sokolsky,
Serdar Tasiran:
Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Springer 2007 |
66 | | Fabrice Kordon,
Oleg Sokolsky:
Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers
Springer 2007 |
65 | EE | Arvind Easwaran,
Insup Lee,
Insik Shin,
Oleg Sokolsky:
Compositional Schedulability Analysis of Hierarchical Real-Time Systems.
ISORC 2007: 274-281 |
64 | EE | Nikhil Dinesh,
Aravind K. Joshi,
Insup Lee,
Oleg Sokolsky:
Logic-Based Regulatory Conformance Checking.
Monterey Workshop 2007: 147-160 |
63 | EE | Usa Sammapun,
Insup Lee,
Oleg Sokolsky,
John Regehr:
Statistical Runtime Checking of Probabilistic Properties.
RV 2007: 164-175 |
62 | EE | Bernd Finkbeiner,
Klaus Havelund,
Grigore Rosu,
Oleg Sokolsky:
07011 Abstracts Collection -- Runtime Verification.
Runtime Verification 2007 |
61 | EE | Bernd Finkbeiner,
Klaus Havelund,
Grigore Rosu,
Oleg Sokolsky:
07011 Executive Summary -- Runtime Verification.
Runtime Verification 2007 |
60 | EE | Oleg Sokolsky,
Usa Sammapun,
John Regehr,
Insup Lee:
Runtime Verification for Wireless Sensor Network Applications.
Runtime Verification 2007 |
59 | EE | Sebastian Fischmeister,
Oleg Sokolsky,
Insup Lee:
A Verifiable Language for Programming Real-Time Communication Schedules.
IEEE Trans. Computers 56(11): 1505-1519 (2007) |
58 | EE | Oscar Mondragon,
Ann Q. Gates,
Steve Roach,
Humberto Mendoza,
Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns.
International Journal of Software Engineering and Knowledge Engineering 17(1): 107-126 (2007) |
57 | EE | Christopher D. Gill,
Oleg Sokolsky:
Guest Editors' Foreword.
J. Comput. Syst. Sci. 73(2): 155 (2007) |
56 | EE | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
Resources in process algebra.
J. Log. Algebr. Program. 72(1): 98-122 (2007) |
2006 |
55 | | Xiaobo Zhou,
Oleg Sokolsky,
Lu Yan,
Eun-Sun Jung,
Zili Shao,
Yi Mu,
Dong Chun Lee,
Daeyoung Kim,
Young-Sik Jeong,
Cheng-Zhong Xu:
Emerging Directions in Embedded and Ubiquitous Computing, EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings
Springer 2006 |
54 | EE | Arvind Easwaran,
Insik Shin,
Oleg Sokolsky,
Insup Lee:
Incremental schedulability analysis of hierarchical real-time components.
EMSOFT 2006: 272-281 |
53 | EE | Fabian Kratz,
Oleg Sokolsky,
George J. Pappas,
Insup Lee:
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.
HSCC 2006: 392-406 |
52 | EE | Sebastian Fischmeister,
Oleg Sokolsky,
Insup Lee:
Network-Code Machine: Programmable Real-Time Communication Schedules.
IEEE Real Time Technology and Applications Symposium 2006: 311-324 |
51 | EE | Oleg Sokolsky,
Insup Lee,
Duncan Clarke:
Schedulability analysis of AADL models.
IPDPS 2006 |
50 | EE | Grégory Batt,
Jeremy T. Bradley,
Roland Ewald,
François Fages,
Holger Hermanns,
Jane Hillston,
Peter Kemper,
Alke Martens,
Pieter J. Mosterman,
Flemming Nielson,
Oleg Sokolsky,
Adelinde M. Uhrmacher:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
Simulation and Verification of Dynamic Systems 2006 |
49 | EE | Oleg Sokolsky,
Sampath Kannan,
Insup Lee:
Simulation-Based Graph Similarity.
TACAS 2006: 426-440 |
48 | EE | Arvind Easwaran,
Sampath Kannan,
Oleg Sokolsky:
Steering of Discrete Event Systems: Control Theory Approach.
Electr. Notes Theor. Comput. Sci. 144(4): 21-39 (2006) |
47 | EE | Oleg Sokolsky,
Usa Sammapun,
Insup Lee,
Jesung Kim:
Run-Time Checking of Dynamic Properties.
Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006) |
46 | EE | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras.
Electr. Notes Theor. Comput. Sci. 162: 221-226 (2006) |
45 | EE | Rajeev Alur,
Radu Grosu,
Insup Lee,
Oleg Sokolsky:
Compositional modeling and refinement for hierarchical hybrid systems.
J. Log. Algebr. Program. 68(1-2): 105-128 (2006) |
2005 |
44 | EE | Usa Sammapun,
Insup Lee,
Oleg Sokolsky:
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties.
RTCSA 2005: 147-153 |
43 | EE | Hyoung Seok Hong,
Insup Lee,
Oleg Sokolsky:
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking.
SCAM 2005: 25-34 |
42 | | Oscar Mondragon,
Ann Q. Gates,
Humberto Mendoza,
Oleg Sokolsky:
Generating Properties for Runtime Monitoring from Software Specification Patterns.
SEKE 2005: 267-273 |
41 | EE | Ann Q. Gates,
Steve Roach,
Irbis Gallegos,
Omar Ochoa,
Oleg Sokolsky:
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.
WORDS 2005: 105-112 |
40 | EE | Usa Sammapun,
Arvind Easwaran,
Insup Lee,
Oleg Sokolsky:
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification.
Electr. Notes Theor. Comput. Sci. 113: 123-143 (2005) |
2004 |
39 | | Li Tan,
Jesung Kim,
Oleg Sokolsky,
Insup Lee:
Model-based Testing and Monitoring for Hybrid Embedded Systems.
IRI 2004: 487-492 |
38 | | Li Tan,
Oleg Sokolsky,
Insup Lee:
Specification-based Testing with Linear Temporal Logic.
IRI 2004: 493-498 |
37 | EE | Margaret DeLap,
Björn Knutsson,
Honghui Lu,
Oleg Sokolsky,
Usa Sammapun,
Insup Lee,
Christos Tsarouchis:
Is runtime verification applicable to cheat detection?
NETGAMES 2004: 134-138 |
36 | EE | Oleg Sokolsky:
Resource Modeling for Embedded Systems Design.
WSTFEUS 2004: 99-103 |
35 | EE | Moonzoo Kim,
Mahesh Viswanathan,
Sampath Kannan,
Insup Lee,
Oleg Sokolsky:
Java-MaC: A Run-Time Assurance Approach for Java Programs.
Formal Methods in System Design 24(2): 129-155 (2004) |
2003 |
34 | EE | Hyoung Seok Hong,
Sung Deok Cha,
Insup Lee,
Oleg Sokolsky,
Hasan Ural:
Data Flow Testing as Model Checking.
ICSE 2003: 232-243 |
33 | EE | Rajeev Alur,
Franjo Ivancic,
Jesung Kim,
Insup Lee,
Oleg Sokolsky:
Generating embedded software from hierarchical hybrid models.
LCTES 2003: 171-182 |
32 | EE | Oleg Sokolsky,
Anna Philippou,
Insup Lee,
Kyriakos Christou:
Modeling and Analysis of Power-Aware Systems.
TACAS 2003: 409-425 |
31 | EE | Oleg Sokolsky,
Mahesh Viswanathan:
Preface.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
30 | | 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.
Proceedings of the IEEE 91(1): 11-28 (2003) |
2002 |
29 | EE | 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.
HiPC 2002: 702-712 |
28 | EE | Insup Lee,
Anna Philippou,
Oleg Sokolsky:
A General Resource Framework for Real-Time Systems.
RISSEF 2002: 234-248 |
27 | EE | Hyoung Seok Hong,
Insup Lee,
Oleg Sokolsky,
Hasan Ural:
A Temporal Logic Based Theory of Test Coverage and Generation.
TACAS 2002: 327-341 |
26 | EE | Moonjoo Kim,
Sampath Kannan,
Insup Lee,
Oleg Sokolsky,
Mahesh Viswanathan:
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
25 | EE | Moonjoo Kim,
Insup Lee,
Usa Sammapun,
Jangwoo Shin,
Oleg Sokolsky:
Monitoring, Checking, and Steering of Real-Time Systems.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
24 | EE | Karthikeyan Bhargavan,
Carl A. Gunter,
Moonjoo Kim,
Insup Lee,
Davor Obradovic,
Oleg Sokolsky,
Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations.
IEEE Trans. Software Eng. 28(2): 129-145 (2002) |
23 | | Hee-Hwan Kwak,
Insup Lee,
Oleg Sokolsky:
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP.
Sci. Comput. Program. 42(1): 49-60 (2002) |
2001 |
22 | EE | 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.
EMSOFT 2001: 14-31 |
21 | | Insup Lee,
Jin-Young Choi,
Hee-Hwan Kwak,
Anna Philippou,
Oleg Sokolsky:
A Family of Resource-Bound Real-Time Process Algebras.
FORTE 2001: 443-458 |
20 | EE | Rajeev Alur,
Radu Grosu,
Insup Lee,
Oleg Sokolsky:
Compositional Refinement for Hierarchical Hybrid Systems.
HSCC 2001: 33-48 |
19 | EE | Moonjoo Kim,
Sampath Kannan,
Insup Lee,
Oleg Sokolsky,
Mahesh Viswanathan:
Java-MaC: a Run-time Assurance Tool for Java Programs.
Electr. Notes Theor. Comput. Sci. 55(2): (2001) |
18 | EE | Anna Philippou,
Oleg Sokolsky,
Insup Lee,
Rance Cleaveland,
Scott A. Smolka:
Hiding resources that can fail: An axiomatic perspective.
Inf. Process. Lett. 80(1): 3-13 (2001) |
2000 |
17 | EE | Anna Philippou,
Insup Lee,
Oleg Sokolsky:
Weak Bisimulation for Probabilistic Systems.
CONCUR 2000: 334-349 |
16 | EE | Karthikeyan Bhargavan,
Carl A. Gunter,
Moonjoo Kim,
Insup Lee,
Davor Obradovic,
Oleg Sokolsky,
Mahesh Viswanathan:
Verisim: Formal analysis of network simulations.
ISSTA 2000: 2-13 |
1999 |
15 | EE | Moonjoo Kim,
Mahesh Viswanathan,
Hanêne Ben-Abdallah,
Sampath Kannan,
Insup Lee,
Oleg Sokolsky:
Formally specified monitoring of temporal properties.
ECRTS 1999: 114-122 |
14 | | Insup Lee,
Sampath Kannan,
Moonjoo Kim,
Oleg Sokolsky,
Mahesh Viswanathan:
Runtime Assurance Based On Formal Specifications.
PDPTA 1999: 279-287 |
13 | EE | 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.
TACAS 1999: 74-88 |
12 | | Oleg Sokolsky,
Insup Lee,
Hanêne Ben-Abdallah:
Specification and Analysis of Real-Time Systems with PARAGON.
Ann. Software Eng. 7: 211-234 (1999) |
11 | EE | Hee-Hwan Kwak,
Insup Lee,
Oleg Sokolsky:
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
1998 |
10 | EE | Anna Philippou,
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra.
CONCUR 1998: 389-404 |
9 | EE | 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.
IEEE Real Time Technology and Applications Symposium 1998: 220-229 |
8 | EE | Hee-Hwan Kwak,
Insup Lee,
Anna Philippou,
Jin-Young Choi,
Oleg Sokolsky:
Symbolic Schedulability Analysis of Real-Time Systems.
IEEE Real-Time Systems Symposium 1998: 409- |
1997 |
7 | EE | Insup Lee,
Oleg Sokolsky:
Analytical Design of Evolutionary Control Flow Components.
HASE 1997: 48-55 |
1996 |
6 | | Rance Cleaveland,
Philip M. Lewis,
Scott A. Smolka,
Oleg Sokolsky:
The Concurrency Factory: A Development Environment for Concurrent Systems.
CAV 1996: 398-401 |
5 | | 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.
CAV 1996: 402-405 |
4 | | Rance Cleaveland,
Philip M. Lewis,
Scott A. Smolka,
Oleg Sokolsky:
The Concurrency Factory Software Development Environment.
TACAS 1996: 391-395 |
1995 |
3 | | Oleg Sokolsky,
Scott A. Smolka:
Local Model Checking for Real-Time Systems (Extended Abstract).
CAV 1995: 211-224 |
1994 |
2 | | Oleg Sokolsky,
Scott A. Smolka:
Incremental Model Checking in the Modal Mu-Calculus.
CAV 1994: 351-363 |
1 | | Shipei Zhang,
Oleg Sokolsky,
Scott A. Smolka:
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus
LICS 1994: 154-163 |