A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink. - Jason Stanley; Robert Shendock; Kenneth J. Witt; Dan Mandl (Software Engineering Research and Practice, 2005)

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. - Hongwei Liao; Jason Stanley; Yin Wang 001; Stéphane Lafortune; Spyros A. Reveliotis; Scott A. Mahlke (CDC/ECC, 2011)

Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks. - Gowtham Bellala; Jason Stanley; Clayton Scott; Suresh K. Bhavnani (UAI, 2011)

Explicit storage and analysis of billions of states using commodity computers. - Yin Wang 001; Jason Stanley; Stéphane Lafortune (WODES, 2012)

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. - Hongwei Liao; Yin Wang 001; Hyoun Kyu Cho; Jason Stanley; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2013)

A Rank-Based Approach to Active Diagnosis. - Gowtham Bellala; Jason Stanley; Suresh K. Bhavnani; Clayton Scott (IEEE Trans. Pattern Anal. Mach. Intell., 2013)

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. - Hongwei Liao; Yin Wang 001; Jason Stanley; Stéphane Lafortune; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke (IEEE Trans. Control. Syst. Technol., 2013)

SAT-Based Control of Concurrent Software for Deadlock Avoidance. - Jason Stanley; Hongwei Liao; Stéphane Lafortune (IEEE Trans. Autom. Control., 2015)

Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty. - Umang Bhatt; Yunfeng Zhang; Javier Antorán; Q. Vera Liao; Prasanna Sattigeri; Riccardo Fogliato; Gabrielle Gauthier Melançon; Ranganath Krishnan; Jason Stanley; Omesh Tickoo; Lama Nachman; Rumi Chunara; et al. (CoRR, 2020)

Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty. - Umang Bhatt; Javier Antorán; Yunfeng Zhang; Q. Vera Liao; Prasanna Sattigeri; Riccardo Fogliato; Gabrielle Gauthier Melançon; Ranganath Krishnan; Jason Stanley; Omesh Tickoo; Lama Nachman; Rumi Chunara; et al. (AIES, 2021)

Hamiltonian Dynamics Learning from Point Cloud Observations for Nonholonomic Mobile Robot Control. - Abdullah Altawaitan; Jason Stanley; Sambaran Ghosal; Thai Duong 001; Nikolay Atanasov 001 (ICRA, 2024)

LLMs for Literature Review: Are we there yet? - Shubham Agarwal; Gaurav Sahu; Abhay Puri; Issam H. Laradji; Krishnamurthy Dj Dvijotham; Jason Stanley; Laurent Charlin; Christopher Pal (CoRR, 2024)

Port-Hamiltonian Neural ODE Networks on Lie Groups for Robot Dynamics Learning and Control. - Thai Duong 001; Abdullah Altawaitan; Jason Stanley; Nikolay Atanasov 001 (IEEE Trans. Robotics, 2024)

LitLLMs, LLMs for Literature Review: Are we there yet? - Shubham Agarwal; Gaurav Sahu; Abhay Puri; Issam H. Laradji; Krishnamurthy Dj Dvijotham; Jason Stanley; Laurent Charlin; Christopher Pal (Trans. Mach. Learn. Res., 2025)

Societal Alignment Frameworks Can Improve LLM Alignment. - Karolina Stanczak; Nicholas Meade; Mehar Bhatia; Hattie Zhou; Konstantin Böttinger; Jeremy Barnes 002; Jason Stanley; Jessica Montgomery; Richard S. Zemel; Nicolas Papernot; Nicolas Chapados; Denis Therien; et al. (CoRR, 2025)

DoomArena: A framework for Testing AI Agents Against Evolving Security Threats. - Léo Boisvert; Mihir Bansal; Chandra Kiran Reddy Evuru; Gabriel Huang; Abhay Puri; Avinandan Bose; Maryam Fazel; Quentin Cappart; Jason Stanley; Alexandre Lacoste; Alexandre Drouin; Krishnamurthy Dvijotham (CoRR, 2025)

Learned IMU Bias Prediction for Invariant Visual Inertial Odometry. - Abdullah Altawaitan; Jason Stanley; Sambaran Ghosal; Thai Duong 001; Nikolay Atanasov 001 (CoRR, 2025)