Publikációk

Export 528 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
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 
M
Majzik, I., and Darvas, Á., "Model Checking of Replication Management", Supplement of the EDCC-4 Conference - Fast Abstracts. Fourth European Dependable Computing Conference: LAAS-CNRS, pp. 7 - 8, 2002.
Rensink, A., Schmidt, Á., and Varró, D., "Model Checking Graph Transformations: A Comparison of Two Approaches", Proc. ICGT 2004: Second International Conference on Graph Transformation, vol. 3256, Rome, Italy, Springer, pp. 226–241, 2004. Abstract
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
L
Búr, M., Ujhelyi, Z., Horváth, Á., and Varró, D., "Local search-based pattern matching features in EMF-IncQuery", 8th International Conference on Graph Transformation, L'Aquila, Italy, Springer, 07/2015. Abstract
Tool demonstration paper
Ráth, I., Bergmann, G., Ökrös, A., and Varró, D., "Live Model Transformations Driven by Incremental Pattern Matching", Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), vol. 5063/2008: Springer Berlin / Heidelberg, pp. 107–121, 2008. Abstract
Acceptance rate: 31%
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata with Discrete Variables", Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018. Abstract
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata using Interpolants", Formal Modelling and Analysis of Timed Systems, vol. 10419: Springer, pp. 264–280, 2017. Abstract