Scott D. Stoller

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 80

Top Venues

CoRR

DBSec

SACMAT

Publications

Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. ICRA (2024)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Multi-Agent Spatial Predictive Control with Application to Drone Flocking. ICRA (2023)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
Integrating Logic Rules with Everything Else, Seamlessly. CoRR (2023)
Scott D. Stoller
WebSheets: A New Privacy-Centric Framework for Web Applications. SACMAT (2023)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle
Benchmarking for Integrating Logic Rules with Everything Else. CoRR (2023)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
Integrating Logic Rules with Everything Else, Seamlessly. Theory Pract. Log. Program. 23 (4) (2023)
Usama Mehmood, Shouvik Roy, Amol Damare, Radu Grosu, Scott A. Smolka, Scott D. Stoller
A distributed simplex architecture for multi-agent systems. J. Syst. Archit. 134 (2023)
Joon-Young Gwak, Priti Prabhakar Wakodikar, Meng Wang, Guanhua Yan, Xiaokui Shu, Scott D. Stoller, Ping Yang
Debugging Malware Classification Models Based on Event Logs with Explainable AI. ICDM (Workshops) (2023)
Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. RV (2022)
Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle
Programming with rules and everything else, seamlessly. CoRR (2022)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) (2022)
Yanhong A Liu, Scott D. Stoller
Recursive rules with aggregation: a simple unified semantics. J. Log. Comput. 32 (8) (2022)
Yanhong A. Liu, Scott D. Stoller
Recursive Rules with Aggregation: A Simple Unified Semantics. LFCS (2022)
Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
Runtime-Assured, Real-Time Neural Control of Microgrids. CoRR (2022)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR (2022)
Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. NFM (2022)
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
Safe CPS from Unsafe Controllers. CoRR (2021)
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
Safe CPS from unsafe controllers. CAADCPS@CPSIoTWeek (2021)
Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
A Distributed Simplex Architecture for Multi-agent Systems. SETTA (2021)
Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka
Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Formal Methods in Outer Space (2021)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC (2021)
Yanhong A. Liu, Scott D. Stoller
Knowledge of uncertain worlds: programming with logical constraints. J. Log. Comput. 31 (1) (2021)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Learning Distributed Controllers for V-Formation. ACSOS (2020)
Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. NFM (2020)
Yanhong A. Liu, Scott D. Stoller
Founded semantics and constraint semantics of logic rules. J. Log. Comput. 30 (8) (2020)
Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
A Distributed Simplex Architecture for Multi-Agent Systems. CoRR (2020)
Yanhong A. Liu, Scott D. Stoller
Recursive Rules with Aggregation: A Simple Unified Semantics. CoRR (2020)
Yanhong A. Liu, Scott D. Stoller
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. RV (2020)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Bayesian Neural Predictive Monitoring. OVERLAY (2020)
Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS (2020)
Thang Bui, Scott D. Stoller
Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values. ICISS (2020)
Thang Bui, Scott D. Stoller
A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies. SACMAT (2020)
Yanhong A. Liu, Scott D. Stoller
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. CoRR (2020)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Learning Distributed Controllers for V-Formation. CoRR (2020)
Thang Bui, Scott D. Stoller
Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values. CoRR (2020)
Yanhong A. Liu, Scott D. Stoller
Knowledge of Uncertain Worlds: Programming with Logical Constraints. LFCS (2020)
Thang Bui, Scott D. Stoller
A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies. CoRR (2019)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR (2019)
Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. CoRR (2019)
Thang Bui, Scott D. Stoller, Jiajie Li
Greedy and evolutionary algorithms for mining relationship-based access control policies. Comput. Secur. 80 (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems (2019)
Scott D. Stoller, Yanhong A. Liu
Algorithm Diversity for Resilient Systems. DBSec (2019)
Thang Bui, Scott D. Stoller, Hieu Le
Efficient and Extensible Policy Mining for Relationship-Based Access Control. CoRR (2019)
Yanhong A. Liu, Scott D. Stoller
Knowledge of Uncertain Worlds: Programming with Logical Constraints. CoRR (2019)
Thang Bui, Scott D. Stoller, Hieu Le
Efficient and Extensible Policy Mining for Relationship-Based Access Control. SACMAT (2019)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural state classification for hybrid systems. SNR (2019)
Yanhong A. Liu, Scott D. Stoller
From Classical to Blockchain Consensus: What Are the Exact Algorithms? PODC (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Predictive Monitoring. RV (2019)
Yanhong A. Liu, Saksham Chand, Scott D. Stoller
Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. PPDP (2019)
Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu
High-Level Cryptographic Abstractions. PLAS@CCS (2019)
Scott D. Stoller, Yanhong A. Liu
Algorithm Diversity for Resilient Systems. CoRR (2019)
Md Nahid Hossain, Sadegh M. Milajerdi, Junao Wang, Birhanu Eshete, Rigel Gjomemo, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan
SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data. CoRR (2018)
Yanhong A. Liu, Scott D. Stoller
Founded Semantics and Constraint Semantics of Logic Rules. LFCS (2018)
Thang Bui, Scott D. Stoller, Jiajie Li
Mining Relationship-Based Access Control Policies from Incomplete and Noisy Data. FPS (2018)
Scott D. Stoller, Thang Bui
Mining hierarchical temporal roles with multiple metrics. J. Comput. Secur. 26 (1) (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. CoRR (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. ATVA (2018)
Md Nahid Hossain, Junao Wang, R. Sekar, Scott D. Stoller
Dependence-Preserving Data Compaction for Scalable Forensic Analysis. USENIX Security Symposium (2018)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs rule-based control for flocking dynamics. SAC (2018)
Yanhong A. Liu, Scott D. Stoller, Bo Lin
From Clarity to Efficiency for Distributed Algorithms. ACM Trans. Program. Lang. Syst. 39 (3) (2017)
Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
Model Checking Cyber-Physical Systems using Particle Swarm Optimization. CoRR (2017)
Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. SAFECOMP (2017)
Yanhong A. Liu, Saksham Chand, Scott D. Stoller
Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm. CoRR (2017)
Thang Bui, Scott D. Stoller, Jiajie Li
Mining Relationship-Based Access Control Policies. CoRR (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR (2017)
Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
How to Learn a Model Checker. CoRR (2017)
Thang Bui, Scott D. Stoller, Shikhar Sharma
Fast Distributed Evaluation of Stateful Attribute-Based Access Control Policies. DBSec (2017)
Thang Bui, Scott D. Stoller, Jiajie Li
Mining Relationship-Based Access Control Policies. SACMAT (2017)
Md Nahid Hossain, Sadegh M. Milajerdi, Junao Wang, Birhanu Eshete, Rigel Gjomemo, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan
SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data. USENIX Security Symposium (2017)
Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst. Des. 51 (1) (2017)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs Rule-based Control for Flocking Dynamics. CoRR (2017)
Birhanu Eshete, Rigel Gjomemo, Md Nahid Hossain, Sadegh Momeni, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan, Junao Wang
Attack Analysis Results for Adversarial Engagement 1 of the DARPA Transparent Computing Program. CoRR (2016)
Scott D. Stoller, Thang Bui
Mining Hierarchical Temporal Roles with Multiple Metrics. DBSec (2016)
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
Formal Verification of Multi-Paxos for Distributed Consensus. CoRR (2016)
Scott D. Stoller, Thang Bui
Mining Hierarchical Temporal Roles with Multiple Metrics. CoRR (2016)
Yanhong A. Liu, Scott D. Stoller
The Founded Semantics and Constraint Semantics of Logic Rules. CoRR (2016)
Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
Demand-driven incremental object queries. PPDP (2016)
Saksham Chand, Yanhong A. Liu, Scott D. Stoller
Formal Verification of Multi-Paxos for Distributed Consensus. FM (2016)
Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
Demand-Driven Incremental Object Queries. CoRR (2015)
Scott D. Stoller
An Administrative Model for Relationship-Based Access Control. DBSec (2015)
Zhongyuan Xu, Scott D. Stoller
Mining Attribute-Based Access Control Policies. IEEE Trans. Dependable Secur. Comput. 12 (5) (2015)
Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
A survey on unmanned aerial vehicle collision avoidance systems. CoRR (2015)
Ping Yang, Mikhail I. Gofman, Scott D. Stoller, Zijiang Yang
Policy analysis for administrative role based access control without separate administration. J. Comput. Secur. 23 (1) (2015)
Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. RV (2015)
Yanhong A. Liu, Scott D. Stoller, Bo Lin
From Clarity to Efficiency for Distributed Algorithms. CoRR (2014)
Zhongyuan Xu, Scott D. Stoller
Mining Attribute-Based Access Control Policies from Logs. DBSec (2014)
Puneet Gupta, Scott D. Stoller, Zhongyuan Xu
Abductive Analysis of Administrative Policies in Rule-Based Access Control. IEEE Trans. Dependable Secur. Comput. 11 (5) (2014)
Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. EDCC (2014)
Zhongyuan Xu, Scott D. Stoller
Mining Attribute-Based Access Control Policies from Logs. CoRR (2014)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Using Statistical Model Checking for Measuring Systems. ISoLA (2) (2014)
Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
Compositional Branching-Time Measurements. FPS@ETAPS (2014)
Zhongyuan Xu, Scott D. Stoller
Mining parameterized role-based policies. CODASPY (2013)
Zhongyuan Xu, Scott D. Stoller
Mining Attribute-based Access Control Policies. CoRR (2013)
Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
Runtime Verification with Particle Filtering. RV (2013)
Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel
Composing transformations for instrumentation and optimization. PEPM (2012)
Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. 14 (3) (2012)
Yanhong A. Liu, Scott D. Stoller, Bo Lin
High-Level Executable Specifications of Distributed Algorithms. SSS (2012)
Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. 41 (3) (2012)

Scott D. Stoller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Scott D. Stoller