Prabhu Shankar Kaliappan

According to our database, Prabhu Shankar Kaliappan authored at least 6 papers between 2007 and 2012.

Collaborative distances:

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

2012

On the Formalization of UML Activities for Component-Based Protocol Design Specifications.

Prabhu Shankar Kaliappan, Hartmut König

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

2011

An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development.

Prabhu Shankar Kaliappan, Hartmut König

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

2010

Model-Driven Protocol Design Based on Component Oriented Modeling.

Prabhu Shankar Kaliappan, Hartmut König, Sebastian Schmerl

Proceedings of the Formal Methods and Software Engineering, 2010

2008

Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.

Prabhu Shankar Kaliappan, Hartmut König

J. Softw. Eng. Appl., 2008

Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.

Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan

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

2007

Inestigations to the Conformance about Oracle, DB2, MS SQL Server, Sybase with respect to SQL: 2003 Standard.

Prabhu Shankar Kaliappan, Uwe Wloka

Datenbank-Spektrum, 2007