Publikációk

Export 138 results:
Rendezés: Szerző Cím Típus [ Év  (Asc)]
Szűrők: Az Utónév Első Betűje = P  [Minden szűrő visszaállítása]
2003
Varró, D., and Pataricza, A., "Automated Formal Verification of Model Transformations", CSDUML 2003: Critical Systems Development in UML; Proceedings of the UML'03 Workshop, no. TUM-I0323: Technische Universität München, pp. 63–78, September, 2003. Abstract
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Modeling and Analysis of Architectural Styles", Proc ESEC 2003: 9th European Software Engineering Conference, Helsinki, Finland, ACM Press, pp. 68–77, September, 2003. Abstract
Acceptance rate: 20%
2004
Polgár, B., "Comparison based diagnostics as a probabilistic deduction problem", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3038, pp. 1153 - 1161, 2004. 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.
Pintér, G., and Majzik, I., "Abstract Model-based Checkpoint And Recovery", Proceedings of the 2nd Conference of Phd Students in Computer Science, Szeged, University of Szeged, pp. 96 - 97, 2004.
Pintér, G., and Majzik, I., "Checkpoint And Recovery in Diverse Software", Proceedings of the 11th PhD mini-symposium: Budapest University of Technology and Economics Department of Measurement and Information Systems, pp. 20 - 21, 2004.
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.
Pintér, G., and Majzik, I., "Impact of Statechart Implementation Techniques on The Effectiveness of Fault Detection Mechanisms", Proceedings of The EUROMICRO'04 Workshop on Component Based Software Engineering: IEEE Computer Society Press, pp. 136 - 143, 2004.
Majzik, I., Pintér, G., and Kovács, P T., "UML Based Design of Time Triggered Systems", Proceedings of The 7th IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC-2004): IEEE Computer Society Press, pp. 60 - 63, 2004.
Majzik, I., Pintér, G., and Kovács, P T., "UML Based Visual Design of Embedded Systems", Proceedings of the 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'04), pp. 115 - 120, 2004.
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%
Pap, Z., and Varró, D., "Static Safety Analysis of UML Action Semantics for Critical Systems Development", GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004. Abstract
2005
Pataricza, A., and Varró, D., Formal Methods in Computing, : {Akadémiai Kiadó, pp. 357–425, 2005.
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
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
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.
Pintér, G., and Majzik, I., "Runtime verification of statechart implementations", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3549, pp. 148 - 172, 2005. Abstract
Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varró, D., and Varró-Gyapay, S., "Model Transformation by Graph Transformation: A Comparative Study", MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005. Abstract
Balogh, A., Varró, G., Varró, D., and Pataricza, A., "Model-Based Optimization of Enterprise Application and Service Deployment", Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, vol. 3694: Springer, pp. 84–98, 2005. Abstract
Pintér, G., and Majzik, I., "Automatic Generation of Executable Assertions For Runtime Checking Temporal Requirements", Proceedings of The 9th IEEEInternational Symposium on High Assurance Systems Engineering (HASE 2005): IEEE Computer Society Press, pp. 111 - 120, 2005.
Majzik, I., and Domokos, P., "Dependability Modeling Using Aspect Weaving Techniques", Dependable Computing - EDCC 2005, Berlin ; Heidelberg, Springer, pp. 77 - 78, 2005.
Pintér, G., and Majzik, I., "Run-time Verification of Statechart Implementations", Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems: BME, pp. 46 - 47, 2005.