Prabhu Shankar Kaliappan

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Design Requirements

Modelling Language

Top Venues

Publications

Prabhu Shankar Kaliappan, Hartmut König
On the Formalization of UML Activities for Component-Based Protocol Design Specifications. SOFSEM (2012)
Prabhu Shankar Kaliappan, Hartmut König
An Approach to Synchronize UML-Based Design Components for Model-Driven Protocol Development. SEW (2011)
Prabhu Shankar Kaliappan, Hartmut König, Sebastian Schmerl
Model-Driven Protocol Design Based on Component Oriented Modeling. ICFEM (2010)
Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. CSSE (2) (2008)
Prabhu Shankar Kaliappan, Hartmut König
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. J. Softw. Eng. Appl. 1 (1) (2008)
Prabhu Shankar Kaliappan, Uwe Wloka
Inestigations to the Conformance about Oracle, DB2, MS SQL Server, Sybase with respect to SQL: 2003 Standard. Datenbank-Spektrum 7 (23) (2007)