Dániel Darvas

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 10

Top Topics

Linear Temporal Logic

Control Software

Formal Verification

Top Venues

Formal Aspects Comput.

Publications

András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
Industrial applications of the PetriDotNet modelling and analysis tool. Sci. Comput. Program. 157 (2018)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
PLC Program Translation for Verification Purposes. Period. Polytech. Electr. Eng. Comput. Sci. 61 (2) (2017)
András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. Petri Nets (2016)
Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik
Component-wise incremental LTL model checking. Formal Aspects Comput. 28 (3) (2016)
Dániel Darvas, Enrique Blanco Viñuela, István Majzik
PLC code generation based on a formal specification language. INDIN (2016)
Dániel Darvas, András Vörös, Tamás Bartha
Improving Saturation-based Bounded Model Checking. Acta Cybern. 22 (3) (2016)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
Conformance checking for programmable logic controller programs and specifications. SIES (2016)
Dániel Darvas, István Majzik, Enrique Blanco Viñuela
Formal Verification of Safety PLC Based Control Software. IFM (2016)
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
Applying Model Checking to Industrial-Sized PLC Programs. IEEE Trans. Ind. Informatics 11 (6) (2015)
Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha
Saturation-Based Incremental LTL Model Checking with Inductive Proofs. TACAS (2015)
Dániel Darvas, Borja Fernandez Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez
Formal Verification of Complex Properties on PLC Programs. FORTE (2014)
Borja Fernandez Adiego, Dániel Darvas, Jean-Charles Tournier, Enrique Blanco Viñuela, Víctor M. González Suárez
Bringing Automated Model Checking to PLC Program Development - a CERN Case Study. WODES (2014)
András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha
Parallel Saturation Based Model Checking. ISPDC (2011)