Autor der Publikation

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

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)Active Diagnosis via AUC Maximization: An Efficient Approach for Multiple Fault Identification in Large Scale, Noisy Networks, , , und . CoRR, (2012)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , und . IEEE Trans. Contr. Sys. Techn., 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)A Rank-Based Approach to Active Diagnosis., , , und . IEEE Trans. Pattern Anal. Mach. Intell., 35 (9): 2078-2090 (2013)Wie Faschismus funktioniert. 1. Auflage Edition, (2024)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets., , , , , , , und . Discrete Event Dynamic Systems, 23 (2): 157-195 (2013)Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets., , , , , und . CDC-ECE, Seite 1142-1148. IEEE, (2011)SAT-Based Control of Concurrent Software for Deadlock Avoidance., , und . IEEE Trans. Automat. Contr., 60 (12): 3269-3274 (2015)Explicit storage and analysis of billions of states using commodity computers., , und . WODES, Seite 364-371. International Federation of Automatic Control, (2012)