( en | de | ru )

 

Disambiguation of "Stanley, Jason"

Author of the publication

copydeleteadd this publication to your clipboard
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

, , , , , , , and . Discrete Event Dynamic Systems, 23 (2): 157--195 (May 13, 2013)
DOI: 10.1007/s10626-012-0139-x

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ian Jason

Jason Miskuly

Jason Tam

Jason Crook

Jason Pazis

 

Other publications of authors with the same name

Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty., , , , , , , , , and 5 other author(s). AIES, page 401-413. ACM, (2021)Precis of Knowledge and Practical Interests. Philosophy and Phenomenological Research, 75 (1): 168 (2007)A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink., , , and . Software Engineering Research and Practice, page 29-35. CSREA Press, (2005)Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks, , , and . CoRR, (2012)Knowledge and Action, and . Journal of Philosophy, 105 (10): 571-590 (2008)SAT-Based Control of Concurrent Software for Deadlock Avoidance, , and . Automatic Control, IEEE Transactions on, 60 (12): 3269--3274 (December 2015)Explicit storage and analysis of billions of states using commodity computers., , and . WODES, page 364-371. International Federation of Automatic Control, (2012)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , and . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks., , , and . UAI, page 35-42. AUAI Press, (2011)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets, , , , , , , and . Discrete Event Dynamic Systems, 23 (2): 157--195 (May 13, 2013)