Kasilingam Periyasamy

According to our database, Kasilingam Periyasamy authored at least 27 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A Mobile Application for Chronic Kidney Disease (CKD) Diagnosis.

Kasilingam Periyasamy, Athira Dinesh Kaivelikkal, Venkateswaran Iyer

Proceedings of the 6th International Conference on Medical and Health Informatics, 2022

2020

Chronic Kidney Disease Helper.

Kasi Periyasamy, Venkateswaran Iyer

Proceedings of the 8th IEEE International Conference on Healthcare Informatics, 2020

2019

Implementation of Security and Privacy Aspects in a Healthcare Social Network.

Kasi Periyasamy, Saleh Alsyefi

Proceedings of 34th International Conference on Computers and Their Applications, 2019

2017

Privacy and security for patient-centric elderly health care.

Vangalur S. Alagar, Kasi Periyasamy, Kaiyu Wan

Proceedings of the 19th IEEE International Conference on e-Health Networking, 2017

Dependable Design for Elderly Health Care.

Kasi Periyasamy, Vangalur S. Alagar, Kaiyu Wan

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2011

Specification of Software Systems, Second Edition.

Vangalur S. Alagar, Kasilingam Periyasamy

Texts in Computer Science, Springer, ISBN: 978-0-85729-277-3, 2011

Reconfiguration of Graphical User Interface.

Kasi Periyasamy, Vinoth Perkinian

J. Digit. Inf. Manag., 2011

2008

An Empirical Study on Software Reuse.

Huzumi Nakano, Mao Zheng, Kasi Periyasamy, Zhe Wei

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2002

Specification and Verification of Secure Business Transaction Systems.

Vangalur S. Alagar, Kasilingam Periyasamy

Proceedings of the SOFSEM 2002: Theory and Practice of Informatics, 2002

2001

A rigorous method for test templates generation from object-oriented specifications.

Kasilingam Periyasamy, Vangalur S. Alagar

Softw. Test. Verification Reliab., 2001

BTOZ: A Formal Specification Language for Formalizing Business Transactions.

Vangalur S. Alagar, Kasilingam Periyasamy

Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, 2001

1999

A New Metrics Set for Evaluating Testing Efforts for Object-Oriented Programs.

Kasilingam Periyasamy, X. Liu

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Verification and Validation Techniques of Object-Oriented Software Systems.

Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

1998

Specification of Software Systems.

Vangalur S. Alagar, Kasilingam Periyasamy

Graduate Texts in Computer Science, Springer, ISBN: 978-1-4757-2920-7, 1998

Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems.

Kasilingam Periyasamy, Vangalur S. Alagar

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

Object-Oriented Formal Specifications.

Kasilingam Periyasamy

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

1997

Extending Object-Z for Specifying Real-Time Systems.

Kasilingam Periyasamy, Vangalur S. Alagar

Proceedings of the TOOLS 1997: 23rd International Conference on Technology of Object-Oriented Languages and Systems, July 28, 1997

A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation.

Kasilingam Periyasamy, J. Chidambaram

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

Paradigm shift in software re-engineering: an experience report.

Kasilingam Periyasamy, Ciby Mathew

Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, 1996

Software reuse using formal specification of requirements.

Kasilingam Periyasamy, J. Chidambaram

Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, 1996

Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering.

Kasilingam Periyasamy, Ciby Mathew

Proceedings of the 24th ACM Conference on Computer Science, 1996

1995

Apples and Oranges Are Both Fruit.

Kasilingam Periyasamy

IEEE Softw., 1995

1993

A formal framework for design and verification of robotic agents.

Kasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui

J. Intell. Robotic Syst., 1993

A Formal Approach to Software Reusability.

Kasilingam Periyasamy

Proceedings of the Incompleteness and Uncertainty in Information Systems, 1993

1992

A methodology for deriving an object-oriented design from functional specifications.

Vangalur S. Alagar, Kasilingam Periyasamy

Softw. Eng. J., 1992

Formal Specifications are Mathematical Example from Robotics.

Vangular S. Alagar, Kasi Periyasamy

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 1992

1990

Semantic CSG trees for finite element analysis.

Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy

Comput. Aided Des., 1990