Oleg Sokolsky

Alıntı yapanlar

	Hepsi	2020 yılından bugüne
Alıntılar	10440	2398
h-endeksi	55	22
i10-endeksi	180	66

660

330

165

495

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202537 30 30 62 79 86 142 174 244 318 251 306 298 337 387 421 473 580 582 649 525 554 629 641 477 450 464 440 497 70

Genel erişim

Tümünü görüntüle

67 makale

3 makale

genel erişime açık olanlar

genel erişime açık olmayanlar

Finansman sağlayan kuruluşun getirdiği zorunluluğa dayalı olarak

Katkıda bulunan yazarlar

Insup LeeProfessor, Computer and Information Science, University of Pennsylvaniacis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
James WeimerVanderbilt Universityvanderbilt.edu üzerinde doğrulanmış e-posta adresine sahip
Linh Thi Xuan PhanAssociate Professor, University of Pennsylvaniacis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
BaekGyu KimAssistant Professor, Electrical Engineering and Computer Science, DGISTdgist.ac.kr üzerinde doğrulanmış e-posta adresine sahip
Miroslav PajicProfessor of Electrical and Computer Engineering, Duke Universityduke.edu üzerinde doğrulanmış e-posta adresine sahip
Mahesh ViswanathanUniversity of Illinois, Urbana-Champaignillinois.edu üzerinde doğrulanmış e-posta adresine sahip
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvaniaseas.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Nicola BezzoAssociate Professor, University of Virginiavirginia.edu üzerinde doğrulanmış e-posta adresine sahip
Anna PhilippouUniversity of Cyprusucy.ac.cy üzerinde doğrulanmış e-posta adresine sahip
Scott A. SmolkaProfessor of Computer Science, Stony Brook Universitycs.sunysb.edu üzerinde doğrulanmış e-posta adresine sahip
Andrew L KingUniversity of Pennsylvaniacis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Rajeev AlurZisman Family Professor of Computer and Information Science, University of Pennsylvaniaseas.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Arvind EaswaranNanyang Technological University (NTU)ntu.edu.sg üzerinde doğrulanmış e-posta adresine sahip
Rahul MangharamProfessor of Electrical Engineering and Computer Science, University of Pennsylvaniaseas.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Chenyang LuFullgraf Professor, Washington Universitycse.wustl.edu üzerinde doğrulanmış e-posta adresine sahip
Franjo IvančićGoogle, Inc.google.com üzerinde doğrulanmış e-posta adresine sahip
Rance CleavelandDepartment of Computer Science, University of Marylandcs.umd.edu üzerinde doğrulanmış e-posta adresine sahip
Boon Thau LooRCA Professor of Computer and Information Science, Senior Associate Dean, UPennseas.upenn.edu üzerinde doğrulanmış e-posta adresine sahip
Usa SammapunKasetsart Universityku.th üzerinde doğrulanmış e-posta adresine sahip
Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of Minnesotaumn.edu üzerinde doğrulanmış e-posta adresine sahip

Takip et

Oleg Sokolsky

University of Pennsylvania

cis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa

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


Başlık Alıntılara göre sırala Yıla göre sırala Başlığa göre sırala	Alıntı yapanlar Alıntı yapanlar	Yıl
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	504	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	319	2004
Medical cyber physical systems I Lee, O Sokolsky Proceedings of the 47th Design Automation Conference, 743-748, 2010	288	2010
Robustness of Attack-resilient State Estimators M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas	286*
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	248	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	241	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	208	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	197	1999
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	164	2017
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	163	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	159	2014
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	159	2010
Model-driven safety analysis of closed-loop medical systems M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee IEEE, 2012	155	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	154	2001
Weak bisimulation for probabilistic systems A Philippou, I Lee, O Sokolsky International Conference on Concurrency Theory, 334-349, 2000	148	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	134	2004
Incremental model checking in the modal mu-calculus O Sokolsky, S Smolka Computer Aided Verification, 351-363, 1994	133	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	129	2002
Schedulability analysis of AADL models O Sokolsky, I Lee, D Clarke Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006	125	2006

Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.

Makaleler 1–20

Yıllık alıntı sayısı

Mükerrer alıntılar

Birleştirilmiş alıntılar

Katkıda bulunan yazar ekleKatkıda bulunan yazarlar

Takip et

Alıntı yapanlar

Katkıda bulunan yazarlar