Scott D. Stoller

Citado por

	Total	Desde 2019
Citas	6685	2212
Índice h	47	22
Índice i10	124	61

500

250

125

375

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 24 49 51 50 65 85 152 135 217 214 245 289 274 269 244 279 292 270 243 268 308 306 350 371 401 471 487 128

Acceso público

Ver todo

42 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Yanhong A. LiuStony Brook University, State University of New YorkDirección de correo verificada de cs.stonybrook.edu
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.sunysb.edu
Radu GrosuProfessor of Computer ScienceDirección de correo verificada de tuwien.ac.at
Liqiang WangProfessor of Computer Science, University of Central FloridaDirección de correo verificada de ucf.edu
Erez ZadokProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.stonybrook.edu
Tom RothamelDirección de correo verificada de rothamel.us
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryDirección de correo verificada de jpl.nasa.gov
Junxing YangStony Brook UniverisityDirección de correo verificada de cs.stonybrook.edu
C.R. RamakrishnanProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.stonybrook.edu
Fred SchneiderCS Dept, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Nicola PaolettiDepartment of Informatics, King's College LondonDirección de correo verificada de kcl.ac.uk
Ezio BartocciFaculty of Informatics, TU WienDirección de correo verificada de tuwien.ac.at
Thang BuiCalifornia State University, Monterey BayDirección de correo verificada de csumb.edu
Dung T. PhanAramco Americas: Aramco Research Center - HoustonDirección de correo verificada de aramcoamericas.com
R. SekarProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.stonybrook.edu
Md Nahid HossainSoftware Engineer, OracleDirección de correo verificada de cs.stonybrook.edu
Usama MehmoodStony Brook UniversityDirección de correo verificada de cs.stonybrook.edu
Birhanu EsheteAssistant Professor, Computer Science, University of Michigan, DearbornDirección de correo verificada de umich.edu
VN VenkatakrishnanProfessor of Computer Science, University of Illinois at ChicagoDirección de correo verificada de uic.edu
Rigel GjomemoUniversity of Illinois at ChicagoDirección de correo verificada de uic.edu

Seguir

Scott D. Stoller

Professor of Computer Science, Stony Brook University

Dirección de correo verificada de cs.stonybrook.edu - Página principal

computer security cyber-physical systems distributed systems programming languages


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Runtime analysis of atomicity for multithreaded programs L Wang, SD Stoller IEEE Transactions on Software Engineering 32 (2), 93-110, 2006	214	2006
{SLEUTH}: Real-time attack scenario reconstruction from {COTS} audit data MN Hossain, SM Milajerdi, J Wang, B Eshete, R Gjomemo, R Sekar, ... 26th USENIX Security Symposium (USENIX Security 17), 487-504, 2017	210	2017
Transverse spin relaxation in inhomogeneous magnetic fields SD Stoller, W Happer, FJ Dyson Physical Review A 44 (11), 7459, 1991	181	1991
Efficient policy analysis for administrative role based access control SD Stoller, P Yang, CR Ramakrishnan, MI Gofman Proceedings of the 14th ACM conference on Computer and communications …, 2007	161	2007
Mining attribute-based access control policies Z Xu, SD Stoller IEEE Transactions on Dependable and Secure Computing 12 (5), 533-545, 2014	158	2014
Testing concurrent Java programs using randomized scheduling SD Stoller Electronic Notes in Theoretical Computer Science 70 (4), 142-157, 2002	156	2002
Cryptographic support for fault-tolerant distributed computing Y Minsky, R Van Renesse, FB Schneider, SD Stoller Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems …, 1996	155	1996
ACTION-EHR: Patient-centric blockchain-based electronic health record data management for cancer care A Dubovitskaya, F Baig, Z Xu, R Shukla, PS Zambani, A Swaminathan, ... Journal of medical Internet research 22 (8), e13598, 2020	151	2020
Model-checking multi-threaded distributed Java programs SD Stoller International SPIN Workshop on Model Checking of Software, 224-244, 2000	148	2000
Runtime verification with state estimation SD Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, SA Smolka, ... Runtime Verification: Second International Conference, RV 2011, San …, 2012	145	2012
Policy analysis for administrative role-based access control A Sasturkar, P Yang, SD Stoller, CR Ramakrishnan Theoretical Computer Science 412 (44), 6208-6234, 2011	138	2011
Accurate and efficient runtime detection of atomicity errors in concurrent programs L Wang, SD Stoller Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice …, 2006	135	2006
Static caching for incremental computation YA Liu, SD Stoller, T Teitelbaum ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (3), 546-585, 1998	124	1998
{Dependence-Preserving} data compaction for scalable forensic analysis MN Hossain, J Wang, O Weisse, R Sekar, D Genkin, B He, SD Stoller, ... 27th USENIX Security Symposium (USENIX Security 18), 1723-1740, 2018	120	2018
Detecting potential deadlocks with static analysis and run-time monitoring R Agarwal, L Wang, SD Stoller Haifa Verification Conference, 191-207, 2005	118	2005
Detecting global predicates in distributed systems with clocks SD Stoller Distributed Computing 13 (2), 85-98, 2000	118	2000
Automated type-based analysis of data races and atomicity A Sasturkar, R Agarwal, L Wang, SD Stoller Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of …, 2005	116	2005
From recursion to iteration: what are the optimizations? YA Liu, SD Stoller Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and …, 1999	116	1999
Towards a framework and a benchmark for testing tools for multi‐threaded programs Y Eytani, K Havelund, SD Stoller, S Ur Concurrency and Computation: Practice and Experience 19 (3), 267-279, 2007	103	2007
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables R Agarwal, SD Stoller Proceedings of the 2006 workshop on Parallel and distributed systems …, 2006	96	2006

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores