Stéphane Lafortune

	2011
53		Hongwei 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
52		Eric Dallal, Stéphane Lafortune: A framework for optimization of sensor activation using most permissive observers. CDC-ECE 2011: 2711-2717
51		Andrea Paoli, Matteo Sartini, Stéphane Lafortune: Active fault tolerant control of discrete event systems using online diagnostics. Automatica 47(4): 639-649 (2011)
50		Weilin Wang, Anouck R. Girard, Stéphane Lafortune, Feng Lin: On Codiagnosability and Coobservability With Dynamic Observations. IEEE Trans. Automat. Contr. 56(7): 1551-1566 (2011)
49		Ahmed 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)
48		Stéphane Lafortune, J. Lega, S. Madrid: Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function. SIAM Journal of Applied Mathematics 71(5): 1653-1672 (2011)
	2010
47		Hongwei 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
46		Matteo Sartini, Andrea Paoli, Richard C. Hill, Stéphane Lafortune: A methodology for modular model-building in discrete automation. ETFA 2010: 1-8
45		Richard C. Hill, José Eduardo Ribeiro Cury, Max Hering de Queiroz, Dawn M. Tilbury, Stéphane Lafortune: Multi-level hierarchical interface-based supervisory control. Automatica 46(7): 1152-1164 (2010)
44		Weilin Wang, Stéphane Lafortune, Anouck R. Girard, Feng Lin: Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7): 1165-1175 (2010)
43		Richard C. Hill, Dawn M. Tilbury, Stéphane Lafortune: Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution. Discrete Event Dynamic Systems 20(1): 139-185 (2010)
	2009
42		Yin 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
41		Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu: Diagnosability analysis of unbounded Petri nets. CDC 2009: 1267-1272
40		Weilin Wang, Stéphane Lafortune, Feng Lin, Anouck R. Girard: An online algorithm for minimal sensor activation in discrete event systems. CDC 2009: 2242-2247
39		Yin 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
38		Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke: The theory of deadlock avoidance via discrete control. POPL 2009: 252-263
37		Sahika Genc, Stéphane Lafortune: Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45(2): 301-311 (2009)
36		Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke: Eliminating Concurrency Bugs with Control Engineering. IEEE Computer 42(11): 52-60 (2009)
	2008
35		Weilin Wang, Stéphane Lafortune, Feng Lin: Optimal sensor activation in controlled discrete event systems. CDC 2008: 877-882
34		Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke: Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. OSDI 2008: 281-294
33		Stéphane Lafortune: Discrete Event Systems: Untimed Models and their Analysis. Wiley Encyclopedia of Computer Science and Engineering 2008
32		Andrea Paoli, Stéphane Lafortune: Diagnosability Analysis of a Class of Hierarchical State Machines. Discrete Event Dynamic Systems 18(3): 385-413 (2008)
31		Weilin Wang, Stéphane Lafortune, Feng Lin: On the Minimization of Communication in Networked Systems with a Central Station. Discrete Event Dynamic Systems 18(3): 415-443 (2008)
	2007
30		Yin Wang, Terence Kelly, Stéphane Lafortune: Discrete control for safe execution of IT automation workflows. EuroSys 2007: 305-314
29		Yin Wang, Tae-Sic Yoo, Stéphane Lafortune: Diagnosis of Discrete Event Systems Using Decentralized Architectures. Discrete Event Dynamic Systems 17(2): 233-263 (2007)
28		Stéphane Lafortune, Feng Lin, Dawn M. Tilbury: Special Issue on WODES'06. Discrete Event Dynamic Systems 17(4): 423-424 (2007)
27		Sahika Genc, Stéphane Lafortune: Distributed Diagnosis of Place-Bordered Petri Nets. IEEE T. Automation Science and Engineering 4(2): 206-219 (2007)
26		Sanjeeva Balasuriya, Georg Gottwald, John Hornibrook, Stéphane Lafortune: High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis. SIAM Journal of Applied Mathematics 67(2): 464-486 (2007)
25		Weilin Wang, Stéphane Lafortune, Feng Lin: An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. Systems & Control Letters 56(9-10): 656-661 (2007)
	2006
24		Patrcia N. Pena, José E. R. Cury, Stéphane Lafortune: New Results on Testing Modularity of Local Supervisors using Abstractions. ETFA 2006: 950-956
23		Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis: Diagnosability of Discrete Event Systems with Modular Structure. Discrete Event Dynamic Systems 16(1): 9-37 (2006)
22		Tae-Sic Yoo, Stéphane Lafortune: Solvability of Centralized Supervisory Control Under Partial Observation. Discrete Event Dynamic Systems 16(4): 527-553 (2006)
21		Kurt Rohloff, Stéphane Lafortune: The Verification and Control of Interacting Similar Discrete-Event Systems. SIAM J. Control and Optimization 45(2): 634-667 (2006)
	2005
20		Andrea Paoli, Stéphane Lafortune: Safe diagnosability for fault-tolerant supervision of discrete-event systems. Automatica 41(8): 1335-1347 (2005)
19		Kurt Rohloff, Stéphane Lafortune: PSPACE-completeness of Modular Supervisory Control Problems*. Discrete Event Dynamic Systems 15(2): 145-167 (2005)
18		Yiping Cheng, Da-Zhong Zheng, Kurt Rohloff, Stéphane Lafortune, Xi-Ren Cao: Contributing Authors. Discrete Event Dynamic Systems 15(2): 199-200 (2005)
17		Stéphane Lafortune, J. Lega: Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism. SIAM J. Math. Analysis 36(6): 1726-1741 (2005)
	2004
16		Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis: Diagnosis of Intermittent Faults. Discrete Event Dynamic Systems 14(2): 171-202 (2004)
	2003
15		Sahika Genc, Stéphane Lafortune: Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. ICATPN 2003: 316-336
14		Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis: On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems. Discrete Event Dynamic Systems 13(3): 263-289 (2003)
	2002
13		Hervé Marchand, Olivier Boivineau, Stéphane Lafortune: On optimal control of a class of partially observed discrete event systems. Automatica 38(11): 1935-1943 (2002)
12		Tae-Sic Yoo, Stéphane Lafortune: A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. Discrete Event Dynamic Systems 12(3): 335-377 (2002)
11		Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis: On an Optimization Problem in Sensor Selection*. Discrete Event Dynamic Systems 12(4): 417-445 (2002)
	2000
10		Yi-Liang Chen, Stéphane Lafortune, Feng Lin: Incremental model evolution and reusability of supervisors for discrete event systems. Automatica 36(2): 243-259 (2000)
9		Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis: Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems. Discrete Event Dynamic Systems 10(1-2): 33-86 (2000)
8		Hervé Marchand, Olivier Boivineau, Stéphane Lafortune: On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. SIAM J. Control and Optimization 39(2): 512-532 (2000)
	1998
7		George Barrett, Stéphane Lafortune: Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines. Discrete Event Dynamic Systems 8(4): 377-429 (1998)
	1997
6		Yi-Liang Chen, Stéphane Lafortune, Feng Lin: Resolving Feature Interactions Using Modular Supervisory Control with Priorities. FIW 1997: 108-122
5		John G. Thistle, Roland P. Malhamé, Hai Hoc Hoang, Stéphane Lafortune: Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach. FIW 1997: 93-107
	1993
4		Amy J. Lee, Elke A. Rundensteiner, Spencer Thomas, Stéphane Lafortune: An Information Model for Human Genome Map Representation and Assembly. CIKM 1993: 75-84
	1989
3		J. T. Park, Toby J. Teorey, Stéphane Lafortune: A Knowledge-Based Approach to Multiple Query Processing. Data Knowl. Eng. 3(4): 261-284 (1989)
2		Hyuck Yoo, Stéphane Lafortune: An Intelligent Search Method for Query Optimization by Semijoins. IEEE Trans. Knowl. Data Eng. 1(2): 226-237 (1989)
	1986
1		Stéphane Lafortune, Eugene Wong: A State Transition Model for Distributed Query Processing. ACM Trans. Database Syst. 11(3): 294-322 (1986)

Coauthor Index

1	Sanjeeva Balasuriya	[26]
2	George Barrett	[7]
3	Olivier Boivineau	[8] [13]
4	Maria Paola Cabasino	[41]
5	Xi-Ren Cao	[18]
6	Yi-Liang Chen	[6] [10]
7	Yiping Cheng	[18]
8	Olivier Contant	[16] [23]
9	José Eduardo Ribeiro Cury (José E. R. Cury)	[24] [45]
10	Eric Dallal	[52]
11	Rami Debouk	[9] [11] [14]
12	Sahika Genc	[15] [27] [37]
13	Anouck R. Girard	[40] [44] [50]
14	Alessandro Giua	[41]
15	Georg Gottwald	[26]
16	Richard C. Hill	[43] [45] [46]
17	Hai Hoc Hoang	[5]
18	John Hornibrook	[26]
19	Terence Kelly	[30] [34] [36] [38] [39] [42]
20	Manjunath Kudlur	[34] [38]
21	Amy J. Lee	[4]
22	J. Lega	[17] [48]
23	Hongwei Liao	[39] [42] [47] [53]
24	Feng Lin	[6] [10] [25] [28] [31] [35] [40] [44] [50]
25	S. Madrid	[48]
26	Scott A. Mahlke	[34] [36] [38] [39] [42] [47] [53]
27	Roland P. Malhamé	[5]
28	Hervé Marchand	[8] [13]
29	Ahmed Nazeem	[42] [49]
30	Andrea Paoli	[20] [32] [46] [51]
31	J. T. Park	[3]
32	Patrcia N. Pena	[24]
33	Max Hering de Queiroz	[45]
34	Spyros A. Reveliotis (Spiridon Reveliotis)	[39] [42] [47] [49] [53]
35	Kurt Rohloff	[18] [19] [21]
36	Elke A. Rundensteiner	[4]
37	Matteo Sartini	[46] [51]
38	Carla Seatzu	[41]
39	Jason Stanley	[53]
40	Demosthenis Teneketzis	[9] [11] [14] [16] [23]
41	Toby J. Teorey	[3]
42	John G. Thistle	[5]
43	Spencer Thomas	[4]
44	Dawn M. Tilbury	[28] [43] [45]
45	Weilin Wang	[25] [31] [35] [40] [44] [50]
46	Yin Wang	[29] [30] [34] [36] [38] [39] [42] [47] [49] [53]
47	Eugene Wong	[1]
48	Hyuck Yoo	[2]
49	Tae-Sic Yoo	[12] [22] [29]
50	Da-Zhong Zheng	[18]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page