Documents Related by Co-Citation

136 Learning from mistakes: a comprehensive study on real world concurrency bug characteristics – S Lu, S Park, E Seo, Y Zhou - 2008
19 The Theory of Deadlock Avoidance via Discrete Control ∗ – Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott Mahlke
1421 Petri nets: Properties, analysis, and applications – T Murata - 1989
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
15 Discrete control for safe execution of IT automation work ows – Y Wang, T Kelly, S Lafortune - 2007
83 Rx: treating bugs as allergies—a safe method to survive software failures – F Qin, J Tucek, J Sundaresan, Y Zhou
36 Deadlock Immunity: Enabling Systems To Defend Against Deadlocks – Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George C
240 RacerX: Effective, Static Detection of Race Conditions and Deadlocks – Dawson Engler, Ken Ashcraft - 2003
599 Pin: building customized program analysis tools with dynamic instrumentation – Chi-keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa, Reddi Kim Hazelwood - 2005
132 AVIO: Detecting Atomicity Violations via Access Interleaving Invariants – Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou - 2006
2345 Time, clocks, and the ordering of events in a distributed system – Leslie Lamport - 1978
20 A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems – Z Li, M Zhou, N Wu - 2008
28 Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach – S Reveliotis
464 Supervisory control of a class of discrete event systems – P J Ramadge, W M Wonham - 1987
87 Finding and Reproducing Heisenbugs in Concurrent Programs – Madanlal Musuvathi, Shaz Qadeer, Piramanayagam Arumuga Nainar, Thomas Ball, Gerard Basler, Iulian Neamtiu
22 Introduction to discrete event systems, 2nd ed – C G Cassandras, S Lafortune - 2010
122 Using Model Checking to Find Serious File System Errors – Junfeng Yang, Paul Twohey, Dawson Engler - 2004
53 EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors – Junfeng Yang, Can Sar , Dawson Engler - 2006
200 Atomizer: a dynamic atomicity checker for multithreaded programs – Cormac Flanagan, Stephen N. Freund - 2004