Model Based verification | ISOT research lab

Journal & magazine links

Conference links

ACM CSC
ACM SIGKDD
ISOC (Internet SOCiety) Conferences
Annual Computer Security Applications Conference
UCL Crypto Group
New Security Paradigms Workshop
RAID Symposium
Advanced Computing Systems Association

Sponsored by

I. Traore, D.B. Aredo, “Enhancing structured review with model-based verification”, IEEE Transactions on Software Engineering, Vol. 30, No. 11, P. 736-753, Nov. 2004.

I. Traore, H. M. Al Jamal, Y. M. Liu, A.E.K. Sahraoui, “UML-PVS requirements specification and verification”, 2004 International Symposium of the International Council on Systems Engineering (INCOSE-04), Toulouse, France, June 2004.

I. Traore, D. B. Aredo, H. Ye, “An integrated framework for formal development of open distributed systems”, Information and Software Technology, Elsevier Science, Vol. 46, No. 5, pp. 281-286, April 2004.

I. Traore, “A transition-based strategy for object-oriented software testing”, ACM Symposium on Applied Computing, March 9-12, 2003, Melbourne, Florida, USA.

I. Traore, “An outline of PVS semantics for UML statecharts”, Journal of Universal Computer Science (JUCS), Springer Pub. Co., Vol. 6, No. 11, pp. 1088-1108, Nov. 2000.