Autor der Publikation

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

, , , , , , und . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks, , , und . CoRR, (2012)A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink., , , und . Software Engineering Research and Practice, Seite 29-35. CSREA Press, (2005)Precis of Knowledge and Practical Interests. Philosophy and Phenomenological Research, 75 (1): 168 (2007)Uncertainty as a Form of Transparency: Measuring, Communicating, and Using Uncertainty., , , , , , , , , und 5 andere Autor(en). AIES, Seite 401-413. ACM, (2021)SAT-Based Control of Concurrent Software for Deadlock Avoidance., , und . IEEE Trans. Autom. Control., 60 (12): 3269-3274 (2015)Knowledge and Action, und . Journal of Philosophy, 105 (10): 571-590 (2008)Explicit storage and analysis of billions of states using commodity computers., , und . WODES, Seite 364-371. International Federation of Automatic Control, (2012)A Rank-Based Approach to Active Diagnosis., , , und . IEEE Trans. Pattern Anal. Mach. Intell., 35 (9): 2078-2090 (2013)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , und . 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., , , und . UAI, Seite 35-42. AUAI Press, (2011)