Oleg Sokolsky

	2009
76		Oleg Sokolsky, Insup Lee, Duncan Clarke: Process-Algebraic Interpretation of AADL Models. Ada-Europe 2009: 222-236
75		Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky: Declarative Network Verification. PADL 2009: 61-75
74		Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal: A Compositional Scheduling Framework for Digital Avionics Systems. RTCSA 2009: 371-380
73		Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee: DMaC: Distributed Monitoring and Checking. RV 2009: 184-201
72		Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones: Model-Based Testing of GUI-Driven Applications. SEUS 2009: 203-214
71		Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee: Dynamic Trust Management. IEEE Computer 42(2): 44-52 (2009)
	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		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		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		Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky: Compositional Schedulability Analysis of Hierarchical Real-Time Systems. ISORC 2007: 274-281
64		Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Logic-Based Regulatory Conformance Checking. Monterey Workshop 2007: 147-160
63		Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr: Statistical Runtime Checking of Probabilistic Properties. RV 2007: 164-175
62		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
61		Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
60		Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee: Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007
59		Sebastian Fischmeister, Oleg Sokolsky, Insup Lee: A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007)
58		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		Christopher D. Gill, Oleg Sokolsky: Guest Editors' Foreword. J. Comput. Syst. Sci. 73(2): 155 (2007)
56		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		Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee: Incremental schedulability analysis of hierarchical real-time components. EMSOFT 2006: 272-281
53		Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee: R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406
52		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		Oleg Sokolsky, Insup Lee, Duncan Clarke: Schedulability analysis of AADL models. IPDPS 2006
50		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		Oleg Sokolsky, Sampath Kannan, Insup Lee: Simulation-Based Graph Similarity. TACAS 2006: 426-440
48		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		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		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		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		Usa Sammapun, Insup Lee, Oleg Sokolsky: RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA 2005: 147-153
43		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		Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112
40		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		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		Oleg Sokolsky: Resource Modeling for Embedded Systems Design. WSTFEUS 2004: 99-103
35		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		Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243
33		Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182
32		Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou: Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425
31		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		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		Insup Lee, Anna Philippou, Oleg Sokolsky: A General Resource Framework for Real-Time Systems. RISSEF 2002: 234-248
27		Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural: A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341
26		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		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		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		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		Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48
19		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		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		Anna Philippou, Insup Lee, Oleg Sokolsky: Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349
16		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		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		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		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		Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
9		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		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		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

Coauthor Index

1	Rajeev Alur	[20] [22] [29] [30] [33] [45]
2	Prithwish Basu	[75]
3	Grégory Batt	[50]
4	Calin Belta	[29]
5	Hanêne Ben-Abdallah	[5] [12] [15]
6	Karthikeyan Bhargavan	[16] [24]
7	Matt Blaze	[71]
8	Jeremy T. Bradley	[50]
9	Sung Deok Cha	[34]
10	Vivien Chinnapongse	[72]
11	Jin-Young Choi	[8] [21]
12	Kyriakos Christou	[32]
13	Duncan Clarke	[5] [51] [76]
14	Rance Cleaveland	[4] [6] [10] [18]
15	Thao Dang	[22] [30]
16	Margaret DeLap	[37]
17	Nikhil Dinesh	[64] [68] [69]
18	Yifei Dong	[13]
19	Xiaoqun Du	[13]
20	Arvind Easwaran	[40] [48] [54] [65] [74]
21	Joel M. Esposito	[22] [30]
22	Roland Ewald	[50]
23	François Fages	[50]
24	Rafael B. Fierro	[22]
25	Bernd Finkbeiner	[61] [62] [70]
26	Sebastian Fischmeister	[52] [59]
27	Irbis Gallegos	[41]
28	Ann Q. Gates	[41] [42] [58]
29	Christopher D. Gill	[57]
30	Radu Grosu	[20] [45]
31	Carl A. Gunter	[16] [24]
32	Klaus Havelund	[61] [62] [70]
33	Holger Hermanns	[50]
34	Jane Hillston	[50]
35	Hyoung Seok Hong	[27] [34] [43]
36	Yerang Hur	[22] [30]
37	Franjo Ivancic	[22] [29] [30] [33]
38	Young-Sik Jeong	[55]
39	Paul L. Jones	[72]
40	Aravind K. Joshi	[64] [68] [69]
41	Eun-Sun Jung	[55]
42	Sampath Kannan	[14] [15] [19] [26] [35] [48] [49] [71]
43	Peter Kemper	[50]
44	Angelos D. Keromytis	[71]
45	Daeyoung Kim	[55]
46	Jesung Kim	[33] [39] [47]
47	Moonjoo Kim	[14] [15] [16] [19] [24] [25] [26]
48	Moonzoo Kim	[35]
49	Björn Knutsson	[37]
50	Fabrice Kordon	[66]
51	Fabian Kratz	[53]
52	Vijay Kumar	[22] [29] [30]
53	Hee-Hwan Kwak	[8] [9] [11] [21] [23]
54	Dong Chun Lee	[55]
55	Insup Lee	[5] [7] [8] [9] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30] [32] [33] [34] [35] [37] [38] [39] [40] [43] [44] [45] [46] [47] [49] [51] [52] [53] [54] [56] [59] [60] [63] [64] [65] [68] [69] [71] [72] [73] [74] [76]
56	Wenke Lee	[71]
57	Philip M. Lewis (Philip M. Lewis II)	[4] [6]
58	Boon Thau Loo	[73] [75]
59	Honghui Lu	[37]
60	Alke Martens	[50]
61	Humberto Mendoza	[42] [58]
62	Pradyumna Mishra	[22] [30]
63	Oscar Mondragon	[42] [58]
64	Pieter J. Mosterman	[50]
65	Yi Mu	[55]
66	Flemming Nielson	[50]
67	Davor Obradovic	[16] [24]
68	Omar Ochoa	[41]
69	George J. Pappas	[22] [30] [53]
70	Anna Philippou	[8] [10] [17] [18] [21] [28] [32] [46] [56]
71	Y. S. Ramakrishna	[13]
72	C. R. Ramakrishnan	[13]
73	I. V. Ramakrishnan	[13]
74	John Regehr	[60] [63]
75	Steve Roach	[41] [58]
76	Grigore Rosu	[61] [62] [70]
77	Harvey Rubin	[29]
78	Usa Sammapun	[25] [37] [40] [44] [47] [60] [63]
79	Jonathan Schug	[29]
80	Zili Shao	[55]
81	Insik Shin	[54] [65]
82	Jangwoo Shin	[25]
83	Jonathan M. Smith	[71]
84	Scott A. Smolka	[1] [2] [3] [4] [6] [10] [13] [18]
85	Eugene W. Stark	[13]
86	Li Tan	[38] [39]
87	Serdar Tasiran	[67]
88	Christos Tsarouchis	[37]
89	Adelinde M. Uhrmacher (Adelinde Uhrmacher)	[50]
90	Hasan Ural	[27] [34]
91	Steve Vestal	[74]
92	Mahesh Viswanathan	[14] [15] [16] [19] [24] [26] [31] [35]
93	Anduo Wang	[75]
94	Shaohui Wang	[72]
95	David Scott Warren	[13]
96	Jonathan Webb	[29]
97	Hong-liang Xie	[5]
98	Cheng-Zhong Xu	[55]
99	Lu Yan	[55]
100	Mohamed F. Younis	[9]
101	Shipei Zhang	[1]
102	Jeffrey X. Zhou	[9]
103	Wenchao Zhou	[73]
104	Xiaobo Zhou	[55]

Colors in the list of coauthors