Edit Profile (opens in new tab) Sokolsky, Oleg Co-Author Distance Author ID: sokolsky.oleg Published as: Sokolsky, Oleg; Sokolsky, O. External Links: ORCID Documents Indexed: 29 Publications since 1998 5 Contributions as Editor Co-Authors: 51 Co-Authors with 34 Joint Publications 1,234 Co-Co-Authors all top 5 Co-Authors 0 single-authored 25 Lee, Insup 7 Philippou, Anna 4 Alur, Rajeev 4 Pappas, George J. 4 Weimer, James E. 3 Ivančić, Franjo 2 Bezzo, Nicola 2 Choi, Jin Young 2 Cleaveland, Rance 2 Dinesh, Nikhil 2 Grosu, Radu 2 Joshi, Aravind K. 2 Kannan, Sampath K. 2 Kwak, Hee-Hwan 2 Pajic, Miroslav 2 Phan, Linh Thi Xuan 2 Viswanathan, Mahesh 1 Aaron, Eric 1 Ahn, Sojin 1 Annaswamy, Anuradha M. 1 Belta, Calin A. 1 Christou, Kyriakos 1 Dang, Thao 1 Esposito, Joel M. 1 Fischmeister, Sebastian 1 Hong, Hyoung Seok 1 Hung, Dang Van 1 Hur, Yerang 1 Hwang, Dae Yon 1 Ivanov, Radoslav 1 Kang, Inhye 1 Kaur, Ramneet 1 Kim, Moonzoo 1 Kratz, Fabian 1 Kumar, Vijay R. 1 Lin, Vivian 1 Lu, Chenyang 1 Metaxas, Dimitris N. 1 Park, Junkil 1 Roohi, Nima 1 Roşu, Grigore 1 Rubin, Harvey 1 Schug, Jonathan 1 Smolka, Scott A. 1 Soudbakhsh, Damoon 1 Tasiran, Serdar 1 Ural, Hasan 1 Wang, Ji 1 Webb, Jonathan P. 1 Xi, Sisu 1 Xu, Meng all top 5 Serials 3 The Journal of Logic and Algebraic Programming 2 Formal Methods in System Design 2 Lecture Notes in Computer Science 1 Information Processing Letters 1 IEEE Transactions on Computers 1 Theoretical Computer Science 1 Science of Computer Programming 1 Real-Time Systems 1 Journal of Logic and Computation 1 Electronic Notes in Theoretical Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 IEEE Control Systems 1 IEEE Transactions on Control of Network Systems all top 5 Fields 28 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 5 Systems theory; control (93-XX) 3 Mathematical logic and foundations (03-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 22 Publications have been cited 120 times in 112 Documents Cited by ▼ Year ▼ Weak bisimulation for probabilistic systems. Zbl 0999.68146 Philippou, Anna; Lee, Insup; Sokolsky, Oleg 38 2000 Equivalence and preorder checking for finite-state systems. Zbl 1020.68062 Cleaveland, Rance; Sokolsky, Oleg 13 2001 Java-MaC: A run-time assurance approach for Java programs. Zbl 1073.68552 Kim, MoonZoo; Viswanathan, Mahesh; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg 11 2004 Design and implementation of attack-resilient cyberphysical systems: with a focus on attack-resilient state estimators. Zbl 1477.93129 Pajic, Miroslav; Weimer, James; Bezzo, Nicola; Sokolsky, Oleg; Pappas, George J.; Lee, Insup 10 2017 A temporal logic based theory of test coverage and generation. Zbl 1043.68573 Hong, Hyoung Seok; Lee, Insup; Sokolsky, Oleg; Ural, Hasan 7 2002 Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057 Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 6 2002 Reasoning about conditions and exceptions to laws in regulatory conformance checking. Zbl 1143.03351 Dinesh, Nikhil; Joshi, Aravind; Lee, Insup; Sokolsky, Oleg 6 2008 Simulation-based graph similarity. Zbl 1180.68198 Sokolsky, Oleg; Kannan, Sampath; Lee, Insup 5 2006 Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098 Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 5 2006 Modeling and analysis of power-aware systems. Zbl 1031.68553 Sokolsky, Oleg; Philippou, Anna; Lee, Insup; Christou, Kyriakos 3 2003 Resources in process algebra. Zbl 1121.68081 Lee, Insup; Philippou, Anna; Sokolsky, Oleg 3 2007 Cache-aware compositional analysis of real-time multicore virtualization platforms. Zbl 1343.68039 Xu, Meng; Phan, Linh Thi Xuan; Sokolsky, Oleg; Xi, Sisu; Lu, Chenyang; Gill, Christopher; Lee, Insup 2 2015 A process algebraic framework for modeling resource demand and supply. Zbl 1290.68031 Philippou, Anna; Lee, Insup; Sokolsky, Oleg; Choi, Jin-Young 2 2010 Co-design of arbitrated network control systems with overrun strategies. Zbl 1507.93096 Soudbakhsh, Damoon; Phan, Linh Thi Xuan; Annaswamy, Anuradha M.; Sokolsky, Oleg 1 2018 Hiding resources that can fail: An axiomatic perspective. Zbl 1003.68089 Philippou, Anna; Sokolsky, Oleg; Lee, Insup; Cleaveland, Rance; Smolka, Scott A. 1 2001 Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508 Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O. 1 2001 Resilient parameter-invariant control with application to vehicle cruise control. Zbl 1302.93199 Weimer, James; Bezzo, Nicola; Pajic, Miroslav; Pappas, George J.; Sokolsky, Oleg; Lee, Insup 1 2013 Permission to speak: a logic for access control and conformance. Zbl 1207.68115 Dinesh, Nikhil; Joshi, Aravind; Lee, Insup; Sokolsky, Oleg 1 2011 Introduction to the special issue on runtime verification. Zbl 1284.68034 1 2012 R-Charon, a modeling language for reconfigurable hybrid systems. Zbl 1178.93074 Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup 1 2006 A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. Zbl 1373.68162 Park, Junkil; Lee, Insup; Sokolsky, Oleg; Hwang, Dae Yon; Ahn, Sojin; Choi, Jin-Young; Kang, Inhye 1 2017 PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Zbl 1236.68022 Philippou, Anna; Lee, Insup; Sokolsky, Oleg 1 2012 Co-design of arbitrated network control systems with overrun strategies. Zbl 1507.93096 Soudbakhsh, Damoon; Phan, Linh Thi Xuan; Annaswamy, Anuradha M.; Sokolsky, Oleg 1 2018 Design and implementation of attack-resilient cyberphysical systems: with a focus on attack-resilient state estimators. Zbl 1477.93129 Pajic, Miroslav; Weimer, James; Bezzo, Nicola; Sokolsky, Oleg; Pappas, George J.; Lee, Insup 10 2017 A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems. Zbl 1373.68162 Park, Junkil; Lee, Insup; Sokolsky, Oleg; Hwang, Dae Yon; Ahn, Sojin; Choi, Jin-Young; Kang, Inhye 1 2017 Cache-aware compositional analysis of real-time multicore virtualization platforms. Zbl 1343.68039 Xu, Meng; Phan, Linh Thi Xuan; Sokolsky, Oleg; Xi, Sisu; Lu, Chenyang; Gill, Christopher; Lee, Insup 2 2015 Resilient parameter-invariant control with application to vehicle cruise control. Zbl 1302.93199 Weimer, James; Bezzo, Nicola; Pajic, Miroslav; Pappas, George J.; Sokolsky, Oleg; Lee, Insup 1 2013 Introduction to the special issue on runtime verification. Zbl 1284.68034 1 2012 PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Zbl 1236.68022 Philippou, Anna; Lee, Insup; Sokolsky, Oleg 1 2012 Permission to speak: a logic for access control and conformance. Zbl 1207.68115 Dinesh, Nikhil; Joshi, Aravind; Lee, Insup; Sokolsky, Oleg 1 2011 A process algebraic framework for modeling resource demand and supply. Zbl 1290.68031 Philippou, Anna; Lee, Insup; Sokolsky, Oleg; Choi, Jin-Young 2 2010 Reasoning about conditions and exceptions to laws in regulatory conformance checking. Zbl 1143.03351 Dinesh, Nikhil; Joshi, Aravind; Lee, Insup; Sokolsky, Oleg 6 2008 Resources in process algebra. Zbl 1121.68081 Lee, Insup; Philippou, Anna; Sokolsky, Oleg 3 2007 Simulation-based graph similarity. Zbl 1180.68198 Sokolsky, Oleg; Kannan, Sampath; Lee, Insup 5 2006 Compositional modeling and refinement for hierarchical hybrid systems. Zbl 1088.68098 Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 5 2006 R-Charon, a modeling language for reconfigurable hybrid systems. Zbl 1178.93074 Kratz, Fabian; Sokolsky, Oleg; Pappas, George J.; Lee, Insup 1 2006 Java-MaC: A run-time assurance approach for Java programs. Zbl 1073.68552 Kim, MoonZoo; Viswanathan, Mahesh; Kannan, Sampath; Lee, Insup; Sokolsky, Oleg 11 2004 Modeling and analysis of power-aware systems. Zbl 1031.68553 Sokolsky, Oleg; Philippou, Anna; Lee, Insup; Christou, Kyriakos 3 2003 A temporal logic based theory of test coverage and generation. Zbl 1043.68573 Hong, Hyoung Seok; Lee, Insup; Sokolsky, Oleg; Ural, Hasan 7 2002 Compositional refinement for hierarchical hybrid systems. Zbl 0991.93057 Alur, Rajeev; Grosu, Radu; Lee, Insup; Sokolsky, Oleg 6 2002 Equivalence and preorder checking for finite-state systems. Zbl 1020.68062 Cleaveland, Rance; Sokolsky, Oleg 13 2001 Hiding resources that can fail: An axiomatic perspective. Zbl 1003.68089 Philippou, Anna; Sokolsky, Oleg; Lee, Insup; Cleaveland, Rance; Smolka, Scott A. 1 2001 Hierarchical hybrid modeling of embedded systems. Zbl 1050.68508 Alur, R.; Dang, T.; Esposito, J.; Fierro, R.; Hur, Y.; Ivančić, F.; Kumar, V.; Lee, I.; Mishra, P.; Pappas, G.; Sokolsky, O. 1 2001 Weak bisimulation for probabilistic systems. Zbl 0999.68146 Philippou, Anna; Lee, Insup; Sokolsky, Oleg 38 2000 all cited Publications top 5 cited Publications all top 5 Cited by 243 Authors 10 Sokolsky, Oleg 9 Lee, Insup 7 Hermanns, Holger 5 Bernardo, Marco 4 Baier, Christel 4 De Nicola, Rocco 4 Deng, Yuxin 4 Katoen, Joost-Pieter 4 Loreti, Michele 4 Philippou, Anna 4 Song, Lei 4 Tini, Simone 3 Andova, Suzana 3 Georgievska, Sonja 3 Godskesen, Jens Chr. 3 Havelund, Klaus 3 Hennessy, Matthew C. B. 3 Lanotte, Ruggero 3 Turrini, Andrea 3 Zhang, Lijun 2 Bernasconi, Anna 2 Bortolussi, Luca 2 Castiglioni, Valentina 2 Dehmer, Matthias 2 Dinesh, Nikhil 2 Ding, Derui 2 Eisentraut, Christian 2 Francalanza, Adrian 2 Galpin, Vashti 2 Girard, Antoine 2 Han, Tingting 2 Hashemi, Vahid 2 Hillston, Jane 2 Jančar, Petr 2 Joshi, Aravind K. 2 Liu, Hongjian 2 Menghi, Claudio 2 Ranzato, Francesco 2 Rizzi, Alessandro Maria 2 Roşu, Grigore 2 Sun, Ying 2 Trčka, Nikola 2 van Glabbeek, Robert Jan 1 Abate, Alessandro 1 Aceto, Luca 1 Achilleos, Antonis 1 Ahn, Hyo-Sung 1 Ahn, Sojin 1 Aktug, Irem 1 Aldini, Alessandro 1 Altmeyer, Sebastian A. 1 Alur, Rajeev 1 Anastasiadi, Elli 1 Artho, Cyrille 1 Asarin, Eugene 1 Bai, Tian 1 Ban Kirigin, Tajana 1 Barringer, Howard 1 Basin, David A. 1 Bergstra, Jan A. 1 Bezzaoucha Rebaï, Souad 1 Bonakdarpour, Borzoo 1 Cavalcanti, Ana 1 Cazorla, Diego 1 Cervin, Anton 1 Chauhan, Himanshu 1 Chen, Taolue 1 Choi, Jin Young 1 Ciesinski, Frank 1 Ćirić, Miroslav D. 1 Cleaveland, Rance 1 Cloth, Lucia 1 Colvin, Robert J. 1 Cuartero, Fernando 1 Cui, Cewei 1 Dam, Mads 1 Dang, Thao 1 Dang, Zhe 1 Darouach, Mohamed 1 Datta, Anupam 1 Davis, Robert I. 1 de Albuquerque Gleizer, Gabriel 1 Degue, Kwassi Holali 1 Delahaye, Benoît 1 Desharnais, Josée 1 Di Pierro, Alessandra 1 Dong, Hongli 1 Dovier, Agostino 1 Efimov, Denis V. 1 Emmert-Streib, Frank 1 Fan, Bo 1 Ferrer Fioriti, Luis María 1 Fischer, Thomas Robert 1 Fischmeister, Sebastian 1 Forejt, Vojtěch 1 Fribourg, Laurent 1 Fu, Yuxi 1 Ganardi, Moses 1 Garg, Vijay K. 1 Ge, Xiaohua ...and 143 more Authors all top 5 Cited in 27 Serials 19 Theoretical Computer Science 9 The Journal of Logic and Algebraic Programming 8 Information and Computation 7 Formal Aspects of Computing 6 Automatica 4 Acta Informatica 4 Information Processing Letters 4 Formal Methods in System Design 4 Journal of Logical and Algebraic Methods in Programming 2 Journal of the Franklin Institute 2 Information Sciences 2 Real-Time Systems 2 Logical Methods in Computer Science 2 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Computers & Mathematics with Applications 1 Applied Mathematics and Computation 1 Computing 1 The Journal of Symbolic Logic 1 Journal of Symbolic Computation 1 International Journal of Approximate Reasoning 1 International Journal of Adaptive Control and Signal Processing 1 MSCS. Mathematical Structures in Computer Science 1 Filomat 1 Annals of Mathematics and Artificial Intelligence 1 European Journal of Control 1 Journal of the ACM 1 Journal of Shanghai Jiaotong University (Science) all top 5 Cited in 12 Fields 93 Computer science (68-XX) 18 Systems theory; control (93-XX) 12 Mathematical logic and foundations (03-XX) 4 Probability theory and stochastic processes (60-XX) 3 Biology and other natural sciences (92-XX) 2 Combinatorics (05-XX) 2 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Functional analysis (46-XX) 1 Fluid mechanics (76-XX) Citations by Year