dblp.uni-trier.dewww.uni-trier.de

Oleg Sokolsky

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
71EEAnduo 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
69EENikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. DEON 2008: 110-124
68EENikhil 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
65EEArvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky: Compositional Schedulability Analysis of Hierarchical Real-Time Systems. ISORC 2007: 274-281
64EENikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Logic-Based Regulatory Conformance Checking. Monterey Workshop 2007: 147-160
63EEUsa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr: Statistical Runtime Checking of Probabilistic Properties. RV 2007: 164-175
62EEBernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007
61EEBernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007
60EEOleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee: Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007
59EESebastian Fischmeister, Oleg Sokolsky, Insup Lee: A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007)
58EEOscar 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)
57EEChristopher D. Gill, Oleg Sokolsky: Guest Editors' Foreword. J. Comput. Syst. Sci. 73(2): 155 (2007)
56EEInsup 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
54EEArvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee: Incremental schedulability analysis of hierarchical real-time components. EMSOFT 2006: 272-281
53EEFabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee: R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406
52EESebastian Fischmeister, Oleg Sokolsky, Insup Lee: Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324
51EEOleg Sokolsky, Insup Lee, Duncan Clarke: Schedulability analysis of AADL models. IPDPS 2006
50EEGré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
49EEOleg Sokolsky, Sampath Kannan, Insup Lee: Simulation-Based Graph Similarity. TACAS 2006: 426-440
48EEArvind Easwaran, Sampath Kannan, Oleg Sokolsky: Steering of Discrete Event Systems: Control Theory Approach. Electr. Notes Theor. Comput. Sci. 144(4): 21-39 (2006)
47EEOleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim: Run-Time Checking of Dynamic Properties. Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006)
46EEInsup Lee, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 221-226 (2006)
45EERajeev 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
44EEUsa Sammapun, Insup Lee, Oleg Sokolsky: RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA 2005: 147-153
43EEHyoung 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
41EEAnn Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112
40EEUsa 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
37EEMargaret 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
36EEOleg Sokolsky: Resource Modeling for Embedded Systems Design. WSTFEUS 2004: 99-103
35EEMoonzoo 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
34EEHyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243
33EERajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182
32EEOleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou: Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425
31EEOleg 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
29EERajeev 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
28EEInsup Lee, Anna Philippou, Oleg Sokolsky: A General Resource Framework for Real-Time Systems. RISSEF 2002: 234-248
27EEHyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural: A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341
26EEMoonjoo 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)
25EEMoonjoo 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)
24EEKarthikeyan 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
22EERajeev 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
20EERajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48
19EEMoonjoo 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)
18EEAnna 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
17EEAnna Philippou, Insup Lee, Oleg Sokolsky: Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349
16EEKarthikeyan 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
15EEMoonjoo 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
13EEYifei 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)
11EEHee-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
10EEAnna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
9EEOleg 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
8EEHee-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
7EEInsup 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

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

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)