Publikációk

Export 203 results:
Rendezés: Szerző Cím [ Típus  (Desc)] Év
Szűrők: Az Utónév Első Betűje = M  [Minden szűrő visszaállítása]
Conference Paper
Varró, D., "Towards Symbolic Analysis of Visual Modelling Languages", Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002. Abstract
Majzik, I., Semeráth, O., Hajdu, C., Marussy, K., Szatmári, Z., Micskei, Z., Vörös, A., Babikian, A. A., and Varró, D., "Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles", IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
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.
Pataricza, A., Majzik, I., Huszerl, G., and Várnai, G., "UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module", Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 125 - 132, 2003.
Honfi, D., and Micskei, Z., "User-defined Sandbox Behavior for Dynamic Symbolic Execution", Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
Bartha, T., Vörös, A., Jámbor, A., and Darvas, D., "Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.
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.
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
Darvas, D., Majzik, I., and Blanco Viñuela, E., "Well-Formedness and Invariant Checking of PLCspecif Specifications", Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10-13, 2017.
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., and Varró, D., "VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models", Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002. Abstract
Acceptance rate = 20%
Journal Article
Majzik, I., and Domokos, P., "Aspect-Oriented Modelling and Analysis of Information Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, pp. 21 - 31, 2007.
Marussy, K., Semeráth, O., and Varró, D., "Automated Generation of Consistent Graph Models with Multiplicity Reasoning", IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020. Abstract
Molnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I., "Component-wise Incremental LTL Model Checking", Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
Majzik, I., and Pataricza, A., "Control Flow Checking in Multitasking Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 39, issue 1, pp. 27 - 36, 1995.
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
Bondavalli, A., Ceccarelli, A., Gronbaek, J., Iovino, D., Karna, L., Klapka, S., Madsen, T. K., Magyar, M., Majzik, I., and Salzo, A., "Design and Evaluation of a Safe Driver Machine Interface", INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
Hajdu, Á., and Micskei, Z., "Efficient Strategies for CEGAR-based Model Checking", Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020. Abstract
Szárnyas, G., Maginecz, J., and Varró, D., "Evaluation of Optimization Strategies for Incremental Graph Queries", Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
Hajdu, Á., Vörös, A., Bartha, T., and Mártonka, Z., "Extensions to the CEGAR Approach on Petri Nets", Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014. Abstract