| A safety-assured development approach for real-time software E Jee, S Wang, JK Kim, J Lee, O Sokolsky, I Lee 2010 IEEE 16th International Conference on Embedded and Real-Time Computing …, 2010 | 55 | 2010 |
| Model-based testing of gui-driven applications V Chinnapongse, I Lee, O Sokolsky, S Wang, PL Jones IFIP International Workshop on Software Technolgies for Embedded and …, 2009 | 34 | 2009 |
| Runtime verification of traces under recording uncertainty S Wang, A Ayoub, O Sokolsky, I Lee International Conference on Runtime Verification, 442-456, 2011 | 25 | 2011 |
| A causality analysis framework for component-based real-time systems S Wang, A Ayoub, BG Kim, G Gößler, O Sokolsky, I Lee International Conference on Runtime Verification, 285-303, 2013 | 22 | 2013 |
| Contract-based blame assignment by trace analysis S Wang, A Ayoub, R Ivanov, O Sokolsky, I Lee Proceedings of the 2nd ACM international conference on High confidence …, 2013 | 14 | 2013 |
| A hybrid approach to causality analysis S Wang, Y Geoffroy, G Gößler, O Sokolsky, I Lee Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 12 | 2015 |
| High-level model extraction via symbolic execution S Wang, S Dwarakanathan, O Sokolsky, I Lee | 9 | 2012 |
| Advances in Theory and Applications of Token Causality in Trace Analysis S Wang University of Pennsylvania, 2013 | | 2013 |
| Workshop Chairs I Habli, T Kelly, J Knight, R Bloomfield, L Emmet, UK Adelard, R Hawkins, ... | | |
