2009 |
27 | EE | Yin Wang,
Stéphane Lafortune,
Terence Kelly,
Manjunath Kudlur,
Scott A. Mahlke:
The theory of deadlock avoidance via discrete control.
POPL 2009: 252-263 |
26 | EE | Sahika Genc,
Stéphane Lafortune:
Predictability of event occurrences in partially-observed discrete-event systems.
Automatica 45(2): 301-311 (2009) |
2008 |
25 | EE | Yin Wang,
Terence Kelly,
Manjunath Kudlur,
Stéphane Lafortune,
Scott A. Mahlke:
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
OSDI 2008: 281-294 |
24 | EE | Stéphane Lafortune:
Discrete Event Systems: Untimed Models and their Analysis.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
23 | EE | Andrea Paoli,
Stéphane Lafortune:
Diagnosability Analysis of a Class of Hierarchical State Machines.
Discrete Event Dynamic Systems 18(3): 385-413 (2008) |
22 | EE | 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 |
21 | EE | Yin Wang,
Terence Kelly,
Stéphane Lafortune:
Discrete control for safe execution of IT automation workflows.
EuroSys 2007: 305-314 |
20 | EE | 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) |
19 | EE | Stéphane Lafortune,
Feng Lin,
Dawn M. Tilbury:
Special Issue on WODES'06.
Discrete Event Dynamic Systems 17(4): 423-424 (2007) |
18 | EE | 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) |
2006 |
17 | EE | Patrcia N. Pena,
José E. R. Cury,
Stéphane Lafortune:
New Results on Testing Modularity of Local Supervisors using Abstractions.
ETFA 2006: 950-956 |
16 | EE | Olivier Contant,
Stéphane Lafortune,
Demosthenis Teneketzis:
Diagnosability of Discrete Event Systems with Modular Structure.
Discrete Event Dynamic Systems 16(1): 9-37 (2006) |
15 | EE | Tae-Sic Yoo,
Stéphane Lafortune:
Solvability of Centralized Supervisory Control Under Partial Observation.
Discrete Event Dynamic Systems 16(4): 527-553 (2006) |
2005 |
14 | EE | Andrea Paoli,
Stéphane Lafortune:
Safe diagnosability for fault-tolerant supervision of discrete-event systems.
Automatica 41(8): 1335-1347 (2005) |
13 | EE | Kurt Rohloff,
Stéphane Lafortune:
PSPACE-completeness of Modular Supervisory Control Problems*.
Discrete Event Dynamic Systems 15(2): 145-167 (2005) |
12 | EE | Yiping Cheng,
Da-Zhong Zheng,
Kurt Rohloff,
Stéphane Lafortune,
Xi-Ren Cao:
Contributing Authors.
Discrete Event Dynamic Systems 15(2): 199-200 (2005) |
2004 |
11 | EE | Olivier Contant,
Stéphane Lafortune,
Demosthenis Teneketzis:
Diagnosis of Intermittent Faults.
Discrete Event Dynamic Systems 14(2): 171-202 (2004) |
2003 |
10 | EE | Sahika Genc,
Stéphane Lafortune:
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.
ICATPN 2003: 316-336 |
9 | EE | 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 |
8 | EE | 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) |
7 | EE | Rami Debouk,
Stéphane Lafortune,
Demosthenis Teneketzis:
On an Optimization Problem in Sensor Selection*.
Discrete Event Dynamic Systems 12(4): 417-445 (2002) |
1997 |
6 | | Yi-Liang Chen,
Stéphane Lafortune,
Feng Lin:
Resolving Feature Interactions Using Modular Supervisory Control with Priorities.
FIW 1997: 108-122 |
5 | | J. 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 | EE | 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 | EE | 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 | EE | Stéphane Lafortune,
Eugene Wong:
A State Transition Model for Distributed Query Processing.
ACM Trans. Database Syst. 11(3): 294-322 (1986) |