Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Verification of Safety PLC Based Control Software., , and . IFM, volume 9681 of Lecture Notes in Computer Science, page 508-522. Springer, (2016)Parallel Saturation Based Model Checking., , , , , and . ISPDC, page 94-101. IEEE Computer Society, (2011)Conformance checking for programmable logic controller programs and specifications., , and . SIES, page 29-36. IEEE, (2016)PLC Program Translation for Verification Purposes., , and . Period. Polytech. Electr. Eng. Comput. Sci., 61 (2): 151-165 (2017)PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research., , , , , , , and . Petri Nets, volume 9698 of Lecture Notes in Computer Science, page 123-132. Springer, (2016)Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems. Budapest University of Technology and Economics, Hungary, (2017)Improving Saturation-based Bounded Model Checking., , and . Acta Cybern., 22 (3): 573-589 (2016)PLC code generation based on a formal specification language., , and . INDIN, page 389-396. IEEE, (2016)Component-wise incremental LTL model checking., , , , and . Formal Aspects Comput., 28 (3): 345-379 (2016)Industrial applications of the PetriDotNet modelling and analysis tool., , , , , , , and . Sci. Comput. Program., (2018)