@inproceedings{MTMT:24130093,
	title = {A framework for architecture-driven migration of legacy systems to cloud-enabled software},
	url = {https://m2.mtmt.hu/api/publication/24130093},
	author = {Ahmad, A and Babar, MA},
	booktitle = {11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014},
	doi = {10.1145/2578128.2578232},
	publisher = {ACM},
	unique-id = {24130093},
	year = {2014}
}

@article{MTMT:24130090,
	title = {Using models at runtime to address assurance for self-adaptive systems},
	url = {https://m2.mtmt.hu/api/publication/24130090},
	author = {Cheng, BHC and Eder, KI and Gogolla, M and Grunske, L and Litoiu, M and Müller, HA and Pelliccione, P and Perini, A and Qureshi, NA and Rumpe, B and Schneider, D and Trollmann, F and Villegas, NM},
	doi = {10.1007/978-3-319-08915-7_4},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {8378 LNCS},
	unique-id = {24130090},
	issn = {0302-9743},
	year = {2014},
	eissn = {1611-3349},
	pages = {101-136}
}

@inproceedings{MTMT:24130091,
	title = {SOA-CoM: Building a correct by design service oriented architectural style: Supporting structural and non-functional properties},
	url = {https://m2.mtmt.hu/api/publication/24130091},
	author = {Graja, I and Loulou, I and Kacem, AH},
	booktitle = {9th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014},
	publisher = {SciTePress Science and Technology Publications, Lda},
	unique-id = {24130091},
	year = {2014},
	pages = {172-179}
}

@inproceedings{MTMT:24130092,
	title = {Correct-by-construction web service architecture},
	url = {https://m2.mtmt.hu/api/publication/24130092},
	author = {Stachtiari, E and Vesyropoulos, N and Kourouleas, G and Georgiadis, CK and Katsaros, P},
	booktitle = {8th IEEE International Symposium on Service Oriented System Engineering, SOSE 2014},
	doi = {10.1109/SOSE.2014.12},
	publisher = {IEEE Computer Society},
	unique-id = {24130092},
	year = {2014},
	pages = {47-58}
}

@article{MTMT:32267933,
	title = {Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications},
	url = {https://m2.mtmt.hu/api/publication/32267933},
	author = {Bagheri, Hamid and Sullivan, Kevin},
	doi = {10.1145/2480361.2371416},
	journal-iso = {ACM SIGPLAN NOTICES},
	journal = {ACM SIGPLAN NOTICES},
	volume = {48},
	unique-id = {32267933},
	issn = {0362-1340},
	abstract = {Developing applications that use complex platforms for functionalities such as authentication and messaging is hard. Model-driven engineering promises to help, but transformation systems are themselves hard to produce. We contribute a new approach using constraint-based synthesis of partial code frameworks that developers complete by hand without the need for hand-coded transformation systems. Rather, synthesis is driven by formal, partial specifications of target platforms and application architectures, and by design (code) fragments encoding application-specific platform usage patterns. We present results of an early evaluation using the case study method to test hypotheses of feasibility and potential industrial utility, using a laboratory model of a nationwide health information network as a subject system.},
	keywords = {DESIGN; PERFORMANCE; LANGUAGES; synthesis; ARCHITECTURE; ALLOY; experimentation; PLATFORM; Model-driven},
	year = {2013},
	pages = {93-102}
}

@article{MTMT:24130162,
	title = {Performance modeling and analysis of software architectures specified through graph transformations},
	url = {https://m2.mtmt.hu/api/publication/24130162},
	author = {Naddaf, MR and Rafe, V},
	journal-iso = {COMPUT INFORM},
	journal = {COMPUTING AND INFORMATICS},
	volume = {32},
	unique-id = {24130162},
	issn = {1335-9150},
	year = {2013},
	eissn = {2585-8807},
	pages = {797-826}
}

@article{MTMT:23929717,
	title = {Designing an architectural style for pervasive healthcare systems},
	url = {https://m2.mtmt.hu/api/publication/23929717},
	author = {Rafe, V and Hajvali, M},
	doi = {10.1007/s10916-013-9927-6},
	journal-iso = {J MED SYST},
	journal = {JOURNAL OF MEDICAL SYSTEMS},
	volume = {37},
	unique-id = {23929717},
	issn = {0148-5598},
	year = {2013},
	eissn = {1573-689X}
}

@article{MTMT:24542320,
	title = {Scenario-driven analysis of systems specified through graph transformations},
	url = {https://m2.mtmt.hu/api/publication/24542320},
	author = {Rafe, V},
	doi = {10.1016/j.jvlc.2012.12.002},
	journal-iso = {J VISUAL LANG COMPUT},
	journal = {JOURNAL OF VISUAL LANGUAGES AND COMPUTING},
	volume = {24},
	unique-id = {24542320},
	issn = {1045-926X},
	year = {2013},
	eissn = {1095-8533},
	pages = {136-145}
}

@article{MTMT:23929718,
	title = {Research on interactive action refinement of software architecture},
	url = {https://m2.mtmt.hu/api/publication/23929718},
	author = {Ren, H -M and Liu, J},
	doi = {10.3969/j.issn.1001-0548.2013.01.028},
	journal-iso = {DIANZI KEJI DAXUE XUEBAO / J UNIV ELECTR SCI TECHN CHINA},
	journal = {DIANZI KEJI DAXUE XUEBAO / JOURNAL OF UNIVERSITY OF ELECTRONIC SCIENCE AND TECHNOLOGY OF CHINA},
	volume = {42},
	unique-id = {23929718},
	issn = {1001-0548},
	year = {2013},
	pages = {137-143}
}

@article{MTMT:23929714,
	title = {A framework to non-functional modelling and analysis of software architectures},
	url = {https://m2.mtmt.hu/api/publication/23929714},
	author = {Hajiee, M and Rasoolzade, S and Rafe, R},
	journal-iso = {INFORMATION-TOKYO},
	journal = {INFORMATION-TOKYO},
	volume = {15},
	unique-id = {23929714},
	issn = {1343-4500},
	year = {2012},
	eissn = {1344-8994},
	pages = {4205-4212}
}

@inproceedings{MTMT:23929715,
	title = {A constraint mechanism for dynamic evolution of service oriented systems},
	url = {https://m2.mtmt.hu/api/publication/23929715},
	author = {Zhao, B and Zhao, Y and Ma, D},
	booktitle = {Proceedings - 2012 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012},
	doi = {10.1109/ISORC.2012.22},
	unique-id = {23929715},
	year = {2012},
	pages = {103-110}
}

@inproceedings{MTMT:23929712,
	title = {A graph transformation based approach for modeling component-level migration in mobile environments},
	url = {https://m2.mtmt.hu/api/publication/23929712},
	author = {Zhou, Y and Yan, X and Huang, Z},
	booktitle = {Proceedings - International Computer Software and Applications Conference},
	doi = {10.1109/COMPSACW.2012.37},
	unique-id = {23929712},
	year = {2012},
	pages = {152-157}
}

@article{MTMT:24124101,
	title = {Modeling and non-functional analysis of service-oriented architectures using AADL},
	url = {https://m2.mtmt.hu/api/publication/24124101},
	author = {Aminpour, R and Rafe, V and Rahmanei, M},
	journal-iso = {SCI RES ESSAYS},
	journal = {SCIENTIFIC RESEARCH AND ESSAYS},
	volume = {6},
	unique-id = {24124101},
	issn = {1992-2248},
	year = {2011},
	pages = {3504-3513}
}

@inproceedings{MTMT:2665656,
	title = {A Model-driven Framework for Guided Design Space Exploration},
	url = {https://m2.mtmt.hu/api/publication/2665656},
	author = {Hegedüs, Ábel and Horváth, Ákos and Ráth, István Zoltán and Varró, Dániel},
	booktitle = {2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011},
	doi = {10.1109/ASE.2011.6100051},
	unique-id = {2665656},
	abstract = {Design space exploration (DSE) aims at searching through various 
		models representing different design candidates to support 
		activities like configuration design of critical systems or 
		automated maintenance of IT systems. In model-driven 
		engineering, DSE is applied to find instance models that are (i) 
		reachable from an initial model with a sequence of 
		transformation rules and (ii) satisfy a set of structural and 
		numerical constraints. Since exhaustive exploration of the 
		design space is infeasible for large models, the traversal is 
		often guided by hints, derived by system analysis, to prioritize 
		the next states to traverse (selection criteria) and to avoid 
		searching unpromising states (cut-off criteria). In this paper, 
		we define an exploration approach where selection and cut-off 
		criteria are defined using dependency analysis of transformation 
		rules and an algebraic abstraction. The approach is evaluated 
		against other exploration techniques and illustrated on a cloud 
		infrastructure configuration problem.},
	year = {2011},
	pages = {173-182},
	orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348; Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:23885457,
	title = {Verification and validation of model refinement implemented through graph transformation systems},
	url = {https://m2.mtmt.hu/api/publication/23885457},
	author = {Khedmati, M and Rafeh, V and Rahmani, M},
	journal-iso = {INT J PHYS SCI},
	journal = {INTERNATIONAL JOURNAL OF PHYSICAL SCIENCES},
	volume = {6},
	unique-id = {23885457},
	issn = {1992-1950},
	year = {2011},
	pages = {4086-4090}
}

@article{MTMT:23929711,
	title = {Galoan: A multi-agent approach to herd cows},
	url = {https://m2.mtmt.hu/api/publication/23929711},
	author = {Rafe, V and Nikanjam, A and Rezaei, M},
	doi = {10.1007/s10472-011-9227-0},
	journal-iso = {ANN MATH ARTIF INTEL},
	journal = {ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
	volume = {61},
	unique-id = {23929711},
	issn = {1012-2443},
	year = {2011},
	eissn = {1573-7470},
	pages = {333-348}
}

@CONFERENCE{MTMT:24124102,
	title = {Style-based modeling and verification of fault tolerance service oriented architectures},
	url = {https://m2.mtmt.hu/api/publication/24124102},
	author = {Rafe, V and Mahdian, F},
	booktitle = {Procedia Computer Science},
	doi = {10.1016/j.procs.2010.12.159},
	unique-id = {24124102},
	year = {2011},
	pages = {972-976}
}

@inproceedings{MTMT:23929704,
	title = {Model checking of adaptive programs with mode-extended linear temporal logic},
	url = {https://m2.mtmt.hu/api/publication/23929704},
	author = {Zhao, Y and Ma, D and Li, J and Li, Z},
	booktitle = {Proceedings - 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, EASe 2011},
	doi = {10.1109/EASe.2011.13},
	unique-id = {23929704},
	year = {2011},
	pages = {40-48}
}

@inproceedings{MTMT:23929687,
	title = {Monarch: Model-based development of software architectures},
	url = {https://m2.mtmt.hu/api/publication/23929687},
	author = {Bagheri, H and Sullivan, K},
	booktitle = {Model Driven Engineering Languages and Systems},
	doi = {10.1007/978-3-642-16129-2_27},
	unique-id = {23929687},
	year = {2010},
	pages = {376-390}
}

@mastersthesis{MTMT:24127377,
	title = {Graph-based Pattern Matching and Discovery for Process-centric Service Architecture Design and Integration},
	url = {https://m2.mtmt.hu/api/publication/24127377},
	author = {Gacitua-Decar, V},
	unique-id = {24127377},
	year = {2010}
}

@inproceedings{MTMT:23929688,
	title = {Different models of dependable services in service-oriented architecture},
	url = {https://m2.mtmt.hu/api/publication/23929688},
	author = {Mahdian, F and Rafe, V},
	booktitle = {ICACTE 2010 - 2010 3rd International Conference on Advanced Computer Theory and Engineering, Proceedings},
	doi = {10.1109/ICACTE.2010.5579029},
	unique-id = {23929688},
	year = {2010},
	pages = {V1217-V1220}
}

@inproceedings{MTMT:23929705,
	title = {Towards a graph grammar based verification approach for runtime constrained evolution of service-oriented architectures},
	url = {https://m2.mtmt.hu/api/publication/23929705},
	author = {Zhao, Y and Zhao, B and Liu, M and Hu, C and Ma, D},
	booktitle = {Proceedings - 5th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2010},
	doi = {10.1109/SOSE.2010.12},
	unique-id = {23929705},
	year = {2010},
	pages = {159-164}
}

@article{MTMT:23929720,
	title = {Semi-formal models to support program development: Autonomic management within component based parallel and distributed programming},
	url = {https://m2.mtmt.hu/api/publication/23929720},
	author = {Aldinucci, M and Danelutto, M and Kilpatrick, P},
	doi = {10.1007/978-3-642-04167-9_11},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {5751 LNCS},
	unique-id = {23929720},
	issn = {0302-9743},
	year = {2009},
	eissn = {1611-3349},
	pages = {204-225}
}

@article{MTMT:23929719,
	title = {A service-oriented UML profile with formal support},
	url = {https://m2.mtmt.hu/api/publication/23929719},
	author = {Bruni, R and Hölzl, M and Koch, N and Lluch, Lafuente A and Mayer, P and Montanari, U and Schroeder, A and Wirsing, M},
	doi = {10.1007/978-3-642-10383-4_34},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {5900 LNCS},
	unique-id = {23929719},
	issn = {0302-9743},
	year = {2009},
	eissn = {1611-3349},
	pages = {455-469}
}

@article{MTMT:23929681,
	title = {Hierarchical Design Rewriting with Maude},
	url = {https://m2.mtmt.hu/api/publication/23929681},
	author = {Bruni, R and Lluch, Lafuente A and Montanari, U},
	doi = {10.1016/j.entcs.2009.05.012},
	journal-iso = {ELECTR NOTES COMPUT SCI},
	journal = {ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE},
	volume = {238},
	unique-id = {23929681},
	issn = {1571-0661},
	year = {2009},
	pages = {45-62}
}

@article{MTMT:23929496,
	title = {A Graph-based Design Framework for Global Computing Systems},
	url = {https://m2.mtmt.hu/api/publication/23929496},
	author = {Bucchiarone, A and Dennis, G and Gnesi, S},
	doi = {10.1016/j.entcs.2009.03.018},
	journal-iso = {ELECTR NOTES COMPUT SCI},
	journal = {ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE},
	volume = {236},
	unique-id = {23929496},
	issn = {1571-0661},
	year = {2009},
	pages = {117-130}
}

@{MTMT:24130135,
	title = {Ontology-based patterns for the integration of business processes and enterprise application architectures},
	url = {https://m2.mtmt.hu/api/publication/24130135},
	author = {Gacitua-Decar, V and Pahl, C},
	booktitle = {Semantic Enterprise Application Integration for Business Processes: Service-Oriented Frameworks},
	doi = {10.4018/978-1-60566-804-8.ch003},
	publisher = {IGI Global},
	unique-id = {24130135},
	year = {2009},
	pages = {36-60}
}

@inproceedings{MTMT:23929708,
	title = {Automatic refinement of platform independent models using graph transformation system},
	url = {https://m2.mtmt.hu/api/publication/23929708},
	author = {Hashemi, S and ZadMiralvad, M R},
	booktitle = {4th International Conference on Frontier of Computer Science and Technology, FCST 2009},
	doi = {10.1109/FCST.2009.116},
	unique-id = {23929708},
	year = {2009},
	pages = {424-428}
}

@article{MTMT:2653432,
	title = {Model transformations for performability analysis of service configurations},
	url = {https://m2.mtmt.hu/api/publication/2653432},
	author = {Gönczy, László and Zs, Déri and Varró, Dániel},
	doi = {10.1007/978-3-642-01648-6_17},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {5421},
	unique-id = {2653432},
	issn = {0302-9743},
	abstract = {As more and more business-critical systems are based upon services deployed over flexible and dynamic platforms like Service-Oriented Architecture (SOA), there is an increasing need for such services to meet their non-functional requirements like reliability, availability, security, etc. To achieve such objectives, these services need tobe designed carefully making critical design decisions early in the development process on an architectural level.
		
		In the current paper, we aim at carrying out a performability analysis of service configurations to estimate the cost of using reliable messaging techniques for services with respect to performance. Such an analysis is enabled by automated model transformations carried out within the VIATRA2 framework.},
	year = {2009},
	eissn = {1611-3349},
	pages = {153-166},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:21489748,
	title = {Considering faults in service-oriented architecture: A graph transformation- based approach},
	url = {https://m2.mtmt.hu/api/publication/21489748},
	author = {Mahdian, F and Rafe, V and Rafeh, R and Miralvand, M R Z},
	booktitle = {ICCTD 2009 - 2009 International Conference on Computer Technology and Development},
	doi = {10.1109/ICCTD.2009.171},
	unique-id = {21489748},
	year = {2009},
	pages = {179-183}
}

@CONFERENCE{MTMT:23929680,
	title = {Modeling fault tolerant services in service-oriented architecture},
	url = {https://m2.mtmt.hu/api/publication/23929680},
	author = {Mahdian, F and Rafe, V and Rafeh, R and Rahmani, A T},
	booktitle = {Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009},
	doi = {10.1109/TASE.2009.41},
	unique-id = {23929680},
	year = {2009},
	pages = {319-320}
}

@inproceedings{MTMT:21490101,
	title = {Automatic refinement of platform independent models},
	url = {https://m2.mtmt.hu/api/publication/21490101},
	author = {Miralvand, M R Z and Rafe, V and Rafeh, R and Hajiee, M},
	booktitle = {ICCTD 2009 - 2009 International Conference on Computer Technology and Development},
	doi = {10.1109/ICCTD.2009.170},
	unique-id = {21490101},
	year = {2009},
	pages = {191-195}
}

@article{MTMT:23929047,
	title = {Towards automated software model checking using graph transformationsystems and Bogor},
	url = {https://m2.mtmt.hu/api/publication/23929047},
	author = {Rafe, V and Rahmani, AT},
	doi = {10.1631/jzus.A0820415},
	journal-iso = {J ZHEJIANG UNIV-SCI A},
	journal = {JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE A},
	volume = {10},
	unique-id = {23929047},
	issn = {1673-565X},
	year = {2009},
	eissn = {1862-1775},
	pages = {1093-1105}
}

@article{MTMT:24135026,
	title = {Towards automated verification of layered graph transformation specifications},
	url = {https://m2.mtmt.hu/api/publication/24135026},
	author = {Rafe, V and Rahmani, AT and Baresi, L and Spoletini, P},
	doi = {10.1049/iet-sen.2008.0059},
	journal-iso = {IET SOFTW},
	journal = {IET SOFTWARE},
	volume = {3},
	unique-id = {24135026},
	issn = {1751-8806},
	year = {2009},
	eissn = {1751-8814},
	pages = {276-291}
}

@inproceedings{MTMT:21490102,
	title = {Automatic development of service oriented models using graph transformation systems},
	url = {https://m2.mtmt.hu/api/publication/21490102},
	author = {Raftari, M and Joodaki, S},
	booktitle = {TENCON 2009, 2009 IEEE Region 10 Conference},
	doi = {10.1109/TENCON.2009.5395983},
	unique-id = {21490102},
	year = {2009}
}

@inproceedings{MTMT:24130143,
	title = {A graph transformation based approach for runtime constrained evolution of service-oriented architectures},
	url = {https://m2.mtmt.hu/api/publication/24130143},
	author = {Zhao, Y and Ma, D and Liu, M and Hu, C and Huang, Y},
	booktitle = {17th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2009},
	doi = {10.1109/.8},
	publisher = {IEEE Computer Society},
	unique-id = {24130143},
	year = {2009},
	pages = {203-209}
}

@article{MTMT:24130097,
	title = {Hierarchical design rewriting with Maude},
	url = {https://m2.mtmt.hu/api/publication/24130097},
	author = {Bruni, R and Lafuente, AL and Montanari, U},
	journal-iso = {ELECTR NOTES COMPUT SCI},
	journal = {ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE},
	volume = {2008},
	unique-id = {24130097},
	issn = {1571-0661},
	year = {2008},
	pages = {35-51}
}

@article{MTMT:23929721,
	title = {Service oriented architectural design},
	url = {https://m2.mtmt.hu/api/publication/23929721},
	author = {Bruni, R and Lluch, Lafuente A and Montanari, U and Tuosto, E},
	doi = {10.1007/978-3-540-78663-4_14},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {4912 LNCS},
	unique-id = {23929721},
	issn = {0302-9743},
	year = {2008},
	eissn = {1611-3349},
	pages = {186-203}
}

@article{MTMT:23929696,
	title = {Style based architectural reconfigurations},
	url = {https://m2.mtmt.hu/api/publication/23929696},
	author = {Bruni, R and Lafuente, A L and Montanari, U and Tuosto, E},
	volume = {94},
	unique-id = {23929696},
	year = {2008},
	pages = {161-180}
}

@book{MTMT:23929699,
	title = {Architectural styles for early goal-driven middleware platform selection},
	url = {https://m2.mtmt.hu/api/publication/23929699},
	isbn = {3940019542},
	author = {Giesecke, S},
	publisher = {GITO mbH Verlag für Industrielle Informationstechnik und Organisation},
	unique-id = {23929699},
	year = {2008}
}

@CONFERENCE{MTMT:27183491,
	title = {Model driven performability analysis of service configurations with reliable messaging?},
	url = {https://m2.mtmt.hu/api/publication/27183491},
	author = {Gonczy, L and Deri, Z and Varro, D},
	booktitle = {4th International Workshop on Model-Driven Web Engineering, MDWE 2008},
	unique-id = {27183491},
	year = {2008},
	pages = {61-75}
}

@misc{MTMT:23929698,
	title = {Dynamic system adaptation by constraint orchestration},
	url = {https://m2.mtmt.hu/api/publication/23929698},
	author = {Groenewegen, LPJ and de Vink, EP},
	unique-id = {23929698},
	year = {2008}
}

@CONFERENCE{MTMT:23929697,
	title = {Mdd4soa: Model-driven service orchestration},
	url = {https://m2.mtmt.hu/api/publication/23929697},
	author = {Mayer, P and Schroeder, A and Koch, N},
	booktitle = {Enterprise Distributed Object Computing Conference, 2008. EDOC'08. 12th International IEEE},
	doi = {10.1109/EDOC.2008.55},
	publisher = {Institute of Electrical and Electronics Engineers},
	unique-id = {23929697},
	year = {2008},
	pages = {203-212}
}

@CONFERENCE{MTMT:23929693,
	title = {Putting teeth into open architectures: Infrastructure for reducing the need for retesting},
	url = {https://m2.mtmt.hu/api/publication/23929693},
	author = {Berzins, V and Rodriguez, M},
	booktitle = {4th Annual Acquisition Research Symposium of the Naval Postgraduate School},
	publisher = {Naval Postgraduate School},
	unique-id = {23929693},
	year = {2007},
	pages = {285-312}
}

@CONFERENCE{MTMT:23929695,
	title = {A style-based architecture modelling approach for uml 2 component diagrams},
	url = {https://m2.mtmt.hu/api/publication/23929695},
	author = {Giesecke, S and Marwede, F and Rohr, M and Hasselbring, W},
	booktitle = {11th IASTED International Conference Software Engineering and Applications (SEA 2007), Cambridge, MA, USA, Anaheim, CA, USA, ACTA Press},
	unique-id = {23929695},
	year = {2007},
	pages = {530-538}
}

@CONFERENCE{MTMT:24127419,
	title = {Methodology for a Precise Development Process of Service Oriented Applications},
	url = {https://m2.mtmt.hu/api/publication/24127419},
	author = {Gönczy, L},
	booktitle = {2nd European Young Researchers Workshop on Service Oriented Computing},
	publisher = {s.n.},
	unique-id = {24127419},
	year = {2007},
	pages = {50-55}
}

@inproceedings{MTMT:2614848,
	title = {Model-Based Testing of Service Infrastructure Components},
	url = {https://m2.mtmt.hu/api/publication/2614848},
	author = {Gönczy, László and Heckel, R and Varró, Dániel},
	booktitle = {Testing of Software and Communicating Systems},
	doi = {10.1007/978-3-540-73066-8_11},
	unique-id = {2614848},
	year = {2007},
	pages = {155-170},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:24130147,
	title = {A new architecture description language for service-oriented architecture},
	url = {https://m2.mtmt.hu/api/publication/24130147},
	author = {Jia, X and Ying, S and Zhang, T and Cao, H and Xie, D},
	booktitle = {6th International Conference on Grid and Cooperative Computing, GCC 2007},
	doi = {10.1109/GCC.2007.18},
	publisher = {Institute of Electrical and Electronics Engineers},
	unique-id = {24130147},
	year = {2007},
	pages = {96-103}
}

@article{MTMT:23929694,
	title = {Architecture-driven service discovery for service centric systems},
	url = {https://m2.mtmt.hu/api/publication/23929694},
	author = {Kozlenkov, A and Spanoudakis, G and Zisman, A and Fasoulas, V and Sanchez, F},
	doi = {10.4018/jwsr.2007040104},
	journal-iso = {INT J WEB SERV RES},
	journal = {INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH},
	volume = {4},
	unique-id = {23929694},
	issn = {1545-7362},
	year = {2007},
	eissn = {1546-5004},
	pages = {82-113}
}

@article{MTMT:1635306,
	title = {An Eclipse-Based Framework for AIS Service Configurations},
	url = {https://m2.mtmt.hu/api/publication/1635306},
	author = {Kövi, András and Varró, Dániel},
	doi = {10.1007/978-3-540-72736-1_10},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {4526},
	unique-id = {1635306},
	issn = {0302-9743},
	abstract = {In the paper, we propose an Eclipse-based model-driven framework to support an integrated development, analysis and deployment of Application Interface Specification (AIS) service configurations. Service configurations are first captured by platform-independent models (PIM), which directly correspond to the AIS standard itself, and abstract from vendor-specific details. Specificities of vendor-specific AIS middleware are incorporated into platform-specific models (PSM), which are derived from PIMs by automatic model transformations. Model analysis can be carried out either on the PIM-level to ensure standard compliance of a given service configuration, or on the PSM-level to detect availability bottlenecks by formal analysis early in the service configuration design. Finally, deployment descriptors of the selected AIS platform are generated from verified service configurations by automatic code generation techniques.},
	year = {2007},
	eissn = {1611-3349},
	pages = {110-126},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:24130145,
	title = {Towards instant automatic model refinement based on OCL},
	url = {https://m2.mtmt.hu/api/publication/24130145},
	author = {Song, H and Sun, Y and Zhou, L and Huang, G},
	booktitle = {14th Asia Pacific Software Engineering Conference, ASPCE 2007},
	doi = {10.1109/APSEC.2007.96},
	publisher = {Institute of Electrical and Electronics Engineers},
	unique-id = {24130145},
	year = {2007},
	pages = {167-174}
}

@inproceedings{MTMT:23929692,
	title = {UML-based service discovery tool},
	url = {https://m2.mtmt.hu/api/publication/23929692},
	author = {Spanoudakis, G and Zisman, A},
	booktitle = {21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006},
	doi = {10.1109/ASE.2006.70},
	unique-id = {23929692},
	year = {2006},
	pages = {361-362}
}

@article{MTMT:23885572,
	title = {Semantic-based development of service-oriented systems},
	url = {https://m2.mtmt.hu/api/publication/23885572},
	author = {Wirsing, M and Clark, A and Gilmore, S and Hoelzl, M and Knapp, A and Koch, N and Schroeder, A},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {4229},
	unique-id = {23885572},
	issn = {0302-9743},
	year = {2006},
	eissn = {1611-3349},
	pages = {24-45}
}

@mastersthesis{MTMT:23929691,
	title = {Web Engineering für asynchrone Anwendungen},
	url = {https://m2.mtmt.hu/api/publication/23929691},
	author = {Zahalka, J},
	doi = {10.3239/9783638481632},
	unique-id = {23929691},
	year = {2006}
}