Publikációk

Export 518 results:
Rendezés: Szerző Cím [ Típus  (Asc)] Év
Journal Article
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
Majzik, I., and Péceli, G., "Idő- és eseményvezérelt kommunikáció beágyazott számítógépes rendszerekben", ELEKTROTECHNIKA, vol. 97, issue Tudományos különszám, pp. 19 - 22, 2004.
Darvas, D., Vörös, A., and Bartha, T., "Improving Saturation-based Bounded Model Checking", Acta Cybernetica, vol. 22, issue 3, no. 3, pp. 573-589, 2016.
Bartha, T., and Gáspár, P., "Integrált irányítási alkalmazások járműrendszerekben.", Jövő Járműve - Járműipari Innováció, issue 1-2, pp. 28 - 31, 2007.
Horváth, Á., and Horváth, L., "Manapság már Magyarországon is óránként készülnek az új "Fürdö utca 10"-ek", Híradástechnika, vol. 61(5), no. 5: Híradástechnikai társulat, pp. 58–59, 2006.
Micskei, Z., and Waeselynck, H., "The many meanings of UML 2 Sequence Diagrams: a survey", Software and Systems Modeling, vol. 10, issue 4: Springer Berlin / Heidelberg, pp. 489-514, 2011. Abstract
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Methods of Checking General Safety Criteria in Uml Statechart Specifications", RELIABILITY ENGINEERING & SYSTEM SAFETY, vol. 87, issue 1, pp. 89 - 107, 2005. Abstract
Graics, B., Molnár, V., Vörös, A., Majzik, I., and Varró, D., "Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems", Software and Systems Modeling, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020. Abstract
Molnár, V., and Majzik, I., "Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms", Periodica Polytechnica Electrical Engineering and Computer Science, vol. 61, no. 2, pp. 132-150, 2017.
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
Hegedüs, Á., Horváth, Á., and Varró, D., "A model-driven framework for guided design space exploration", Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015. Abstract
Pintér, G., and Majzik, I., "Modeling and analysis of exception handling by using UML statecharts", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3409, pp. 58 - 67, 2005. Abstract
Majzik, I., Hohl, W., Pataricza, A., and Sieh, V., "Multiprocessor Checking Using Watchdog Processors", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 11, issue 5, pp. 301 - 310, 1996. Abstract
Polgár, B., Selényi, E., and Bartha, T., "On The Extension And Applicability of The P-graph Modeling Paradigm to System-level Diagnostic Problems", SCALABLE COMPUTING PRACTICE AND EXPERIENCE, vol. 6, issue 2, pp. 45 - 57, 2005.
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
Bergmann, G., Ráth, I., and Varró, D., "Parallelization of Graph Transformation Based on Incremental Pattern Matching", Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 18, 2009. Abstract