Publikációk

Export 424 results:
Rendezés: Szerző Cím Típus [ Év  (Desc)]
2006
Kövi, A., Varró, D., and Németh, Z., "Making Legacy Services Highly-Available with OpenAIS: An Experience Report", Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006. Abstract
Varró, D., "Model Transformation by Example", Proc. Model Driven Engineering Languages and Systems (MODELS 2006), vol. 4199, Genova, Italy, Springer, pp. 410–424, 2006. Abstract
Acceptance rate: 29%
Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., and Taentzer, G., "Termination Analysis of Model Transformations by Petri Nets", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006. Abstract
Acceptance rate: 45%
Varró, G., Varró, D., and Friedl, K., "Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006. Abstract
Mens, T., Gorp, P V., Karsai, G., and Varró, D., "Applying a Model Transformation Taxonomy to Graph Transformation Technology", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 143–159, 2006. Abstract
Ráth, I., "Declarative mapping between abstract and concrete syntax of domain-specific visual languages", The Proceedings of the Fifth Conference of PhD Students in Computer Science, 2006.
Varró, G., Varró, D., and Schürr, A., "Incremental Graph Pattern Matching: Data Structures and Initial Experiments", Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006. Abstract
Darabos, A., Pataricza, A., and Varró, D., "Towards Testing the Implementation of Graph Transformations", Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006. Abstract
Zündorf, A., and Varró, D., "Workshop on Graph-Based Tools.", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 465-466, 2006.
Ráth, I., Declarative Specification of Domain Specific Visual Languages, : Budapest University of Technology and Economics, 2006.
Vágó, D., Simulation and transformation of domain-specific languages, : Budapest University of Technology and Economics, 2006.
2005
Pataricza, A., and Varró, D., Formal Methods in Computing, : {Akadémiai Kiadó, pp. 357–425, 2005.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Methods of Checking General Safety Criteria in Uml Statechart Specifications", RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005. Abstract
Pintér, G., and Majzik, I., "Modeling and analysis of exception handling by using UML statecharts", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005. Abstract
Polgár, B., Selényi, E., and Bartha, T., "On The Extension And Applicability of The P-graph Modeling Paradigm to System-level Diagnostic Problems", SCALABLE COMPUTING PRACTICE AND EXPERIENCE, vol. 6, issue 2, pp. 45 - 57, 2005.
Pintér, G., and Majzik, I., "Runtime verification of statechart implementations", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005. Abstract
Varró, G., Schürr, A., and Varró, D., "Benchmarking for Graph Transformation", Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05), Dallas, Texas, USA, IEEE Press, pp. 79–88, September, 2005. Abstract
Acceptance rate: 31%
Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., and Varró-Gyapay, S., "Termination Criteria for Model Transformation", Proc. FASE 2005: Internation Conference on Fundamental Approaches to Software Engineering, vol. 3442, Edinburgh, UK,, Springer, pp. 49–63, April, 2005. Abstract
Acceptance rate: 22%
Pintér, G., and Majzik, I., "Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements", Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005): IEEE Computer Society Press, pp. 111 - 120, 2005.