Person:parnjai
From 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
Analysis of Behavioral Exchangeability of Services,
supervised by
Prof. Dr. Wolfgang Reisig.
Research Interests
- 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.

