formal verification

Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems

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.

BibTex

PLC Program Translation for Verification Purposes

Darvas, D., Majzik, I., and Blanco Viñuela, E., "PLC Program Translation for Verification Purposes", Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 61, issue 2, pp. 151–165, 05/2017.

BibTex

Automatic Transformation of {UML} Models for System Verification

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.

BibTex

Visual Graph Transformation in System Verification

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.

BibTex