المؤلفون: Henkel, J., Ramakrishnan, G., Wang, Z., Albarghouthi, A., Jha, S., Reps, T.

المصدر: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) SANER Software Analysis, Evolution and Reengineering (SANER),2022 IEEE International Conference on. :526-537 Mar, 2022

Relation: 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

المؤلفون: Alur, R., Grundy, J., Jha, S., Reps, T., Harris, B., Foster, N., Guha, A., Reitblatt, M., Schlesinger, C.

المصدر: 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on. :189-194 Oct, 2013

Relation: 2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)

المؤلفون: Schwoon, S., Jha, S., Reps, T., Stubblebine, S.

المصدر: 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings. Computer security foundations Computer Security Foundations Workshop, 2003. Proceedings. 16th IEEE. :202-216 2003

Relation: 16th IEEE Computer Security Foundations Workshop

المؤلفون: Reps, T., Loginov, A., Sagiv, M.

المصدر: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science Logic in computer science Logic in Computer Science, 2002. Proceedings. 17th Annual IEEE Symposium on. :40-51 2002

Relation: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science

المؤلفون: Jha, S., Reps, T.

المصدر: Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15 Computer security foundations workshop Computer Security Foundations Workshop, 2002. Proceedings. 15th IEEE. :129-144 2002

Relation: Proceedings 15th IEEE Computer Security Foundations Workshop CSFW-15

المؤلفون: Jha, S., Reps, T., Harris, B.

المصدر: 2013 Formal Methods in Computer-Aided Design Formal Methods in Computer-Aided Design (FMCAD), 2013. :12-13 Oct, 2013

Relation: 2013 Formal Methods in Computer-Aided Design (FMCAD)

المؤلفون: Anderson, P., Reps, T., Teitelbaum, T.

المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 29(8):721-733 Aug, 2003

المؤلفون: Anderson, P., Reps, T., Teitelbaum, T., Zarins, M.

المصدر: IEEE Software IEEE Softw. Software, IEEE. 20(4):42-50 Aug, 2003

المؤلفون: Horwitz, S., Reps, T.

المصدر: International Conference on Software Engineering Software Engineering, 1992. International Conference on. :392-411 1992

Relation: International Conference on Software Engineering

المؤلفون: Siff, M., Reps, T.

المصدر: IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 25(6):749-768 Jan, 1999