Kasilingam Periyasamy

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 1

Top Topics

Clinical Practice

Logistic Regression

Top Venues

Publications

Kasilingam Periyasamy, Athira Dinesh Kaivelikkal, Venkateswaran Iyer
A Mobile Application for Chronic Kidney Disease (CKD) Diagnosis. ICMHI (2022)
Vangalur S. Alagar, Kasilingam Periyasamy
Specification and Verification of Secure Business Transaction Systems. SOFSEM (2002)
Kasilingam Periyasamy, Vangalur S. Alagar
A rigorous method for test templates generation from object-oriented specifications. Softw. Test. Verification Reliab. 11 (1) (2001)
Vangalur S. Alagar, Kasilingam Periyasamy
BTOZ: A Formal Specification Language for Formalizing Business Transactions. TOOLS (39) (2001)
Kasilingam Periyasamy, Vangalur S. Alagar, D. Muthiayen
Verification and Validation Techniques of Object-Oriented Software Systems. TOOLS (30) (1999)
Kasilingam Periyasamy, X. Liu
A New Metrics Set for Evaluating Testing Efforts for Object-Oriented Programs. TOOLS (30) (1999)
Kasilingam Periyasamy
Object-Oriented Formal Specifications. TOOLS (26) (1998)
Kasilingam Periyasamy, Vangalur S. Alagar
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems. WIFT (1998)
Kasilingam Periyasamy, J. Chidambaram
A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation. COMPSAC (1997)
Kasilingam Periyasamy, Vangalur S. Alagar
Extending Object-Z for Specifying Real-Time Systems. TOOLS (23) (1997)
Kasilingam Periyasamy, Ciby Mathew
Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering. ACM Conference on Computer Science (1996)
Kasilingam Periyasamy, J. Chidambaram
Software reuse using formal specification of requirements. CASCON (1996)
Kasilingam Periyasamy, Ciby Mathew
Paradigm shift in software re-engineering: an experience report. CASCON (1996)
Kasilingam Periyasamy
Apples and Oranges Are Both Fruit. IEEE Softw. 12 (2) (1995)
Kasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui
A formal framework for design and verification of robotic agents. J. Intell. Robotic Syst. 8 (2) (1993)
Kasilingam Periyasamy
A Formal Approach to Software Reusability. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems (1993)
Vangalur S. Alagar, Kasilingam Periyasamy
A methodology for deriving an object-oriented design from functional specifications. Softw. Eng. J. 7 (4) (1992)
Vangalur S. Alagar, Tien D. Bui, Kasilingam Periyasamy
Semantic CSG trees for finite element analysis. Comput. Aided Des. 22 (4) (1990)