×
Author ID: sokolsky.oleg Recent zbMATH articles by "Sokolsky, Oleg"
Published as: Sokolsky, Oleg; Sokolsky, O.
External Links: ORCID

Publications by Year

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 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

Citations by Year