Scott D. Stoller

209 papers A* 14A 9B 29C 21Misc 10Journal 75Unranked 46

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Automatically Tightening Access Control Policies with Restricter. TACAS (1) Ka Lok Wu, Christa Jenkins, Scott D. Stoller, Omar Chowdhury
2026	J	`jnl`	Automatically Tightening Access Control Policies with Restricter. CoRR Ka Lok Wu, Christa Jenkins, Scott D. Stoller, Omar Chowdhury
2025	J	`jnl`	A Barrier Certificate-Based Simplex Architecture for Systems With Approximate and Hybrid Dynamics. IEEE Access Amol Damare, Shouvik Roy, Roshan Sharma, Keith D'Souza, Scott A. Smolka, Scott D. Stoller
2025	J	`jnl`	Cumulative-Time Signal Temporal Logic. CoRR Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Shan Lin
2025	J	`jnl`	Cumulative-Time Signal Temporal Logic. ACM Trans. Embed. Comput. Syst. Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Shan Lin
2025	J	`jnl`	Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference. CoRR Yanhong A. Liu, Scott D. Stoller, John Idogun, Yi Tong
2025	C	`ed.`	Proceedings of the 30th ACM Symposium on Access Control Models and Technologies, SACMAT 2025, Stony Brook, NY, USA, 10 July 2025 SACMAT Scott D. Stoller, Omar Chowdhury, Adam J. Lee, Amir Masoumzadeh
2025	—	`conf`	Resilience Through Automated Adaptive Configuration for Distribution and Replication. SPIN Scott D. Stoller, Balaji Jayasankar, Yanhong A. Liu
2025	J	`jnl`	Resilience through Automated Adaptive Configuration for Distribution and Replication. CoRR Scott D. Stoller, Balaji Jayasankar, Yanhong A. Liu
2025	J	`jnl`	The black-box simplex architecture for runtime assurance of multi-agent CPS. Innov. Syst. Softw. Eng. Sanaz Sheikhi, Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2024	A*	`conf`	Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. ICRA Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2024	—	`conf`	Graphite: Real-Time Graph-Based Detection of Windows Fileless Malware Attacks. SecureComm (3) Priti Prabhakar Wakodikar, Joon-Young Gwak, Meng Wang, Guanhua Yan, Xiaokui Shu, Scott D. Stoller, Ping Yang
2024	—	`conf`	Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check. ICDCSW Yanhong A. Liu, Scott D. Stoller
2023	J	`jnl`	A distributed simplex architecture for multi-agent systems. J. Syst. Archit. Usama Mehmood, Shouvik Roy, Amol Damare, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2023	B	`conf`	Benchmarking for Integrating Logic Rules with Everything Else. ICLP Yanhong A. Liu, Scott D. Stoller, Yi Tong, K. Tuncay Tekle
2023	—	`conf`	Debugging Malware Classification Models Based on Event Logs with Explainable AI. ICDM (Workshops) Joon-Young Gwak, Priti Prabhakar Wakodikar, Meng Wang, Guanhua Yan, Xiaokui Shu, Scott D. Stoller, Ping Yang
2023	J	`jnl`	Integrating Logic Rules with Everything Else, Seamlessly. CoRR Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
2023	J	`jnl`	Integrating Logic Rules with Everything Else, Seamlessly. Theory Pract. Log. Program. Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin
2023	A*	`conf`	Multi-Agent Spatial Predictive Control with Application to Drone Flocking. ICRA Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2023	C	`conf`	WebSheets: A New Privacy-Centric Framework for Web Applications. SACMAT Scott D. Stoller
2022	B	`conf`	A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. RV Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
2022	J	`jnl`	Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2022	J	`jnl`	Programming with rules and everything else, seamlessly. CoRR Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle
2022	Misc	`conf`	Recursive Rules with Aggregation: A Simple Unified Semantics. LFCS Yanhong A. Liu, Scott D. Stoller
2022	J	`jnl`	Recursive rules with aggregation: a simple unified semantics. J. Log. Comput. Yanhong A. Liu, Scott D. Stoller
2022	J	`jnl`	Runtime-Assured, Real-Time Neural Control of Microgrids. CoRR Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
2022	—	`conf`	The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. NFM Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2022	—	`conf`	Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2021	Misc	`conf`	A Distributed Simplex Architecture for Multi-agent Systems. SETTA Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
2021	—	`conf`	Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Formal Methods in Outer Space Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka
2021	C	`conf`	Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2021	J	`jnl`	Knowledge of uncertain worlds: programming with logical constraints. J. Log. Comput. Yanhong A. Liu, Scott D. Stoller
2021	J	`jnl`	Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2021	J	`jnl`	Safe CPS from Unsafe Controllers. CoRR Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2021	—	`conf`	Safe CPS from unsafe controllers. CAADCPS@CPSIoTWeek Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2020	C	`conf`	A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies. SACMAT Thang Bui, Scott D. Stoller
2020	J	`jnl`	A Distributed Simplex Architecture for Multi-Agent Systems. CoRR Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
2020	B	`conf`	Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. RV Yanhong A. Liu, Scott D. Stoller
2020	J	`jnl`	Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. CoRR Yanhong A. Liu, Scott D. Stoller
2020	—	`conf`	Bayesian Neural Predictive Monitoring. OVERLAY Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	J	`jnl`	Founded semantics and constraint semantics of logic rules. J. Log. Comput. Yanhong A. Liu, Scott D. Stoller
2020	Misc	`conf`	Knowledge of Uncertain Worlds: Programming with Logical Constraints. LFCS Yanhong A. Liu, Scott D. Stoller
2020	Misc	`conf`	Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values. ICISS Thang Bui, Scott D. Stoller
2020	J	`jnl`	Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values. CoRR Thang Bui, Scott D. Stoller
2020	—	`conf`	Learning Distributed Controllers for V-Formation. ACSOS Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	J	`jnl`	Learning Distributed Controllers for V-Formation. CoRR Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	B	`conf`	Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	—	`conf`	Neural Simplex Architecture. NFM Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	C	`ed.`	Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, SACMAT 2020, Barcelona, Spain, June 10-12, 2020. SACMAT Jorge Lobo, Scott D. Stoller, Peng Liu
2020	J	`jnl`	Recursive Rules with Aggregation: A Simple Unified Semantics. CoRR Yanhong A. Liu, Scott D. Stoller
2019	J	`jnl`	A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies. CoRR Thang Bui, Scott D. Stoller
2019	B	`conf`	Algorithm Diversity for Resilient Systems. DBSec Scott D. Stoller, Yanhong A. Liu
2019	J	`jnl`	Algorithm Diversity for Resilient Systems. CoRR Scott D. Stoller, Yanhong A. Liu
2019	—	`conf`	Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
2019	C	`conf`	Efficient and Extensible Policy Mining for Relationship-Based Access Control. SACMAT Thang Bui, Scott D. Stoller, Hieu Le
2019	J	`jnl`	Efficient and Extensible Policy Mining for Relationship-Based Access Control. CoRR Thang Bui, Scott D. Stoller, Hieu Le
2019	A*	`conf`	From Classical to Blockchain Consensus: What Are the Exact Algorithms? PODC Yanhong A. Liu, Scott D. Stoller
2019	J	`jnl`	Greedy and evolutionary algorithms for mining relationship-based access control policies. Comput. Secur. Thang Bui, Scott D. Stoller, Jiajie Li
2019	—	`conf`	High-Level Cryptographic Abstractions. PLAS@CCS Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu
2019	J	`jnl`	Knowledge of Uncertain Worlds: Programming with Logical Constraints. CoRR Yanhong A. Liu, Scott D. Stoller
2019	C	`conf`	Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. PPDP Yanhong A. Liu, Saksham Chand, Scott D. Stoller
2019	J	`jnl`	Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2019	B	`conf`	Neural Predictive Monitoring. RV Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2019	J	`jnl`	Neural Simplex Architecture. CoRR Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
2019	—	`conf`	Neural state classification for hybrid systems. SNR Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	Misc	`conf`	Declarative vs rule-based control for flocking dynamics. SAC Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2018	A*	`conf`	Dependence-Preserving Data Compaction for Scalable Forensic Analysis. USENIX Security Symposium Md Nahid Hossain, Junao Wang, R. Sekar, Scott D. Stoller
2018	Misc	`conf`	Founded Semantics and Constraint Semantics of Logic Rules. LFCS Yanhong A. Liu, Scott D. Stoller
2018	—	`conf`	Mining Relationship-Based Access Control Policies from Incomplete and Noisy Data. FPS Thang Bui, Scott D. Stoller, Jiajie Li
2018	J	`jnl`	Mining hierarchical temporal roles with multiple metrics. J. Comput. Secur. Scott D. Stoller, Thang Bui
2018	B	`conf`	Neural State Classification for Hybrid Systems. ATVA Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	J	`jnl`	Neural State Classification for Hybrid Systems. CoRR Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	J	`jnl`	SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data. CoRR Md Nahid Hossain, Sadegh M. Milajerdi, Junao Wang, Birhanu Eshete, Rigel Gjomemo, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan
2017	—	`conf`	A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017	J	`jnl`	A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017	B	`conf`	A Simplex Architecture for Hybrid Systems Using Barrier Certificates. SAFECOMP Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
2017	J	`jnl`	Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst. Des. Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2017	J	`jnl`	Declarative vs Rule-based Control for Flocking Dynamics. CoRR Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017	B	`conf`	Fast Distributed Evaluation of Stateful Attribute-Based Access Control Policies. DBSec Thang Bui, Scott D. Stoller, Shikhar Sharma
2017	J	`jnl`	From Clarity to Efficiency for Distributed Algorithms. ACM Trans. Program. Lang. Syst. Yanhong A. Liu, Scott D. Stoller, Bo Lin
2017	J	`jnl`	How to Learn a Model Checker. CoRR Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2017	C	`conf`	Mining Relationship-Based Access Control Policies. SACMAT Thang Bui, Scott D. Stoller, Jiajie Li
2017	J	`jnl`	Mining Relationship-Based Access Control Policies. CoRR Thang Bui, Scott D. Stoller, Jiajie Li
2017	J	`jnl`	Model Checking Cyber-Physical Systems using Particle Swarm Optimization. CoRR Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
2017	J	`jnl`	Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm. CoRR Yanhong A. Liu, Saksham Chand, Scott D. Stoller
2017	A*	`conf`	SLEUTH: Real-time Attack Scenario Reconstruction from COTS Audit Data. USENIX Security Symposium Md Nahid Hossain, Sadegh M. Milajerdi, Junao Wang, Birhanu Eshete, Rigel Gjomemo, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan
2016	J	`jnl`	Attack Analysis Results for Adversarial Engagement 1 of the DARPA Transparent Computing Program. CoRR Birhanu Eshete, Rigel Gjomemo, Md Nahid Hossain, Sadegh Momeni, R. Sekar, Scott D. Stoller, V. N. Venkatakrishnan, Junao Wang
2016	C	`conf`	Demand-driven incremental object queries. PPDP Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
2016	B	`conf`	Formal Verification of Multi-Paxos for Distributed Consensus. FM Saksham Chand, Yanhong A. Liu, Scott D. Stoller
2016	J	`jnl`	Formal Verification of Multi-Paxos for Distributed Consensus. CoRR Saksham Chand, Yanhong A. Liu, Scott D. Stoller
2016	B	`conf`	Mining Hierarchical Temporal Roles with Multiple Metrics. DBSec Scott D. Stoller, Thang Bui
2016	J	`jnl`	Mining Hierarchical Temporal Roles with Multiple Metrics. CoRR Scott D. Stoller, Thang Bui
2016	J	`jnl`	The Founded Semantics and Constraint Semantics of Logic Rules. CoRR Yanhong A. Liu, Scott D. Stoller
2015	J	`jnl`	A survey on unmanned aerial vehicle collision avoidance systems. CoRR Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
2015	B	`conf`	An Administrative Model for Relationship-Based Access Control. DBSec Scott D. Stoller
2015	B	`conf`	Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. RV Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2015	J	`jnl`	Demand-Driven Incremental Object Queries. CoRR Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin
2015	J	`jnl`	Mining Attribute-Based Access Control Policies. IEEE Trans. Dependable Secur. Comput. Zhongyuan Xu, Scott D. Stoller
2015	J	`jnl`	Policy analysis for administrative role based access control without separate administration. J. Comput. Secur. Ping Yang, Mikhail I. Gofman, Scott D. Stoller, Zijiang Yang
2014	J	`jnl`	Abductive Analysis of Administrative Policies in Rule-Based Access Control. IEEE Trans. Dependable Secur. Comput. Puneet Gupta, Scott D. Stoller, Zhongyuan Xu
2014	—	`conf`	Compositional Branching-Time Measurements. FPS@ETAPS Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2014	J	`jnl`	From Clarity to Efficiency for Distributed Algorithms. CoRR Yanhong A. Liu, Scott D. Stoller, Bo Lin
2014	B	`conf`	Mining Attribute-Based Access Control Policies from Logs. DBSec Zhongyuan Xu, Scott D. Stoller
2014	J	`jnl`	Mining Attribute-Based Access Control Policies from Logs. CoRR Zhongyuan Xu, Scott D. Stoller
2014	Misc	`conf`	Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. EDCC Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller
2014	—	`conf`	Using Statistical Model Checking for Measuring Systems. ISoLA (2) Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2013	J	`jnl`	Mining Attribute-based Access Control Policies. CoRR Zhongyuan Xu, Scott D. Stoller
2013	—	`conf`	Mining parameterized role-based policies. CODASPY Zhongyuan Xu, Scott D. Stoller
2013	B	`conf`	Runtime Verification with Particle Filtering. RV Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
2012	B	`conf`	Adaptive Runtime Verification. RV Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
2012	C	`conf`	Algorithms for mining meaningful roles. SACMAT Zhongyuan Xu, Scott D. Stoller
2012	C	`conf`	Composing transformations for instrumentation and optimization. PEPM Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel
2012	A	`conf`	From clarity to efficiency for distributed algorithms. OOPSLA Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski
2012	C	`conf`	High-Level Executable Specifications of Distributed Algorithms. SSS Yanhong A. Liu, Scott D. Stoller, Bo Lin
2012	J	`jnl`	InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2012	J	`jnl`	Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	Misc	`conf`	Abductive Analysis of Administrative Policies in Rule-Based Access Control. ICISS Puneet Gupta, Scott D. Stoller, Zhongyuan Xu
2011	—	`conf`	Model discovery for energy-aware computing systems: An experimental evaluation. IGCC Zhichao Li, Radu Grosu, Koundinya Muppalla, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	Misc	`conf`	On the energy consumption and performance of systems software. SYSTOR Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	J	`jnl`	Policy analysis for Administrative Role-Based Access Control. Theor. Comput. Sci. Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
2011	—	`conf`	Redflag: A Framework for Analysis of Kernel-Level Concurrency. ICA3PP (1) Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok
2011	B	`conf`	Runtime Verification with State Estimation. RV Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
2011	J	`jnl`	Symbolic reachability analysis for parameterized administrative role-based access control. Comput. Secur. Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan
2011	—	`ch.`	Trust Management in Databases. Encyclopedia of Cryptography and Security (2nd Ed.) Scott D. Stoller
2010	C	`conf`	Alias analysis for optimization of dynamic languages. DLS Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle
2010	B	`conf`	Aspect-Oriented Instrumentation with GCC. RV Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2010	J	`jnl`	Detection of deadlock potentials in multithreaded programs. IBM J. Res. Dev. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang
2010	B	`conf`	Trust management for Web Services. CNSM Scott D. Stoller
2009	B	`conf`	A language and framework for invariant-driven transformations. GPCE Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
2009	J	`jnl`	From datalog rules to efficient programs with time and space guarantees. ACM Trans. Program. Lang. Syst. Yanhong A. Liu, Scott D. Stoller
2009	B	`conf`	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. FASE Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller
2009	C	`conf`	Parametric heap usage analysis for functional programs. ISMM Leena Unnikrishnan, Scott D. Stoller
2009	A	`conf`	RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. TACAS Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller
2009	C	`conf`	Symbolic reachability analysis for parameterized administrative role based access control. SACMAT Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan
2009	Misc	`conf`	Verification of Security Policy Enforcement in Enterprise Systems. SEC Puneet Gupta, Scott D. Stoller
2008	A	`conf`	6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA Shmuel Ur, Scott D. Stoller, Eitan Farchi
2008	C	`conf`	Analysis and Transformations for Efficient Query-Based Debugging. SCAM Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
2008	—	`conf`	Efficient runtime invariant checking: a framework and case study. WODA Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2008	A	`conf`	Software monitoring with bounded overhead. IPDPS Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2008	—	`conf`	Trust Management and Trust Negotiation in an Extension of SQL. TGC Scott D. Stoller
2007	A*	`conf`	Efficient policy analysis for administrative role based access control. CCS Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman
2007	—	`conf`	Security policy analysis using deductive spreadsheets. FMSE Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren
2007	J	`jnl`	Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurr. Comput. Pract. Exp. Yaniv Eytani, Klaus Havelund, Scott D. Stoller, Shmuel Ur
2006	B	`conf`	Accurate and efficient runtime detection of atomicity errors in concurrent programs. PPoPP Liqiang Wang, Scott D. Stoller
2006	—	`conf`	Efficient type inference for secure information flow. PLAS Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2006	J	`jnl`	Optimistic synchronization-based state-space reduction. Formal Methods Syst. Des. Scott D. Stoller, Ernie Cohen
2006	—	`conf`	Policy Analysis for Administrative Role Based Access Control. CSFW Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan
2006	—	`ed.`	Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV 2005, Edinburgh, UK, July 11, 2005 SoftMC@CAV Byron Cook, Scott D. Stoller, Willem Visser
2006	C	`conf`	Querying Complex Graphs. PADL Yanhong A. Liu, Scott D. Stoller
2006	—	`conf`	Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. PADTAD Rahul Agarwal, Scott D. Stoller
2006	J	`jnl`	Runtime Analysis of Atomicity for Multithreaded Programs. IEEE Trans. Software Eng. Liqiang Wang, Scott D. Stoller
2005	J	`jnl`	Automated Analysis of Fault-Tolerance in Distributed Systems. Formal Methods Syst. Des. Scott D. Stoller, Fred B. Schneider
2005	B	`conf`	Automated type-based analysis of data races and atomicity. PPoPP Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller
2005	—	`conf`	Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. Haifa Verification Conference Rahul Agarwal, Liqiang Wang, Scott D. Stoller
2005	J	`jnl`	Foreword. Formal Methods Syst. Des. Scott D. Stoller, Willem Visser
2005	—	`conf`	Implementing incrementalization across object abstraction. OOPSLA Companion Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2005	A	`conf`	Incrementalization across object abstraction. OOPSLA Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
2005	A*	`conf`	Optimized run-time race detection and atomicity checking using partial discovered types. ASE Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller
2005	J	`jnl`	Optimizing aggregate array computations in loops. ACM Trans. Program. Lang. Syst. Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel
2005	—	`conf`	Preface. SoftMC@CAV Byron Cook, Scott D. Stoller, Willem Visser
2005	B	`conf`	Static analysis of atomicity for programs with non-blocking synchronization. PPoPP Liqiang Wang, Scott D. Stoller
2004	A*	`conf`	Parametric regular path queries. PLDI Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu
2004	B	`conf`	Type Inference for Parameterized Race-Free Java. VMCAI Rahul Agarwal, Scott D. Stoller
2003	—	`ed.`	2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado, USA, July 14, 2003 SoftMC Byron Cook, Scott D. Stoller, Willem Visser
2003	A	`conf`	Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS Klaus Havelund, Scott D. Stoller, Shmuel Ur
2003	J	`jnl`	Dynamic Programming via Static Incrementalization. High. Order Symb. Comput. Yanhong A. Liu, Scott D. Stoller
2003	J	`jnl`	Eliminating dead code on recursive data. Sci. Comput. Program. Yanhong A. Liu, Scott D. Stoller
2003	C	`conf`	From datalog rules to efficient programs with time and space guarantees. PPDP Yanhong A. Liu, Scott D. Stoller
2003	A	`conf`	Optimistic Synchronization-Based State-Space Reduction. TACAS Scott D. Stoller, Ernie Cohen
2003	B	`conf`	Optimized Live Heap Bound Analysis. VMCAI Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
2003	C	`conf`	Optimizing Ackermann's function by incrementalization. PEPM Yanhong A. Liu, Scott D. Stoller
2003	—	`conf`	Run-Time Analysis for Atomicity. RV@CAV Liqiang Wang, Scott D. Stoller
2003	—	`conf`	SoftMC 2003: Workshop on Software Model Checking. SoftMC@CAV Byron Cook, Scott D. Stoller, Willem Visser
2002	—	`conf`	A Bound on Attacks on Authentication Protocols. IFIP TCS Scott D. Stoller
2002	A	`conf`	Domain partitioning for open reactive systems. ISSTA Scott D. Stoller
2002	J	`jnl`	Model-checking multi-threaded distributed Java programs. Int. J. Softw. Tools Technol. Transf. Scott D. Stoller
2002	C	`conf`	Program optimization using indexed and recursive data structures. PEPM Yanhong A. Liu, Scott D. Stoller
2002	—	`conf`	Testing Concurrent Java Programs using Randomized Scheduling. RV@FLoC Scott D. Stoller
2001	A*	`conf`	A Bound on Attacks on Payment Protocols. LICS Scott D. Stoller
2001	A*	`conf`	Automated Software Engineering Using Concurrent Class Machines. ASE Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan
2001	—	`conf`	Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. LCTES/OM Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
2001	—	`conf`	Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. OM@PLDI Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu
2001	—	`conf`	Preface. Workshop on Software Model Checking @ CAV Scott D. Stoller, Willem Visser
2001	B	`conf`	Solving Regular Tree Grammar Based Constraints. SAS Yanhong A. Liu, Ning Li, Scott D. Stoller
2001	J	`jnl`	Strengthening invariants for efficient computation. Sci. Comput. Program. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
2001	—	`conf`	Transformations for Model Checking Distributed Java Programs. SPIN Scott D. Stoller, Yanhong A. Liu
2001	—	`ed.`	Workshop on Software Model Checking 2001, in connection with CAV 2001, Paris, France, July 23, 2001 Workshop on Software Model Checking@CAV Scott D. Stoller, Willem Visser
2000	J	`jnl`	Detecting Global Predicates in Distributed Systems with Clocks. Distributed Comput. Scott D. Stoller
2000	A*	`conf`	Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. CAV Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu
2000	C	`conf`	From Recursion to Iteration: What are the Optimizations? PEPM Yanhong A. Liu, Scott D. Stoller
2000	J	`jnl`	Leader Election in Asynchronous Distributed Systems. IEEE Trans. Computers Scott D. Stoller
2000	—	`conf`	Model-Checking Multi-threaded Distributed Java Programs. SPIN Scott D. Stoller
1999	A	`conf`	Dynamic Programming via Static Incrementalization. ESOP Yanhong A. Liu, Scott D. Stoller
1999	J	`jnl`	ETAPS '99 - Conference Report. ACM SIGPLAN Notices Yanhong A. Liu, Scott D. Stoller
1999	B	`conf`	Eliminating Dead Code on Recursive Data. SAS Yanhong A. Liu, Scott D. Stoller
1999	A*	`conf`	Lower and Upper Bounds for Attacks on Authentication Protocols. PODC Scott D. Stoller
1998	—	`conf`	Automated Stream-Based Analysis of Fault-Tolerance. FTRTFT Scott D. Stoller, Fred B. Schneider
1998	A*	`conf`	Efficient Symbolic Detection of Global Properties in Distributed Systems. CAV Scott D. Stoller, Yanhong A. Liu
1998	—	`conf`	Loop Optimization for Aggregate Array Computations. ICCL Yanhong A. Liu, Scott D. Stoller
1998	J	`jnl`	Static Caching for Incremental Computation. ACM Trans. Program. Lang. Syst. Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
1997	—	`—`	A Method and Tool for Analyzing Faulty-Tolerance in Systems. Scott D. Stoller
1997	—	`conf`	Detecting Global Predicates in Distributed Systems with Clocks. WDAG Scott D. Stoller
1996	—	`conf`	Cryptographic support for fault-tolerant distributed computing. ACM SIGOPS European Workshop Yaron Minsky, Robbert van Renesse, Fred B. Schneider, Scott D. Stoller
1996	A*	`conf`	Discovering Auxiliary Information for Incremental Computation. POPL Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
1995	—	`conf`	Faster Possibility Detection by Combining Two Approaches. WDAG Scott D. Stoller, Fred B. Schneider
1995	B	`conf`	Storage Replication and Layout in Video-on-Demand Servers. NOSSDAV Scott D. Stoller, John DeTreville
1995	J	`jnl`	Verifying Programs That Use Causally-Ordered Message-Passing. Sci. Comput. Program. Scott D. Stoller, Fred B. Schneider
1994	J	`jnl`	Addendum to "Proof Rules for Flush Channels". IEEE Trans. Software Eng. Scott D. Stoller
1994	—	`conf`	An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. TACS Douglas J. Howe, Scott D. Stoller