| 2023 | CAV | Safe Environmental Envelopes of Discrete Systems. | Rmulo Meira-Ges, Ian Dardik, Eunsuk Kang, Stphane Lafortune, Stavros Tripakis |
| 2019 | CAV | Automated Synthesis of Secure Platform Mappings. | Eunsuk Kang, Stphane Lafortune, Stavros Tripakis |
| 2013 | CGO | Practical lock/unlock pairing for concurrent programs. | Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stphane Lafortune, Hongwei Liao, Scott A. Mahlke |
| 2011 | WSC | Simulation analysis of multithreaded programs under deadlock-avoidance control. | Hongwei Liao, Hao Zhou, Stphane Lafortune |
| 2010 | ETFA | A methodology for modular model-building in discrete automation. | Matteo Sartini, Andrea Paoli, Richard C. Hill, Stphane Lafortune |
| 2009 | POPL | The theory of deadlock avoidance via discrete control. | Yin Wang, Stphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke |
| 2008 | OSDI | Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. | Yin Wang, Terence Kelly, Manjunath Kudlur, Stphane Lafortune, Scott A. Mahlke |
| 2007 | EuroSys | Discrete control for safe execution of IT automation workflows. | Yin Wang, Terence Kelly, Stphane Lafortune |
| 2006 | ETFA | New Results on Testing Modularity of Local Supervisors using Abstractions. | Patrcia N. Pena, Jos E. R. Cury, Stphane Lafortune |
| 1998 | SMC | A novel framework for decentralized supervisory control with communication. | George Barrett, Stphane Lafortune |
| 1998 | SMC | Coordinated decentralized protocols for failure diagnosis of discrete event systems. | Rami Debouk, Stphane Lafortune, Demosthenis Teneketzis |
| 1998 | SMC | On the synthesis of optimal schedulers in discrete event control problems with multiple goals. | Herv Marchand, Olivier Boivineau, Stphane Lafortune |
| 1993 | CIKM | An Information Model for Human Genome Map Representation and Assembly. | Amy J. Lee, Elke A. Rundensteiner, Spencer Thomas, Stphane Lafortune |