Oleg Sokolsky

Cited by

	All	Since 2019
Citations	10267	2836
h-index	55	25
i10-index	174	82

640

320

160

480

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202433 30 30 62 79 85 140 181 249 320 251 301 304 345 383 419 481 585 579 640 535 561 628 640 478 448 458 428 384

Public access

View all

65 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
James WeimerVanderbilt UniversityVerified email at vanderbilt.edu
Linh Thi Xuan PhanAssociate Professor, University of PennsylvaniaVerified email at cis.upenn.edu
BaekGyu KimAssistant Professor, Electrical Engineering and Computer Science, DGISTVerified email at dgist.ac.kr
Miroslav PajicProfessor of Electrical and Computer Engineering, Duke UniversityVerified email at duke.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
Nicola BezzoAssociate Professor, University of VirginiaVerified email at virginia.edu
Anna PhilippouUniversity of CyprusVerified email at ucy.ac.cy
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Andrew L KingUniversity of PennsylvaniaVerified email at cis.upenn.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at seas.upenn.edu
Arvind EaswaranNanyang Technological University (NTU)Verified email at ntu.edu.sg
Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of PennsylvaniaVerified email at seas.upenn.edu
Chenyang LuFullgraf Professor, Washington UniversityVerified email at cse.wustl.edu
Franjo IvančićGoogle, Inc.Verified email at google.com
Rance CleavelandDepartment of Computer Science, University of MarylandVerified email at cs.umd.edu
Boon Thau LooRCA Professor of Computer and Information Science, Senior Associate Dean, UPennVerified email at seas.upenn.edu
Usa SammapunKasetsart UniversityVerified email at ku.th
Chris GillProfessor of Computer Science and Engineering, Washington University in St. LouisVerified email at cse.wustl.edu

Oleg Sokolsky

University of Pennsylvania

Verified email at cis.upenn.edu - Homepage

Software design and software architecture for embedded systems formal methods runtime verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Challenges and Research Directions in Medical Cyber–Physical Systems I Lee, O Sokolsky, S Chen, J Hatcliff, E Jee, BG Kim, A King, ... Proceedings of the IEEE 100 (1), 75-90, 2012	492	2012
Java-MaC: A run-time assurance approach for Java programs M Kim, M Viswanathan, S Kannan, I Lee, O Sokolsky Formal methods in system design 24 (2), 129-155, 2004	326	2004
Robustness of Attack-resilient State Estimators M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas	282*
Medical cyber physical systems I Lee, O Sokolsky Proceedings of the 47th Design Automation Conference, 743-748, 2010	280	2010
Java-MaC: a run-time assurance tool for Java programs M Kim, S Kannan, I Lee, O Sokolsky, M Viswanathan Electronic Notes in Theoretical Computer Science 55 (2), 218-235, 2001	263	2001
Runtime assurance based on formal specifications I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan International Conference on Parallel and Distributed Processing Techniques …, 1999	250	1999
Hierarchical modeling and analysis of embedded systems R Alur, T Dang, J Esposito, Y Hur, F Ivancic, V Kumar, P Mishra, ... Proceedings of the IEEE 91 (1), 11-28, 2003	239	2003
A temporal logic based theory of test coverage and generation HS Hong, I Lee, O Sokolsky, H Ural International Conference on Tools and Algorithms for the Construction and …, 2002	207	2002
Formally specified monitoring of temporal properties M Kim, M Viswanathan, H Ben-Abdallah, S Kannan, I Lee, O Sokolsky Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 1999	199	1999
Data flow testing as model checking HS Hong, SD Cha, I Lee, O Sokolsky, H Ural 25th International Conference on Software Engineering, 2003. Proceedings …, 2003	169	2003
Real-time multi-core virtual machine scheduling in xen S Xi, M Xu, C Lu, LTX Phan, C Gill, O Sokolsky, I Lee Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014	162	2014
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators M Pajic, J Weimer, N Bezzo, O Sokolsky, GJ Pappas, I Lee IEEE Control Systems 37 (2), 66-81, 2017	160	2017
Toward patient safety in closed-loop medical device systems D Arney, M Pajic, JM Goldman, I Lee, R Mangharam, O Sokolsky Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010	160	2010
Model-driven safety analysis of closed-loop medical systems M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee IEEE, 2012	153	2012
Hierarchical hybrid modeling of embedded systems R Alur, T Dang, J Esposito, R Fierro, Y Hur, F Ivančić, V Kumar, I Lee, ... International Workshop on Embedded Software, 14-31, 2001	153	2001
Weak bisimulation for probabilistic systems A Philippou, I Lee, O Sokolsky International Conference on Concurrency Theory, 334-349, 2000	146	2000
Specification-based testing with linear temporal logic L Tan, O Sokolsky, I Lee Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 …, 2004	133	2004
Incremental model checking in the modal mu-calculus O Sokolsky, S Smolka Computer Aided Verification, 351-363, 1994	131	1994
Verisim: Formal analysis of network simulations K Bhargavan, CA Gunter, M Kim, I Lee, D Obradovic, O Sokolsky, ... IEEE Transactions on Software Engineering 28 (2), 129-145, 2002	130	2002
Schedulability analysis of AADL models O Sokolsky, I Lee, D Clarke Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006	127	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors