Publications

Export 530 results:
Sort by: Author Title [ Type  (Asc)] Year
Conference Paper
Molnár, V., Graics, B., Vörös, A., Majzik, I., and Varró, D., "The Gamma Statechart Composition Framework", 40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
Polgár, B., "Generalisation of The Test Model of Multiprocessor Systems", Proc. of Phd. Mini-symposium 2002: IEEE Hungary Section BUTE Student Branch, pp. 36 - 37, 2002.
Honfi, D., and Micskei, Z., "Generating Unit Isolation Environment Using Symbolic Execution", Proceedings of the 23rd PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.
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%
Darvas, D., Majzik, I., and Blanco Viñuela, E., "Generic Representation of PLC Programming Languages for Formal Verification", Proceedings of the 23rd PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 6-9, 2016.
Marussy, K., Molnár, V., Vörös, A., and Majzik, I., "Getting the Priorities Right: Saturation for Prioritised Petri Nets", International Conference on Applications and Theory of Petri Nets and Concurrency: Springer, pp. 223–242, 2017.
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.
Semeráth, O., and Varró, D., "Graph Constraint Evaluation over Partial Models by Constraint Rewriting", Proceedings of the 10th International Conference on Theory and Practice of Model Transformation, Marburg, Germany, Springer, 2017.
Bergmann, G., Hegedüs, Á., Gerencsér, G., and Varró, D., "Graph Query by Example", First International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014), Valencia, Spain, 09/2014.
Bergmann, G., Ujhelyi, Z., Ráth, I., and Varró, D., "A Graph Query Language for EMF models", Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, vol. 6707: Springer, pp. 167-182, 2011. Abstract
Acceptance rate: 27%
Semeráth, O., Nagy, A S., and Varró, D., "A Graph Solver for the Automated Generation of Consistent Domain-Specific Models", 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
Horváth, Á., "Graph Transformation Based Constraint Solving", Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 2009.
Varró, G., and Varró, D., "Graph Transformation with Incremental Updates", Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 71-83, 2004. Abstract
Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time: Causality and Logical Clocks", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002. 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
Bergmann, G., "Graph Triggers and Incrementally Evaluated Queries over EMF Models", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 38-41, 02/2011.
Csertán, G., Majzik, I., Pataricza, A., Allmaier, S., and Hohl, W., "Hardware Accelerators for Petri-net Analysis", Proc. Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98): University of Vienna, Department of Applied Computer Science, pp. 99 - 104, 1998.
Horváth, Á., Hegedüs, Á., Búr, M., Varró, D., Starr, R R., and Mirachi, S., "Hardware-software allocation specification of IMA systems for early simulation", Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014. Abstract
Majzik, I., Pataricza, A., Dal Cin, M., Hohl, W., Hönig, J., and Sieh, V., "Hierarchical Checking of Multiprocessors Using Watchdog Processors", Dependable Computing - EDCC-1, Berlin ; Heidelberg, Springer-Verlag, pp. 386 - 403, 1994.
Pintér, G., and Majzik, I., "High-level Supervision of Program Execution Based on Formal Specification", Proceedings of The International Conference on Dependable Systems And Networks (DSN-2004) Workshop on Architecting Dependable Systems (Supplemental Volume): IEEE Computer Society Press, pp. 292 - 296, 2004.
Majzik, I., Pataricza, A., Hohl, W., Hönig, J., and Sieh, V., "A High-Speed Watchdog Processor for Multitasking Systems", Proc. Eighth Symposium on Microcomputer and Microprocessor Applications (uP'94): HTE, pp. 65 - 74, 1994.
Szombath, I., "Identification and Tracking of IT Infrastructure Patterns", Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.