Publications

Export 502 results:
Sort by: [ Author (Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
V
Varró, D., and Pataricza, A., An XML Schema Description of Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001. Abstract
Varró, D., and Pataricza, A., "VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML", Journal of Software and Systems Modeling, vol. 2, no. 3: Springer, pp. 187–210, October, 2003. Abstract
Varró, D., Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., and Ujhelyi, Z., "Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework", Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016. Abstract
Varró, G., Friedl, K., and Varró, D., "Graph Transformations in Relational Databases", Proc. GraBaTs 2004: International Workshop on Graph Based Tools, Rome, Italy, Elsevier, October, 2004. Abstract
In press
Varró, D., Varró, G., and Pataricza, A., Towards an XMI–Based Model Interchange Format for Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000. Abstract
Varró, D., and Pataricza, A., "UML modellek automatikus transzformációi", OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
Varró, D., and Pataricza, A., "Generic and Meta-Transformations for Model Transformation Engineering", Proc. UML 2004: 7th International Conference on the Unified Modeling Language, vol. 3273, Lisbon, Portugal, Springer, pp. 290–304, October 10–15, 2004. Abstract
Acceptance rate: 22%
Varró, D., "Grafikus nyelvek automatikus transzformációjának tervezése", Végzõs Konferencia '2000, Budapest, Hungary, Budapest University of Technology and Economics, pp. 454–459, April 26, 2000.
Varró, D., "Incremental Queries and Transformations: From Concepts to Industrial Applications", SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, vol. 9587, Harrachov, Czech Republic, Springer, pp. 51–59, 2016. Abstract
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
Varró, D., "UML Based Modeling and Development of J2EE Applications: Course Experiences", MODELS 2006: Educators Symposium, Genova, Italy, 2006. Abstract
Varró, G., Horváth, Á., and Varró, D., "Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, 2007. Abstract
Varró, D., "Automated Program Generation in VIATRA", Mini–Symposium 2002, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 34–35, February 4–5, 2002.
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
Vörös, A., Bartha, T., Darvas, D., Szabó, T., Jámbor, A., and Horváth, Á., "Parallel Saturation Based Model Checking", The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
Vörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I., "Industrial applications of the PetriDotNet modelling and analysis tool", Science of Computer Programming, vol. 157, pp. 17-40, 2018. Abstract
Vörös, A., Darvas, D., and Bartha, T., "Bounded saturation-based CTL model checking", Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
Vörös, A., Búr, M., Ráth, I., Horváth, Á., Micskei, Z., Balogh, L., Hegyi, B., Horváth, B., Mázló, Z., and Varró, D., "MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems", NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018. Abstract
Vörös, A., Darvas, D., Jámbor, A., and Bartha, T., "Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets", Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 58, no. 1, pp. 11, 2014.
Vörös, A., Darvas, D., and Bartha, T., "Bounded Saturation Based CTL Model Checking.", 12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., and Majzik, I., "PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016. Abstract
W
Waeselynck, H., Micskei, Z., Nguyen, M D., and Rivière, N., "Mobile Systems from a Validation Perspective: a Case Study", Sixth International Symposium on Parallel and Distributed Computing (ISPDC07): IEEE Computer Society Press, pp. 85 - 92, 2007.
Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I., "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012. Abstract
Waudby, J., Steer, B. A., Karimov, K., Marton, J., Boncz, P., and Szárnyas, G., "Towards Testing ACID Compliance in the LDBC Social Network Benchmark", TPCTC, 2020.
Waudby, J., Steer, B. A., Prat-Pérez, A., and Szárnyas, G., "Supporting Dynamic Graphs and Temporal Entity Deletions in the LDBC Social Network Benchmark's Data Generator", GRADES-NDA at SIGMOD/PODS: ACM, 2020.

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login