Semantic CSG trees for finite element analysis. - Vangalur S. Alagar; Tien D. Bui; Kasilingam Periyasamy (Comput. Aided Des., 1990)

Formal Specifications are Mathematical Example from Robotics. - Vangular S. Alagar; Kasi Periyasamy (IROS, 1992)

A methodology for deriving an object-oriented design from functional specifications. - Vangalur S. Alagar; Kasilingam Periyasamy (Softw. Eng. J., 1992)

A Formal Approach to Software Reusability. - Kasilingam Periyasamy (SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, 1993)

A formal framework for design and verification of robotic agents. - Kasilingam Periyasamy; Vangalur S. Alagar; Tien D. Bui (J. Intell. Robotic Syst., 1993)

Apples and Oranges Are Both Fruit. - Kasilingam Periyasamy (IEEE Softw., 1995)

Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering. - Kasilingam Periyasamy; Ciby Mathew (ACM Conference on Computer Science, 1996)

Software reuse using formal specification of requirements. - Kasilingam Periyasamy; J. Chidambaram (CASCON, 1996)

Paradigm shift in software re-engineering: an experience report. - Kasilingam Periyasamy; Ciby Mathew (CASCON, 1996)

A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation. - Kasilingam Periyasamy; J. Chidambaram (COMPSAC, 1997)

Extending Object-Z for Specifying Real-Time Systems. - Kasilingam Periyasamy; Vangalur S. Alagar (TOOLS (23), 1997)

Object-Oriented Formal Specifications. - Kasilingam Periyasamy (TOOLS (26), 1998)

Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. - Kasilingam Periyasamy; Vangalur S. Alagar (WIFT, 1998)

Specification of Software Systems. - Vangalur S. Alagar; Kasilingam Periyasamy (Springer, 1998)

Verification and Validation Techniques of Object-Oriented Software Systems. - Kasilingam Periyasamy; Vangalur S. Alagar; D. Muthiayen (TOOLS (30), 1999)

A New Metrics Set for Evaluating Testing Efforts for Object-Oriented Programs. - Kasilingam Periyasamy; X. Liu (TOOLS (30), 1999)

BTOZ: A Formal Specification Language for Formalizing Business Transactions. - Vangalur S. Alagar; Kasilingam Periyasamy (TOOLS (39), 2001)

A rigorous method for test templates generation from object-oriented specifications. - Kasilingam Periyasamy; Vangalur S. Alagar (Softw. Test. Verification Reliab., 2001)

Specification and Verification of Secure Business Transaction Systems. - Vangalur S. Alagar; Kasilingam Periyasamy (SOFSEM, 2002)

An Empirical Study on Software Reuse. - Huzumi Nakano; Mao Zheng; Kasi Periyasamy; Zhe Wei (CSSE (6), 2008)

A GUI-based editor and type checker for Object-Z: nifty tools and assignments. - Kasi Periyasamy (J. Comput. Sci. Coll., 2008)

A tool for teaching Petri nets. - Chao Mei; Xiaoyang Zhang; Wenfei Zhao; Kasi Periyasamy; Mark R. Headington (J. Comput. Sci. Coll., 2011)

Reconfiguration of Graphical User Interface. - Kasi Periyasamy; Vinoth Perkinian (J. Digit. Inf. Manag., 2011)

Specification of Software Systems, Second Edition. - Vangalur S. Alagar; Kasilingam Periyasamy (Springer, 2011)

Teaching CS 1: object-first or algorithmic. - Kasi Periyasamy; David D. Riley; Kenny Hunt; Stuart Hansen 001; Paul Langhals (J. Comput. Sci. Coll., 2012)

Dependable Design for Elderly Health Care. - Kasi Periyasamy; Vangalur S. Alagar; Kaiyu Wan (FedCSIS, 2017)

Privacy and security for patient-centric elderly health care. - Vangalur S. Alagar; Kasi Periyasamy; Kaiyu Wan (Healthcom, 2017)

Implementation of Security and Privacy Aspects in a Healthcare Social Network. - Kasi Periyasamy; Saleh Alsyefi (CATA, 2019)

Chronic Kidney Disease Helper. - Kasi Periyasamy; Venkateswaran Iyer (ICHI, 2020)

A Mobile Application for Chronic Kidney Disease (CKD) Diagnosis. - Kasilingam Periyasamy; Athira Dinesh Kaivelikkal; Venkateswaran Iyer (ICMHI, 2022)

A Cost Estimation Model for Scrum Projects. - Xingzhan Feng; Kasi Periyasamy (J. Comput. Sci. Coll., 2022)