Publikációk

Export 163 results:
Rendezés: Szerző Cím [ Típus (Desc)] Év
Szűrők: Az Utónév Első Betűje = S  [Minden szűrő visszaállítása]
Miscellaneous
Ráth, I., Schmidt, A., and Vágó, D., Automated Model Transformations in Domain Specific Visual Languages, , October, 2005.
Varró, G., Schürr, A., and Varró, D., Benchmarking for Graph Transformation, , no. TUB-TR-05-EE17: Budapest University of Technology and Economics, March, 2005.
Report
Elekes, M., Antal, J B., and Szárnyas, G., An analysis of the SIGMOD 2014 Programming Contest: Complex queries on the LDBC social network graph, , 2020.
Szombath, I., Investigating Indirect Dependencies in Bipartite Cliques of IT Infrastructure Topology, : IBM Research Zurich, 2008.
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., Train Benchmark Technical Report, : Budapest University of Technology and Economics, 2014.
Salánki, Á., Kocsis, I., and A, P., Understanding Performance and its Anomalies in a VCL Cloud Using Rare Event Analysis, , 2014.
Thesis
Semeráth, O., "Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers", Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, pp. 186, 03/2019.
Szárnyas, G., "Multidimenziós adatkezelés és bitmap indexelés", Department of Telecommunications and Media Informatics, vol. BSc: Budapest University of Technology and Economics, pp. 82, 12/2011.
Szárnyas, G., Query, Analysis, and Benchmarking Techniques for Evolving Property Graphs of Software Systems, : Budapest University of Technology and Economics, 2019.
Szárnyas, G., "Superscalable Modeling", Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
Conference Proceedings
Semeráth, O., Vörös, A., and Varró, D., "Iterative and incremental model generation by logic solvers", 19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
Szárnyas, G., Semeráth, O., Izsó, B., Debreceni, C., Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Movie Database Case: An EMF-IncQuery Solution", 7th Transformation Tool Contest, York, United Kingdom, 2014. Abstract
Conference Paper
Lollini, P., Montecchi, L., Magyar, M., Majzik, I., and Bondavalli, A., "Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
Ujhelyi, Z., Horváth, Á., Varró, D., Csiszár, N I., Szőke, G., Vidács, L., and Ferenc, R., "Anti-pattern Detection with Model Queries: A Comparison of Approaches", IEEE CSMR-WCRE 2014 Software Evolution Week: IEEE, 02/2014.
IEEE Best Paper Award, Acceptance rate: 31%
Szatmári, Z., Kövi, A., and Reitenspieß, M., "Applying MDA approach for the SA Forum platform", 3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
Semeráth, O., Babikian, A. A., Li, A., Marussy, K., and Varró, D., "Automated Generation of Consistent Models with Structural and Attribute Constraints", 23rd International Conference on Model Driven Engineering Languages and Systems, Canada, ACM / IEEE, 2020. Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
Sisak, Á., Pintér, G., and Majzik, I., "Automated Verification of Complex Behavioral Models Using the SAL Model Checker", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
Pintér, G., and Majzik, I., "Automatic Code Generation Based on Formally Analyzed UML Statechart Models", Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 45 - 52, 2003.
Varró, D., and Balogh, Z., "Automating Model Transformation by Example Using Inductive Logic Programming", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007. Abstract
Acceptance rate: 32%
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%
Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., "Change Propagation of View Models by Logic Synthesis Using SAT Solvers", Fifth International Workshop on Bidirectional Transformations (Bx 2016), Eindhoven, The Netherlands, 04/2016.
Ráth, I., Varró, G., and Varró, D., "Change-Driven Model Transformations", Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 342-356, 2009. Abstract
Springer Best Paper Award and ACM Distinguished Paper Award Acceptance rate: 18%
Nagy, A S., and Szárnyas, G., "Class Responsibility Assignment Case: a VIATRA-DSE Solution", 9th Transformation Tool Contest, Vienna, Austria, 2016.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Completeness and Consistency Analysis of UML Statechart Specifications", 11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Completeness and Consistency Analysis of UML Statechart Specifications", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 83 - 90, 2001.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció