Kasi Periyasamy

Dr. Kasi Periyasamy has been teaching at the University of Wisconsin-La Crosse, La Crosse, Wisconsin, since 1999.He was also a faculty member in the Department of Computer Science at the University of Manitoba, Winnipeg, Manitoba, Canada from 1991 - 1999.

Education

He received his Bachelor's degree in Electronics and Communications (with Honors) in 1981 from University of Madras and a Masters degree in Computer Science in 1983 from Anna University. Both these universities are located in Madras, now called as "Chennai", in the state of Tamilnadu in South India. Later in 1987 he received another Masters degree and in 1991 a Ph.D. in Computer Science, both from Concordia University, Montreal, Quebec, Canada.

Research Interests

His current research interests are primarily focused on
*Formal Methods,
*Object-Oriented Analysis, Design and Programming,
*Software reuse and re-engineering, and
*Software Architectures

His doctoral thesis was on developing formal specifications for robotic applications.

Works

Books

V.S. Alagar and Kasi Periyasamy, Specification of Software Systems, Graduate Texts in Computer Science, Springer-Verlag, 1998, ISBN 0-387-98430-5

Book Chapters

V.S. Alagar and K. Periyasamy, "Off-Line Verification of an Intelligent Control" , in Spyros G. Tzafestas (Ed.), Methods and Applications of Intelligent Control, Chapter 9, pp. 245-282, Kluwer Academic Publishers, The Netherlands, 1997, ISBN 0-7923-4624-6.

Papers in refereed journals

#K. Periyasamy and V.S. Alagar, "A Rigorous Method for Generating Test Templates from Object-Oriented Specifications", Software Testing, Verification and Reliability, Vol. 11, March 2001, pp. 3-37. Published by John Wiley and Sons.
#J.R. Allen and K. Periyasamy, "Software Engineering Principles Applied to Computer-Assisted Language Learning", COLICO Journal , Vol. 14, No. 2, 1997, pp. 35--50.
#K. Periyasamy, V.S. Alagar and T.D. Bui, "A Formal Framework for the Design and Verification of Robotic Agents", Journal of Intelligent and Robotic Systems , Kluwer Publications, Vol 8, 1993, pp. 173--200.
#V.S. Alagar and K. Periyasamy, "A Methodology for Deriving an Object-Oriented Design from Functional Requirements", Software Engineering Journal (UK), Vol. 7, No. 4, July 1992, pp. 247--263.
#V.S. Alagar, T.D. Bui and K. Periyasamy, "Semantic CSG Trees for Finite Element Analysis", Computer Aided-Design, Vol. 22, No. 4, May 1990, pp. 194-198.

Papers in refereed conferences and workshops

#V.S. Alagar and K. Periyasamy, "Specification and Verification of Secure Business Transaction Systems", SOFSEM 2002: 29th Annual Conference on Current Trends in Theory and Practice of Informatics, Nov 24-29, 2002, Milovy, Czech Republic.
#K. Periyasamy and V.S. Alagar, "Separating Business Rules from Application Domain", Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, July 2001, Vol. XVII, pp. 320-325.
#V.S. Alagar and K. Periyasamy, "BTOZ: A Formal Specification Language for Formalizing Business Transactions", Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS USA), Santa Barbara, CA, Jul-Aug 2001, pp. 240-252. Published by IEEE Computer Society.
#V.S. Alagar and K. Periyasamy, "On the Formalization of Business Rules and Business Models", OOPSLA'00 Workshop on Behavioral Semantics, OOPSLA'00, Minneapolis, MN, October 2000.
#K. Periyasamy and X. Liu, ""A New Metrics Set for Evaluating Testing Efforts for Object-Oriented Programs" to be presented in TOOL USA'99 (Technology of Object-Oriented Languages and Systems), Santa Barbara, CA, Aug 1999.
#K. Periyasamy and V.S. Alagar, "Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems", to appear in IEEE International Workshop on Industrial Strength Formal Specification Techniques (WIFT'98), Boca Raton, FL, Oct 1998.
#K. Periyasamy, V.S. Alagar, and S. Subramanian, "Deriving Test Cases from Object-Z Specifications", TOOLS USA'98 (Technology of Object-Oriented Languages and Systems), Santa Barbara, CA, Aug 3-7, 1998, pp. 429-441; published by IEEE Computer Society.
#K. Periyasamy and W. Baluta, "A Verifier for Object-Oriented Designs", Proceedings of the Twenty-Second Annual Software Engineering Workshop, published by NASA, Greenbelt, MD, December 3-4, 1997, pp. 303-336.
#K. Periyasamy and J. Chidambaram, "A Method for Structural Compatibility in Software Reuse Using Requirements Specification", Proceedings of COMPSAC'97 (IEEE Computer Software and Applications Conference), Washington D.C., Aug 13-15, 1997, pp. 426-433.
#K. Periyasamy and V.S. Alagar, "Extending Object-Z for Specifying Real-Time Systems", TOOLS USA'97 (Technology of Object-Oriented Languages and Systems), Santa Barbara, CA, July 1997, pp. 163-175, published by IEEE Computer Society, 1998.
#K. Periyasamy and W. Baluta, "An Axiomatic Semantics for Object-Modeling Technique", presented in the Workshop on Precise Semantics for Object-Oriented Modeling Techniques" held in conjunction with ECOOP'97 (European Conference on Object-Oriented Programming), Jyvaskyla, Finland, June 9-13, 1997. Proceedings of the Workshop is also available as a technical report TUM-19725, Technische Universitat Munchen, Germany.
#K. Periyasamy and V.S. Alagar, "Specifying Real-Time Constraints in a Business Environment", presented in the OOPSLA'96 Workshop on Specification of Behavioral Semantics , San Jose, CA, October 1996.
#K. Periyasamy and C.Mathew, "Paradigm Shift in Software Re-engineering: An Experience Report", in CASCON'96 Proceedings (CD-ROM), Toronto, November 1996.
#K. Periyasamy and J. Chidambaram, "Software Reuse Using Formal Specification of Requirements", in CASCON'96 Proceedings (CD-ROM), Toronto, November 1996.
#K. Periyasamy, "An Object-Oriented Model for Generating Assembly Sequences", Proceedings of the IEEE Southeastern Symposium on System Theory, Baton Rouge, LA, April 1996, pp. 462--466.
#K. Periyasamy and C. Mathew, "Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering", Proceedings of the 1996 ACM Computer Science Conference, Philadelphia, PA, Feb 1996, pp. 24--33.
#K. Periyasamy, "A Graphical Notation to Understand Z Specifications", presented in the OOPSLA'95 Workshop on Semantic Integration, Austin, TX, Oct 1995.
#K. Periyasamy, "Enriching OMT with Verification Strategies", presented in the OOPSLA'95 Workshop on Semantic Integration, Austin, TX, Oct 1995.
#K. Periyasamy and Wen Hu, "Object-Oriented Design of an Assembly Sequence Planner", Proceedings of the International Conference on Intelligent Manufacturing (ICIM'95), Wuhan, China, June 1995, pp. 91--98.
#V.S. Alagar, K. Periyasamy and G. Ramanathan, "Formal Specification Techniques for Complex Software Systems", Proceedings of the IEEE TENCON'94 Conference on Frontiers of Computer Technology, Singapore, Aug 22-26, 1994, pp. 1008--1013.
#K. Periyasamy, "A Formal Approach to Software Reusability", in Workshop on Incompleteness and Uncertainty in Information Systems, Montreal, Canada, Oct 1993, Workshops in Computing Series, Springer-Verlag, 1993, pp. 43-55.
#K. Periyasamy and V.S. Alagar, "Verification of Grasping: A Formal Approach to Contact Analysis", Proceedings of ICARCV 92 : Second International Conference on Automation, Robotics and Computer Vision , Singapore, Sep 1992, Vol 3, RO-16.4.
#K. Periyasamy, V.S. Alagar and T.D. Bui, "Formal Definition of Mechanical Parts Assembly", Proceedings of the International Conference on Manufacturing Automation , Hong Kong, Aug 1992, pp. 214--219.
#V.S. Alagar and K. Periyasamy, "Formal Specifications are Mathematical Models : An Example from Robotics", Proceedings of the 1992 IEEE/RSJ International Conference on Intelligent Robots and Systems, Raleigh, NC, USA, July 1992, pp. 733--741.
#V.S. Alagar and K. Periyasamy, "Towards Refining Formal Specifications to Object-Oriented Design", Harnessing the Object Revolution - Workshop on Object-Oriented Software Engineering Practice, Denver, CO, USA, Feb 1992.
#V.S. Alagar, T.D. Bui and K. Periyasamy, "A Formal Framework for Specifying Robot Kinematics", Proceedings of the European Robotics and Intelligent Systems Conference, Corfu, Greece, June 1991. Also in S.G. Tzafestas (Ed.), Robotic Systems , Kluwer Academic Publishers, The Netherlands, 1992, pp. 27-35.
#V.S. Alagar, T.D. Bui and K. Periyasamy, "Semantic CSG Trees", Sensor Fusion : Spatial Reasoning and Scene Interpretation, Proceedings of the SPIE Symposium, Cambridge, MA, Nov. 1988, pp. 101-112.
#V.S. Alagar, T.D. Bui and K. Periyasamy, "A Reasoning System for Solid Modeling Techniques Applicable to Robotics", Proceedings of the Symposium on Robot Control, Karlsruhe, FRG, Oct. 1988.

Tutorial Presentations

* K. Periyasamy, "Object-Oriented Formal Specifications", presented in TOOLS USA'98 (Technology of Object-Oriented Languages and Systems), Santa Barbara, CA, Aug 06, 1998.
* K. Periyasamy, "Z: An Introduction", presented in WIFT'98: IEEE International Workshop on Industrial Strength Formal Methods, Boca Raton, FL, Oct 21-24, 1998.
* K. Periyasamy, "Verification and Validation of Object-Oriented Software Systems", to be presented in TOOLS USA'99 (Technology of Object-Oriented Languages and Systems), Santa Barbara, CA, Aug 02-06, 1999.

Refereed, but not published

*Dennis Lovie and K. Periyasamy, "A Behavioral Case Study of a Graphical User Interface", selected for presentation in Student Poster Competition, held in conjunction with ACM Annual Computer Science Conference, Nashville, TN, Feb-Mar, 1995. This thesis won the third prize in the poster competition.

Non-refereed Publications (includes Technical Reports)

#K. Periyasamy and V.S. Alagar. "The Formal Semantics of Filters in the Specification of Real-Time Systems" Technical Report TR-02-01, Department of Computer Science, University of Wisconsin-La Crosse, La Crosse, U.S.A., 2002.
#V.S. Alagar and K. Periyasamy, "Real-Time Object-Z: A Language for the Specification and Design of Real-Time Reactive System", Technical Report, Department of Computer Science, Concordia University, Montreal, Quebec, Canada, June 1996.
#V.S. Alagar, D. Muthiayen and K. Periyasamy, "VDM-SL Specification of a Graph Editor", Technical Report, Department of Computer Science, Concordia University, Montreal, Canada, May 1996.
#K. Periyasamy, Introduction to Software Engineering, Notes for the course 74.335 - Software Engineering I, Department of Computer Science, University of Manitoba, 1994.
#K. Periyasamy, V.S. Alagar and T.D. Bui, "Specification for Geometric Primitives", Technical Report CSD-04-90, Computer Science Department, Concordia University, Montreal, Quebec, Canada, 1990.

External links

* [http://www.cs.uwlax.edu/~kasi Dr. Kasi Periyasamy's Home Page University of Wisconsin-La Crosse]