Oleg Sokolsky

Citée par

	Toutes	Depuis 2018
Citations	9804	3010
indice h	53	26
indice i10	165	85

660

330

165

495

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202332 35 30 65 78 87 134 182 254 313 260 296 300 344 382 411 478 576 578 649 543 568 628 629 478 448 451 375

Accès public

Tout afficher

58 articles

2 articles

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
James WeimerVanderbilt UniversityAdresse e-mail validée de vanderbilt.edu
Linh Thi Xuan PhanAssociate Professor, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
BaekGyu KimAssistant Professor, Electrical Engineering and Computer Science, DGISTAdresse e-mail validée de dgist.ac.kr
Miroslav PajicDickinson Family Associate Professor, Duke UniversityAdresse e-mail validée de duke.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignAdresse e-mail validée de illinois.edu
George J. PappasUPS Foundation Professor, Electrical and Systems Engineering, University of PennsylvaniaAdresse e-mail validée de seas.upenn.edu
Anna PhilippouUniversity of CyprusAdresse e-mail validée de ucy.ac.cy
Nicola BezzoAssociate Professor, University of VirginiaAdresse e-mail validée de virginia.edu
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityAdresse e-mail validée de cs.sunysb.edu
Andrew L KingUniversity of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de seas.upenn.edu
Arvind EaswaranNanyang Technological University (NTU)Adresse e-mail validée de ntu.edu.sg
Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of PennsylvaniaAdresse e-mail validée de seas.upenn.edu
Chenyang LuFullgraf Professor, Washington UniversityAdresse e-mail validée de cse.wustl.edu
Franjo IvančićGoogle, Inc.Adresse e-mail validée de google.com
Rance CleavelandDepartment of Computer Science, University of MarylandAdresse e-mail validée de cs.umd.edu
Boon Thau LooRCA Professor of Computer and Information Science, Associate Dean, UPennAdresse e-mail validée de seas.upenn.edu
Usa SammapunKasetsart UniversityAdresse e-mail validée de ku.th
Chris GillProfessor of Computer Science and Engineering, Washington University in St. LouisAdresse e-mail validée de cse.wustl.edu

Suivre

Oleg Sokolsky

University of Pennsylvania

Adresse e-mail validée de cis.upenn.edu - Page d'accueil

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	479	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	316	2004
Robustness of Attack-resilient State Estimators M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas	267*
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	260	2001
Medical cyber physical systems I Lee, O Sokolsky Proceedings of the 47th Design Automation Conference, 743-748, 2010	257	2010
Runtime assurance based on formal specifications I Lee, S Kannan, M Kim, O Sokolsky, M Viswanathan Departmental Papers (CIS), 294, 1999	245	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	192	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
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	154	2010
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	151	2001
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	150	2014
Model-driven safety analysis of closed-loop medical systems M Pajic, R Mangharam, O Sokolsky, D Arney, J Goldman, I Lee IEEE, 2012	148	2012
Weak bisimulation for probabilistic systems A Philippou, I Lee, O Sokolsky International Conference on Concurrency Theory, 334-349, 2000	143	2000
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	138	2017
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
Incremental model checking in the modal mu-calculus O Sokolsky, S Smolka Computer Aided Verification, 351-363, 1994	129	1994
Schedulability analysis of AADL models O Sokolsky, I Lee, D Clarke Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006	127	2006
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	127	2004

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs