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 | 54 | 2010 |
Model-based testing of gui-driven applications V Chinnapongse, I Lee, O Sokolsky, S Wang, PL Jones Software Technologies for Embedded and Ubiquitous Systems: 7th IFIP WG 10.2 …, 2009 | 29 | 2009 |
Runtime verification of traces under recording uncertainty S Wang, A Ayoub, O Sokolsky, I Lee International Conference on Runtime Verification, 442-456, 2011 | 24 | 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 | 11 | 2015 |
High-level model extraction via symbolic execution S Wang, S Dwarakanathan, O Sokolsky, I Lee Technical Reports (CIS) Paper 967, University of Pennsylvania, http …, 2012 | 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, ... | | |