Publikációk

Export 530 results:
Rendezés: Szerző Cím Típus [ Év  (Desc)]
2002
Majzik, I., "TCP/IP on top of TTP/C", Proc. NextTTA Workshop on the Integration of Event-Triggered and Time-Triggered Services, Grenoble, pp. 55 - 67, 2002.
Darvas, Á., Majzik, I., and Benyó, B., "Verification of UML Statechart Models of Embedded Systems", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002): Brno University of Technology, pp. 70 - 77, 2002.
2001
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., and Savoia, G., "Dependability Analysis in The Early Phases of Uml-based System Design", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001. Abstract
Varró, D., "Visual Automated Model Transformation", Mini–Symposium 2001, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 48–49, January 31 – Feb, 2001.
Varró, D., Gyapay, S., and Pataricza, A., "Automatic Transformation of UML Models for System Verification", WTUML'01: Workshop on Transformations in UML, Genova, Italy, pp. 123–127, April 7th, 2001. Abstract
Pap, Z., Majzik, I., and Pataricza, A., "Checking General Safety Criteria on UML Statecharts", Computer Safety, Reliability and Security, Berlin ; Heidelberg, Springer-Verlag, pp. 46 - 55, 2001.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Completeness and Consistency Analysis of UML Statechart Specifications", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 83 - 90, 2001.
Huszerl, G., and Majzik, I., "Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts", Proc. of the 27th Euromicro Conference, Workshop on Software Process and Product Improvement, Los Alamitos, IEEE Computer Society Press, pp. 200 - 207, 2001.
Polgár, B., Nováki, S., Pataricza, A., and Friedler, F., "A Process Graph Based Formulation of The Syndrome-decoding Problem", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 267 - 272, 2001.
Polgár, B., "Process-graph Based Formulation of The Syndrome-decoding Problem", Proc. of Mini-symposium 2001, pp. 46 - 47, 2001.
Varró, D., and Pataricza, A., A Unifying Semantic Framework for Multilevel Metamodelling, : Budapest University of Technology and Economics, October, 2001.
Varró, D., and Pataricza, A., Mathematical Model Transformations for System Verification, : Budapest University of Technology and Economics, May, 2001.
Varró, D., and Pataricza, A., An XML Schema Description of Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001. Abstract
2000
Bartha, T., and Selényi, E., "Probabilistic fault diagnosis in large, heterogeneous computing systems", Periodica Polytechnica-Electrical Engineering, vol. 2, issue 2, pp. 127 - 149, 2000.
Varró, D., Varró, G., and Pataricza, A., "Designing the Automatic Transformation of Visual Languages", GRATRA 2000 Joint {APPLIGRAPH} and {GETGRATS} Workshop on Graph Transformation Systems, Berlin, Germany, pp. 14–21, March 25–27, 2000. Abstract
Varró, D., Varró, G., and Pataricza, A., "Visual Graph Transformation in System Verification", DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems, Bratislava, Slovakia, pp. 137–141, April 5–7, 2000. Abstract
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.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Completeness and Consistency Analysis of UML Statechart Specifications", 11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. 6 - , 2000.
Huszerl, G., "Design Pattern Based Transformation of Dynamic UML Models for Quantitative Analysis", 11th European Workshop on Dependable Computing (EWDC-11), Budapest, pp. - , 2000.
Gnesi, S., Latella, D., Majzik, I., and Massink, M., "Formal Validation of UML Statechart Diagrams Models", UML2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions (The Third International Conference on The Unified Modeling Language), pp. * - 7, 2000.
Huszerl, G., and Majzik, I., "Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models", Proc. Fifth IEEE Int. Symposium on High Assurance Systems Engineering, (HASE 2000), Los Alamitos, IEEE Computer Society Press, pp. 83 - 92, 2000.
Polgár, B., "System Level Diagnostics and Percolation Theory", Proceedings of the 7th PhD Mini-Symposium of the Department of Measurement and Information Systems, pp. 48 - 49, 2000.
Huszerl, G., and Kosmidis, K., "UML - Extensions for Quantitative Analysis", Proc. of UML 2000 Workshop: Dynamic Behaviour in UML Models: Semantic Questions, München, LMU-München, Institut für Informatik, pp. 70 - 75, 2000.
Gáspár, P., Szászi, I., Bartha, T., Varga, I., Bokor, J., Palkovics, L., and Gianone, L., "Visual lane and obstruction detection system for commercial vehicles", 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints, Budapest, vol. 2: IFAC, pp. 908–913, 06.14–06.16., 2000.
Varró, D., Automatic Transformation of UML Models, : Budapest University of Technology and Economics, 2000.