( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.

, , , , и . OSDI, стр. 281-294. USENIX Association, (2008)

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.

Stéphane Müller

Stéphane Klein

Stéphane Haussler

Stéphane Clinchant

Stéphane Aubry

 

Другие публикации лиц с тем же именем

On tolerable and desirable behaviors in supervisory control of discrete event systems., и . Discret. Event Dyn. Syst., 1 (1): 61-92 (1991)Eliminating Concurrency Bugs with Control Engineering., , , и . Computer, 42 (11): 52-60 (2009)An algorithm for maximising covered area., и . Int. J. Control, 81 (9): 1493-1505 (2008)Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets., , и . WODES, стр. 208-213. International Federation of Automatic Control, (2012)Introduction to Discrete Event Systems, и . The Kluwer International Series on Discrete Event Dynamic Systems Springer, (1999)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , и . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers., , и . ACC, стр. 3363. IEEE, (2022)A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems., и . ACC, стр. 377-383. IEEE, (2015)On the computational complexity of some problems arising in partially-observed discrete-event systems., и . ACC, стр. 307-312. IEEE, (2001)Robust codiagnosability of discrete event systems., и . ACC, стр. 2202-2209. IEEE, (2009)