|
|
Book
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
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", Techinical Report CSD-04-90, Computer Science
Department, Concordia University, Montreal, Quebec, Canada, 1990.
|
|
|