Oleg Sokolsky

Citada per

	Totes	Des de 2020
Citacions	10474	2395
Índex h	55	22
Índex i10	178	68

660

330

165

495

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 30 30 62 79 85 141 181 254 315 252 302 304 345 385 421 480 585 579 642 534 562 628 640 482 450 460 439 509 55

Accés públic

Mostra-ho tot

68 articles

3 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
James WeimerVanderbilt UniversityCorreu electrònic verificat a vanderbilt.edu
Linh Thi Xuan PhanAssociate Professor, University of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
BaekGyu KimAssistant Professor, Electrical Engineering and Computer Science, DGISTCorreu electrònic verificat a dgist.ac.kr
Miroslav PajicProfessor of Electrical and Computer Engineering, Duke UniversityCorreu electrònic verificat a duke.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignCorreu electrònic verificat a illinois.edu
George PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaCorreu electrònic verificat a seas.upenn.edu
Nicola BezzoAssociate Professor, University of VirginiaCorreu electrònic verificat a virginia.edu
Anna PhilippouUniversity of CyprusCorreu electrònic verificat a ucy.ac.cy
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityCorreu electrònic verificat a cs.sunysb.edu
Andrew L KingUniversity of PennsylvaniaCorreu electrònic verificat a cis.upenn.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaCorreu electrònic verificat a seas.upenn.edu
Arvind EaswaranNanyang Technological University (NTU)Correu electrònic verificat a ntu.edu.sg
Rahul MangharamProfessor of Electrical Engineering and Computer Science, University of PennsylvaniaCorreu electrònic verificat a seas.upenn.edu
Chenyang LuFullgraf Professor, Washington UniversityCorreu electrònic verificat a cse.wustl.edu
Franjo IvančićGoogle, Inc.Correu electrònic verificat a google.com
Rance CleavelandDepartment of Computer Science, University of MarylandCorreu electrònic verificat a cs.umd.edu
Boon Thau LooRCA Professor of Computer and Information Science, Senior Associate Dean, UPennCorreu electrònic verificat a seas.upenn.edu
Usa SammapunKasetsart UniversityCorreu electrònic verificat a ku.th
Chris GillProfessor of Computer Science and Engineering, Washington University in St. LouisCorreu electrònic verificat a cse.wustl.edu

Segueix

Oleg Sokolsky

University of Pennsylvania

Correu electrònic verificat a cis.upenn.edu - Pàgina d'inici

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


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	502	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	325	2004
Medical cyber physical systems I Lee, O Sokolsky Proceedings of the 47th Design Automation Conference, 743-748, 2010	285	2010
Robustness of Attack-resilient State Estimators M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas	285*
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	264	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	251	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	240	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	209	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
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
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	163	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	163	2010
Model-driven safety analysis of closed-loop medical systems M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee IEEE, 2012	156	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	149	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	130	2002
Schedulability analysis of AADL models O Sokolsky, I Lee, D Clarke Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006	127	2006

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors