Jason Stanley

According to our database, Jason Stanley authored at least 12 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Port-Hamiltonian Neural ODE Networks on Lie Groups For Robot Dynamics Learning and Control.

Thai Duong, Abdullah Altawaitan, Jason Stanley, Nikolay Atanasov

CoRR, 2024

2023

Hamiltonian Dynamics Learning from Point Cloud Observations for Nonholonomic Mobile Robot Control.

Abdullah Altawaitan, Jason Stanley, Sambaran Ghosal, Thai Duong, Nikolay Atanasov

CoRR, 2023

2021

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, Madhulika Srikumar, Adrian Weller, Alice Xiang

Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021

2020

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, Adrian Weller, Alice Xiang

CoRR, 2020

2015

SAT-Based Control of Concurrent Software for Deadlock Avoidance.

Jason Stanley, Hongwei Liao, Stéphane Lafortune

IEEE Trans. Autom. Control., 2015

2013

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.

Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke

IEEE Trans. Control. Syst. Technol., 2013

A Rank-Based Approach to Active Diagnosis.

Gowtham Bellala, Jason Stanley, Suresh K. Bhavnani, Clayton Scott

IEEE Trans. Pattern Anal. Mach. Intell., 2013

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis

Discret. Event Dyn. Syst., 2013

2012

Explicit storage and analysis of billions of states using commodity computers.

Yin Wang, Jason Stanley, Stéphane Lafortune

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

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

Proceedings of the UAI 2011, 2011

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.

Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2005

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

Proceedings of the International Conference on Software Engineering Research and Practice, 2005