KISS
Top Cited Papers
- 9 June 2004
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 39 (6) , 14-24
- https://doi.org/10.1145/996841.996845
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- Thread-Modular Model CheckingPublished by Springer Nature ,2003
- Thread-Modular Abstraction RefinementPublished by Springer Nature ,2003
- Context-sensitive synchronization-sensitive analysis is undecidableACM Transactions on Programming Languages and Systems, 2000
- Detecting data races in Cilk programs that use locksPublished by Association for Computing Machinery (ACM) ,1998
- EraserACM Transactions on Computer Systems, 1997
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Combining partial order reductions with on-the-fly model-checkingPublished by Springer Nature ,1994
- An empirical comparison of monitoring algorithms for access anomaly detectionPublished by Association for Computing Machinery (ACM) ,1990
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- ReductionCommunications of the ACM, 1975