Follow
Shaohui Wang
Title
Cited by
Cited by
Year
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
542010
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
302009
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
212013
Runtime verification of traces under recording uncertainty
S Wang, A Ayoub, O Sokolsky, I Lee
International Conference on Runtime Verification, 442-456, 2011
202011
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
142013
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
112015
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
92012
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, ...
The system can't perform the operation now. Try again later.
Articles 1–9