Faculty

Institution

Unit

Venue

Scott Stoller

Professor

Stony Brook University

Affiliations

College of Engineering and Applied Sciences

Computer Science

Scott Stoller is currently serving as a College Of Engineering And Applied Sciences Professor at Stony Brook University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Scott Stoller

Stony Brook University

Professor

You can click a keyword to filter the displayed items

computer science systems engineering machine learning computer security information security formal methods access control computer engineering data mining data science software engineering natural language processing software analysis software testing data security swarm intelligence runtime verification communication security collective motion logic in computer science distributed systems automatic control benchmarking tool benchmark studies fault tolerance model checking static analysis mathematical optimization blockchain reliability engineering system safety query optimization attack model fault-tolerant messaging runtime systems fault analysis logic programming multithreaded programs automated reasoning bayesian analysis secure computing fault-tolerant network distributed computing test framework test development concurrency theory aerial robotics automated software engineering dynamic programming bayesian inference supervised learning swarm robotics incremental computation java programs potential deadlocks object abstraction leader election aggregate array computations neural predictive monitoring aspect-oriented instrumentation limited sensing collision avoidance mobile robots global properties relationship-based access control multi-threaded testing tools medical internet research cancer care health technology health care analytics connected health smart health health data ehealth confidential computing trustworthy computing cyber-physical systems cyber security engineering technology cybersecurity education

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

AI‐Grid: AI‐Enabled, Smart Programmable Microgrids. (2024)

Peng ZhangYifan ZhouScott A. SmolkaScott D. StollerXin WangRong ZhaoTianyun LingYucheng XingShouvik RoyAmol Damare

artificial intelligencecomputer sciencesystems engineeringembedded systemselectrical engineeringai architecture

Flock-Formation Control of Multi-Agent Systems Using Imperfect Relative Distance Measurements. (2024)

Andreas BrandstätterScott A. SmolkaScott D. StollerAshish TiwariRadu Grosu

multi-agent systemsflock-formation control

In Situ Resilience Quantification for Microgrids. (2024)

Priyanka MishraPeng ZhangScott A. SmolkaScott D. StollerYifan ZhouYacov A. ShamashDouglas L. Van BossuytWilliam W. Anderson

systems engineeringresilience

The Black-Box Simplex Architecture for Runtime Assurance of Multi-Agent Cps. Innovations in Systems and Software Engineering (2024)

Sanaz SheikhiUsama MehmoodStanley BakScott A. SmolkaScott D. Stoller

black-box simplex architecturecomputer sciencesystems engineeringmulti-agent cpsruntime assurancecomputer engineeringsoftware engineering

TUTORIAL: Consensus Algorithms From Classical to Blockchain: Quickly Program, Configure, Run, and Check. (2024)

Yanhong A. LiuScott D. Stoller

computer scienceblockchain consensus protocolblockchainblockchain protocolsconsensus algorithms

Benchmarking for Integrating Logic Rules With Everything Else. Electronic Proceedings in Theoretical Computer Science (2023)

Yanhong A. LiuScott D. StollerYi TongK. Tuncay Tekle

computer sciencebenchmark studieslogic rulestheoretical computer sciencebenchmarking tool

Debugging Malware Classification Models Based on Event Logs With Explainable AI. 2022 IEEE International Conference on Data Mining Workshops (ICDMW) (2023)

Joon-Young GwakPriti WakodikarMeng WangGuanhua YanXiaokui ShuScott D. StollerPing Yang

computer scienceexplainable aievent logsinformation securitycomputer securitymalware classification modelsdebugger

Integrating Logic Rules With Everything Else, Seamlessly. Theory and Practice of Logic Programming (2023)

YANHONG A. LIUSCOTT D. STOLLERYI TONGBO LIN

computer sciencelogic programminglogic rules

Multi-Agent Spatial Predictive Control With Application to Drone Flocking. (2023)

Andreas BrandstätterScott A. SmolkaScott D. StollerAshish TiwariRadu Grosu

swarm roboticssystems engineeringautomatic controlunmanned aerial vehiclesintelligent systemsdronesintelligent controlcollective motionrobot controlswarm intelligencerobotics

WEBSHEETS: A New Privacy-Centric Framework for Web Applications. (2023)

Scott D. Stoller

privacy engineeringcomputer scienceprivacy protectiontechnologydata privacyweb applicationsprivacy managementubiquitous computingusable privacyworld wide webprivacy by designprivacy frameworkinformation technology

1
2
3
4
5
17
10 / page

Scott Stoller

Professor

Stony Brook University

Affiliations

College of Engineering and Applied Sciences

Computer Science

Scott Stoller is currently serving as a College Of Engineering And Applied Sciences Professor at Stony Brook University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Scott Stoller

Stony Brook University

Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

AI‐Grid: AI‐Enabled, Smart Programmable Microgrids. (2024)

Peng ZhangYifan ZhouScott A. SmolkaScott D. StollerXin WangRong ZhaoTianyun LingYucheng XingShouvik RoyAmol Damare

artificial intelligencecomputer sciencesystems engineeringembedded systemselectrical engineeringai architecture

Flock-Formation Control of Multi-Agent Systems Using Imperfect Relative Distance Measurements. (2024)

Andreas BrandstätterScott A. SmolkaScott D. StollerAshish TiwariRadu Grosu

multi-agent systemsflock-formation control

In Situ Resilience Quantification for Microgrids. (2024)

Priyanka MishraPeng ZhangScott A. SmolkaScott D. StollerYifan ZhouYacov A. ShamashDouglas L. Van BossuytWilliam W. Anderson

systems engineeringresilience

The Black-Box Simplex Architecture for Runtime Assurance of Multi-Agent Cps. Innovations in Systems and Software Engineering (2024)

Sanaz SheikhiUsama MehmoodStanley BakScott A. SmolkaScott D. Stoller

black-box simplex architecturecomputer sciencesystems engineeringmulti-agent cpsruntime assurancecomputer engineeringsoftware engineering

TUTORIAL: Consensus Algorithms From Classical to Blockchain: Quickly Program, Configure, Run, and Check. (2024)

Yanhong A. LiuScott D. Stoller

computer scienceblockchain consensus protocolblockchainblockchain protocolsconsensus algorithms

Benchmarking for Integrating Logic Rules With Everything Else. Electronic Proceedings in Theoretical Computer Science (2023)

Yanhong A. LiuScott D. StollerYi TongK. Tuncay Tekle

computer sciencebenchmark studieslogic rulestheoretical computer sciencebenchmarking tool

Debugging Malware Classification Models Based on Event Logs With Explainable AI. 2022 IEEE International Conference on Data Mining Workshops (ICDMW) (2023)

Joon-Young GwakPriti WakodikarMeng WangGuanhua YanXiaokui ShuScott D. StollerPing Yang

computer scienceexplainable aievent logsinformation securitycomputer securitymalware classification modelsdebugger

Integrating Logic Rules With Everything Else, Seamlessly. Theory and Practice of Logic Programming (2023)

YANHONG A. LIUSCOTT D. STOLLERYI TONGBO LIN

computer sciencelogic programminglogic rules

Multi-Agent Spatial Predictive Control With Application to Drone Flocking. (2023)

Andreas BrandstätterScott A. SmolkaScott D. StollerAshish TiwariRadu Grosu

swarm roboticssystems engineeringautomatic controlunmanned aerial vehiclesintelligent systemsdronesintelligent controlcollective motionrobot controlswarm intelligencerobotics

WEBSHEETS: A New Privacy-Centric Framework for Web Applications. (2023)

Scott D. Stoller

1
2
3
4
5
17
10 / page

Similar Faculty Members

Scott Smolka

Institution

Stony Brook University

general system

mechanical verification

Oleg Sokolsky

Institution

University of Pennsylvania

source code

formal modeling

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Gabor Karsai

Institution

Vanderbilt University

programming tools

visual programming environments

Saumya Debray

Institution

University of Arizona

static program analysis

software security

David Evans

Institution

University of Virginia

computer science

information security

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Stephan Olariu

Institution

Old Dominion University

mobile communication vehicle

system safety

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Similar Faculty Members

Scott Smolka

Institution

Stony Brook University

general system

mechanical verification

Oleg Sokolsky

Institution

University of Pennsylvania

source code

formal modeling

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Gabor Karsai

Institution

Vanderbilt University

programming tools

visual programming environments

Saumya Debray

Institution

University of Arizona

static program analysis

software security

David Evans

Institution

University of Virginia

computer science

information security

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Stephan Olariu

Institution

Old Dominion University

mobile communication vehicle

system safety

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems