Publikációk

Export 134 results:
Rendezés: Szerző Cím [ Típus (Asc)] Év
Szűrők: Szerző = Dániel Varró  [Minden szűrő visszaállítása]
Book
Pataricza, A., Bartha, T., Csertán, G., Gyapay, S., Majzik, I., and Varró, D., Formális módszerek az informatikában, : Typotex, 2004.

In Hungarian

Book Chapter
Pataricza, A., and Varró, D., Formal Methods in Computing, : {Akadémiai Kiadó, pp. 357–425, 2005.
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract

10.1007/978-3-642-21470-7_32

Gönczy, L., Hegedüs, Á., and Varró, D., "Methodologies for Model-Driven Development and Deployment: an Overview", Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, no. 6582: Springer-Verlag, 2011. Abstract
Grunske, L., Geiger, L., Zündorf, A., Van Eetvelde, N., Gorp, P V., and Varró, D., Model Driven Software Engineering, : Springer, pp. 91–118, 2005. Abstract
Bergmann, G., Boronat, A., Heckel, R., Torrini, P., Ráth, I., and Varró, D., "Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing", Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing: Springer, 2010.
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011. Abstract

10.1007/978-3-642-24755-2_35

Bergmann, G., Massacci, F., Paci, F., Tun, T T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012. Abstract

10.1007/978-3-642-29749-6_8

Pataricza, A., Varró, D., Majzik, I., Polgár, B., Ráth, I., and Horváth, Á., "Workflow-Driven Tool Integration Using Model Transformation", Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
Journal Article
Varró, D., "Automated Formal Verification of Visual Modeling Languages by Model Checking", Journal of Software and Systems Modeling, vol. 3, no. 2, pp. 85–113, May, 2004. Abstract
Horváth, Á., Varró, D., and Varró, G., "Automatic generation of platform-specific transformation", Info-Communications-Technology, vol. LXI, no. 7, pp. 40–45, 2006. Abstract
Bergmann, G., Ráth, I., Varró, G., and Varró, D., "Change-driven model transformations. Change (in) the rule to rule the change.", Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
Varró, D., Varró, G., and Pataricza, A., "Designing the Automatic Transformation of Visual Languages", Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002. Abstract
Horváth, Á., and Varró, D., "Dynamic constraint satisfaction problems over models", Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012. Abstract
Horváth, Á., Bergmann, G., Ráth, I., and Varró, D., "Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2", International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010. Abstract
Kovács, Máté, Gönczy, L., and Varró, D., "Formal analysis of BPEL workflows with compensation by model checking", International Journal of Computer Systems and Engineering, vol. 23, no. 5, 2008. Abstract
Horváth, Á., Varró, D., and Varró, G., "Generic Search Plans for Matching Advanced Graph Patterns", Electronic Communications of the EASST, vol. 6, 2007. Abstract

Selected papers of GT-VMT 2007: Graph Transformation and Visual Modelling Techniques 2007

Varró, G., Friedl, K., and Varró, D., "Graph Transformation in Relational Databases", Journal of Software and Systems Modelling, vol. 5, no. 3, pp. 313–341, September, 2006. Abstract
Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time", Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003. Abstract
Paige, R. F., and Varró, D., "Lessons Learned from Building Model-Driven Development Tools", Software and Systems Modeling, 2012. Abstract
Balogh, Z., and Varró, D., "Model Transformation by Example Using Inductive Logic Programming", Software and Systems Modeling, vol. 8, no. 3, pp. 347-364, 2009.
Varró, D., and Balogh, A., "The Model Transformation Language of the VIATRA2 Framework", Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007. Abstract
Gönczy, L., Kovács, Máté, and Varró, D., "Modeling and Verification of Reliable Messaging by Graph Transformation Systems", Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007. Abstract
Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., and Varró, D., "Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems", Software and Systems Modeling, 2010. Abstract

Appeared online

Varró-Gyapay, S., and Varró, D., "Optimization in Graph Transformation Systems Using Petri Net Based Techniques", Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006. Abstract

Selected papers of Workshop on Petri Nets and Graph Transformations

Nyelvek

  • English
  • Magyar

Belépés