dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Stéphane Lafortune (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke: Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. CDC-ECE 2011: 1142-1148
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune: Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. IEEE Trans. Automat. Contr. 56(8): 1818-1833 (2011)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke: Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. CDC 2010: 2797-2804
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE 2009: 37-41
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. CDC 2009: 4971-4976
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke: The theory of deadlock avoidance via discrete control. POPL 2009: 252-263
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke: Eliminating Concurrency Bugs with Control Engineering. IEEE Computer 42(11): 52-60 (2009)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke: Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI 2008: 281-294
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYin Wang, Terence Kelly, Stéphane Lafortune: Discrete control for safe execution of IT automation workflows. EuroSys 2007: 305-314
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYin Wang, Tae-Sic Yoo, Stéphane Lafortune: Diagnosis of Discrete Event Systems Using Decentralized Architectures. Discrete Event Dynamic Systems 17(2): 233-263 (2007)

Selection of 10 from 56 records - Stéphane Lafortune has 53 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page