Person:parnjai

Aus GRK-Wiki

M.Sc. Jarungjit Parnjai

Research Fellow of the Graduate School - METRIK
(since 06/2008)

Contact

Humboldt-Universität zu Berlin
Institut für Informatik
Rudower Chaussee 25, Room IV.411
12489 Berlin, Germany
phone: +49 (0)30 2093 3069

E-Mail: parnjai(at)informatik.hu-berlin.de
Homepage: at METRIK graduate school and at Theory of Programming group.

Thesis Subject

Behavioral Exchangeability of Services in Self-Organizing Systems,
supervised by Prof. Dr. Wolfgang Reisig.

Research Interests

• Behavioral Exchangeability of Services
• Behavioral Equivalence and Conformance of Services
• Service-Oriented Technology
• Modeling and Analysis
• Formal Methods

Publications

• Parnjai, J., Stahl, C., Wolf, K.: A finite representation of all substitutable services and its applications. In Kopp, O., Lohmann, N., eds.: Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2–3, 2009. Volume 438 of CEUR Workshop Proceedings., CEURWS.org (2009) 29–34.