Publications

Export 67 results:
Sort by: Author [ Title  (Desc)] Type Year
Filters: First Letter Of Title is M  [Clear All Filters]
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   [Show ALL]
M
Horváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R., "Model Checking as a Service: Towards Pragmatic Hidden Formal Methods", Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
Dobos-Kovács, M., and Vörös, A., "Model checking and test generation: towards a combined approach to software verification", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019. Abstract
Pintér, G., and Majzik, I., "Model Based Automatic Code Generation for Embedded Systems", Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 97 - 106, 2007.
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.
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, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020. Abstract
Graics, B., and Molnár, V., "Mix-and-Match Composition in the Gamma Framework", 25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018. 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
Gönczy, L., Hegedüs, Á., and Varró, D., "Methodologies for Model-Driven Development and Deployment: an Overview", Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, no. 6582: Springer-Verlag, 2011. Abstract
Varró, D., and Pataricza, A., "Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models", Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002. Abstract
Acceptance rate: 30%
Domokos, P., Majzik, I., and Varró, D., "Megbízhatósági modellek automatikus generálása gráftranszformációval", Fiatal Műszakiak Tudományos Ülésszaka IX., Kolozsvár, pp. 101 - 104, 2004.
Varró, D., and Pataricza, A., Mathematical Model Transformations for System Verification, : Budapest University of Technology and Economics, May, 2001.
Varró, D., and Pataricza, A., Mathematical Model Transformation for System Verification, : Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000. Abstract
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
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.
Hajdu, Á., Making the TTreeReader interface more accessible, , no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
Kövi, A., Varró, D., and Németh, Z., "Making Legacy Services Highly-Available with OpenAIS: An Experience Report", Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006. Abstract