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.415
12489 Berlin, Germany
phone: +49 (0)30 2093 3074
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. Filtering Undesirable Service Substitution Behaviors using Filtering Guidelines. In Proc. of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21-22, 2011. Volume 705 of CEUR Workshop Proceedings., CEURWS.org (2011) 50-57.
- Mooij, A.J., Parnjai, J., Stahl, C., Voorhoeve, M. Constructing substitutable services using operating guidelines and maximal controllers. Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010). Lecture Notes in Computer Science, Springer-verlag, Berlin, submitted/ in press.
- Parnjai, J., Stahl, C., Wolf, K.: A finite representation of all substitutable services and its applications. In Kopp, O., Lohmann, N., eds.: Proc 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.
