Active Bibliography

Concurrent Software – Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke, Stephane Lafortune, Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke, Stéphane Lafortune
4 The application of supervisory control to deadlock avoidance in concurrent software – Yin Wang, Terence Kelly, Manjunath Kudlur, Scott Mahlke, Stéphane Lafortune
Hewlett-Packard Labs – Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott Mahlke
19 The Theory of Deadlock Avoidance via Discrete Control ∗ – Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott Mahlke
Curriculum Vitae – Virendra Jayant Marathe, Michael L. Scott
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets ⋆ – Stéphane Lafortune, Spyros Reveliotis
1 Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control – Hongwei Liao, Student Member, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros Reveliotis, Senior Member, Terence Kelly, Senior Member, Scott Mahlke
StableDeterministicMultithreading through Schedule Memoization – Heming Cui, Jingyue Wu, Chia-che Tsai, Computer Sciencedepartment
Acknowledgments – Caitlin Harrison Sadowski, Caitlin Harrison Sadowski, Caitlin Harrison Sadowski - 2012
Atom-Aid: Detecting and Surviving Atomicity Violations ∗ – unknown authors
46 Atom-Aid: Detecting and Surviving Atomicity Violations – Brandon Lucia, et al.
General Terms Performance, Reliability – Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark
3 USING SOFTWARE TRANSACTIONAL MEMORY IN INTERRUPT-DRIVEN SYSTEMS – Michael J. Schultz
Concurrent object oriented programming with Asynchronous References – Pierre Vignéras - 2007
Synthesis of Concurrent Programs Based on Supervisory Control – Marian V. Iordache, Panos J. Antsaklis - 2009
A Unified Approach to Eliminating Concurrency Bugs via Control Synthesis – Peng Liu, Charles Zhang, Yin Wang, Terence Kelly
4 Concurrency attacks – Junfeng Yang, Ang Cui, John Gallagher, Sal Stolfo, Simha Sethumadhavan - 2012
6 Structural Control of Large-Scale Flexibly Automated Manufacturing Systems – Spyros A. Reveliotis, Placid M. Ferreira, P. Ferreira, Mark A. Lawley - 1998
THE NOTHING – unknown authors - 2000