233 | -- | 235 | Oleg Sokolsky, Grigore Rosu. Introduction to the special issue on runtime verification |
236 | -- | 268 | Deian Tabakov, Kristin Y. Rozier, Moshe Y. Vardi. Optimized temporal monitors for SystemC |
269 | -- | 294 | Christian Colombo, Gordon J. Pace, Patrick Abela. Safer asynchronous runtime monitoring using compensations |
295 | -- | 320 | Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok. InterAspect: aspect-oriented instrumentation with GCC |
321 | -- | 347 | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav. Efficient data race detection for async-finish parallelism |