Parallel Saturation Based Model Checking. - András Vörös 001; Tamás Szabó; Attila Jámbor; Dániel Darvas; Ákos Horváth 001; Tamás Bartha (ISPDC, 2011)

Formal Verification of Complex Properties on PLC Programs. - Dániel Darvas; Borja Fernandez Adiego; András Vörös 001; Tamás Bartha; Enrique Blanco Viñuela; Víctor M. González Suárez (FORTE, 2014)

Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. - Borja Fernandez Adiego; Dániel Darvas; Jean-Charles Tournier; Enrique Blanco Viñuela; Víctor M. González Suárez (WODES, 2014)

Saturation-Based Incremental LTL Model Checking with Inductive Proofs. - Vince Molnár; Dániel Darvas; András Vörös 001; Tamás Bartha (TACAS, 2015)

Applying Model Checking to Industrial-Sized PLC Programs. - Borja Fernandez Adiego; Dániel Darvas; Enrique Blanco Viñuela; Jean-Charles Tournier; Simon Bliudze; Jan Olaf Blech; Víctor Manuel González Suárez (IEEE Trans. Ind. Informatics, 2015)

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. - András Vörös 001; Dániel Darvas; Vince Molnár; Attila Klenik; Ákos Hajdu; Attila Jámbor; Tamás Bartha; István Majzik (Petri Nets, 2016)

Formal Verification of Safety PLC Based Control Software. - Dániel Darvas; István Majzik; Enrique Blanco Viñuela (IFM, 2016)

PLC code generation based on a formal specification language. - Dániel Darvas; Enrique Blanco Viñuela; István Majzik (INDIN, 2016)

Conformance checking for programmable logic controller programs and specifications. - Dániel Darvas; István Majzik; Enrique Blanco Viñuela (SIES, 2016)

Improving Saturation-based Bounded Model Checking. - Dániel Darvas; András Vörös 001; Tamás Bartha (Acta Cybern., 2016)

Component-wise incremental LTL model checking. - Vince Molnár; András Vörös 001; Dániel Darvas; Tamás Bartha; István Majzik (Formal Aspects Comput., 2016)

PLC Program Translation for Verification Purposes. - Dániel Darvas; István Majzik; Enrique Blanco Viñuela (Period. Polytech. Electr. Eng. Comput. Sci., 2017)

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems - Dániel Darvas (2017)

Industrial applications of the PetriDotNet modelling and analysis tool. - András Vörös 001; Dániel Darvas; Ákos Hajdu; Attila Klenik; Kristóf Marussy; Vince Molnár; Tamás Bartha; István Majzik (Sci. Comput. Program., 2018)