Parametric and Sliced Causality-Reference-Cited by-同舟云学术

Parametric and Sliced Causality

Published: Issue: Volume: Page:240-253
ISSN:
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Chen Feng,Roşu Grigore

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-73368-3_27.pdf

Reference22 articles.

1. Brightwell, G., Winkler, P.: Counting linear extensions is #p-complete. In: Annual ACM symposium on Theory of computing (STOC) (1991)

2. Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63–75 (1985)

3. Chen, F., Roşu, G.: Predicting concurrency errors at runtime using sliced causality. Technical Report UIUCDCS-R-2005-2660, Department of Computer Science at UIUC (2005)

4. Chen, F., Roşu, G.: Parametric and sliced causality. Technical Report UIUCDCS-R-2007-2807, Department of Computer Science at UIUC (2007)

5. Lecture Notes in Computer Science;F. Chen,2006

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05

2. Opportunistic Monitoring of Multithreaded Programs;Fundamental Approaches to Software Engineering;2023

3. Sound Concurrent Traces for Online Monitoring;Model Checking Software;2023

4. Runtime Verification Past Experiences and Future Projections;Lecture Notes in Computer Science;2019

5. Understanding and identifying latent data races cross-thread interleaving;Frontiers of Computer Science;2015-06-22