World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
45
Citations
6245
World Ranking
7318
National Ranking
3187

Overview

Scott D. Stoller is affiliated with Stony Brook University in the United States. Their research primarily spans the fields of Computer Science and Engineering, with a focus on various subfields including Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Control and Systems Engineering, and Safety, Risk, Reliability and Quality.

The scientist's work covers multiple research topics such as:

  • Logic, Reasoning, and Knowledge
  • Semantic Web and Ontologies
  • Formal Methods in Verification
  • Adversarial Robustness in Machine Learning
  • Smart Grid Security and Resilience
  • Safety Systems Engineering in Autonomy
  • Logic, programming, and type systems

Scott D. Stoller has contributed to various publication venues. The most frequent include:

  • arXiv (Cornell University)
  • Electronic Proceedings in Theoretical Computer Science
  • Journal of Logic and Computation
  • Lecture Notes in Computer Science
  • Journal of Medical Internet Research

Selected recent papers include:

  • ACTION-EHR: Patient-Centric Blockchain-Based Electronic Health Record Data Management for Cancer Care, 2020, Journal of Medical Internet Research
  • Neural predictive monitoring and a comparison of frequentist and Bayesian approaches, 2021, International Journal on Software Tools for Technology Transfer
  • A distributed simplex architecture for multi-agent systems, 2022, Journal of Systems Architecture
  • Founded semantics and constraint semantics of logic rules, 2020, Journal of Logic and Computation
  • Knowledge of uncertain worlds: programming with logical constraints, 2020, Journal of Logic and Computation

Scott D. Stoller has published a book titled Data and Applications Security and Privacy XXXVI through Springer Science+Business Media in 2022.

The scientist collaborates regularly with a group of co-authors, including:

  • Scott A. Smolka
  • Yanhong A. Liu
  • Radu Grosu
  • Usama Mehmood
  • Shouvik Roy

Best Publications

  • Runtime analysis of atomicity for multithreaded programs

    L. Wang;S.D. Stoller

  • ACTION-EHR: Patient-Centric Blockchain-Based Electronic Health Record Data Management for Cancer Care.

    Alevtina Dubovitskaya;Alevtina Dubovitskaya;Furqan Baig;Zhigang Xu;Rohit Shukla

  • Mining Attribute-Based Access Control Policies

    Zhongyuan Xu;Scott D. Stoller

  • Testing Concurrent Java Programs using Randomized Scheduling

    Scott D. Stoller

  • Efficient policy analysis for administrative role based access control

    Scott D. Stoller;Ping Yang;C R. Ramakrishnan;Mikhail I. Gofman

  • Cryptographic support for fault-tolerant distributed computing

    Yaron Minsky;Robbert van Renesse;Fred B. Schneider;Scott D. Stoller

  • Model-Checking Multi-threaded Distributed Java Programs

    Scott D. Stoller

  • Model-checking multi-threaded distributed Java programs

    Scott D. Stoller

  • Runtime verification with state estimation

    Scott D. Stoller;Ezio Bartocci;Justin Seyster;Radu Grosu

  • Accurate and efficient runtime detection of atomicity errors in concurrent programs

    Liqiang Wang;Scott D. Stoller

  • Policy analysis for Administrative Role-Based Access Control

    Amit Sasturkar;Ping Yang;Scott D. Stoller;C. R. Ramakrishnan

  • Static caching for incremental computation

    Yanhong A. Liu;Scott D. Stoller;Tim Teitelbaum

  • Leader Election in Distributed Systems with Crash Failures

    Scott D. Stoller

  • Automated type-based analysis of data races and atomicity

    Amit Sasturkar;Rahul Agarwal;Liqiang Wang;Scott D. Stoller

  • Detecting potential deadlocks with static analysis and run-time monitoring

    Rahul Agarwal;Liqiang Wang;Scott D. Stoller

  • Detecting global predicates in distributed systems with clocks

    Scott D. Stoller

  • From recursion to iteration: what are the optimizations?

    Yanhong A. Liu;Scott D. Stoller

  • Towards a framework and a benchmark for testing tools for multi‐threaded programs

    Yaniv Eytani;Klaus Havelund;Scott D. Stoller;Shmuel Ur

  • Policy analysis for administrative role based access control

    A. Sasturkar;Ping Yang;S.D. Stoller;C.R. Ramakrishnan

  • Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables

    Rahul Agarwal;Scott D. Stoller

  • {SLEUTH}: Real-time Attack Scenario Reconstruction from {COTS} Audit Data

    Nahid Hossain;Sadegh M. Milajerdi;Junao Wang;Birhanu Eshete

  • Mining Attribute-Based Access Control Policies from Logs

    Zhongyuan Xu;Scott D. Stoller

Frequent Co-Authors

Scott A. Smolka
Scott A. Smolka Stony Brook University
Radu Grosu
Radu Grosu TU Wien
Erez Zadok
Erez Zadok Stony Brook University
Klaus Havelund
Klaus Havelund Jet Propulsion Lab
Ashish Tiwari
Ashish Tiwari Microsoft (United States)
R. C. Sekar
R. C. Sekar Stony Brook University
Fred B. Schneider
Fred B. Schneider Cornell University
V. N. Venkatakrishnan
V. N. Venkatakrishnan University of Illinois at Chicago
Doron Peled
Doron Peled Bar-Ilan University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees can create flexible pathways into technology and business industries. Prospective students can begin with an online associate degree, providing a fast entry point for IT basics and foundational skills.

Those aiming for academic leadership or advanced research roles may consider affordable online doctoral programs in technology or related fields. These programs often offer significant cost savings and the flexibility needed for professionals balancing work and study.

Aspiring educators seeking leadership roles in higher education might find value in accelerated edd programs online, which can fast-track their qualifications and career progression.

For those interested in the intersection of technology and business, pursuing one of the best online business degree programs can open doors to roles in tech management, entrepreneurship, or consulting.

Online education offers flexible options at every stage—from associate to doctorate—helping students tailor their educational journey to their career goals and current life commitments.

Best Scientists Citing Scott D. Stoller

Trending Scientists

Recently Published Articles