| Formalize UML 2 sequence diagrams H Shen, A Virani, J Niu High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE …, 2008 | 34 | 2008 |
| Characterizations and boundaries of security requirements patterns R Slavin, H Shen, J Niu Requirements Patterns (RePa), 2012 IEEE Second International Workshop on, 48-53, 2012 | 15 | 2012 |
| Formal Analysis of Sequence Diagram with Combined Fragments. H Shen, M Robinson, J Niu ICSOFT, 44-54, 2012 | 8 | 2012 |
| A formal framework for analyzing sequence diagram H Shen The University of Texas at San Antonio, 2013 | 4 | 2013 |
| A logical framework for Sequence Diagram with Combined Fragments H Shen, M Robinson, J Niu Technical Report CS-TR-2011-015, UTSA, 2011 | 4 | 2011 |
| Sequence diagram aided security policy specification H Shen, R Krishnan, J Niu UTSA, San Antonio, TX, USA, Tech. Rep. CS-TR-2014-005, 2014 | 3* | 2014 |
| Sequence Diagram Aided Privacy Policy Specification H Shen, R Krishnan, R Slavin, J Niu IEEE Transactions on Dependable and Secure Computing 13 (3), 381-393, 2016 | 2 | 2016 |
| Formal analysis of scenario aggregation H Shen, M Robinson, J Niu Tech. Rep. CS-TR-2010-03, UTSA, 2010 | 2 | 2010 |
| Model Checking Combined Fragments of Sequence Diagrams H Shen, M Robinson, J Niu International Conference on Software and Data Technologies, 96-111, 2012 | | 2012 |
| Formal Analysis of Combined Fragments in Sequence Diagrams H Shen, M Robinson, J Niu | | |
Jianwei NiuProfessor of Computer Science, UTSAEmail verificata su utsa.edu
