Publications

Export 530 results:
Sort by: Author Title [ Type  (Desc)] Year
Report
Thesis
Varró, D., Automated Model Transformations for the Analysis of IT Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004. Abstract
Varró, D., Automatic Transformation of UML Models, : Budapest University of Technology and Economics, 2000.
Hegedüs, Á., "Back-annotation of Execution Sequences by Advanced Search and Traceability Techniques", Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, 06/2014. Abstract
Ráth, I., Declarative Specification of Domain Specific Visual Languages, : Budapest University of Technology and Economics, 2006.
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.
Darvas, D., Incremental extension of the saturation algorithm-based bounded model checking of Petri nets, , vol. MSc: Budapest University of Technology and Economics, pp. 127, 05/2014.
Bergmann, G., Incremental graph pattern matching and applications, : Budapest University of Technology and Economics, May, 2008.
Bergmann, G., Incremental Model Queries in Model-Driven Design, , vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Micskei, Z., Languages and frameworks for specifying test artifacts, : Budapest University of Technology and Economics, 2013.
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.
Vágó, D., Simulation and transformation of domain-specific languages, : Budapest University of Technology and Economics, 2006.
Ujhelyi, Z., Static Analysis of Model Transformations, : Budapest University of Technology and Economics, 2009.
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.
Ujhelyi, Z., Bergmann, G., and Varró, D., "Rete Network Slicing for Model Queries", Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, vol. 9761, Vienna, Austria, Springer International Publishing, pp. 137–152, 06/2016. Abstract