Dániel Darvas

According to our database, Dániel Darvas authored at least 14 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Industrial applications of the PetriDotNet modelling and analysis tool.

András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik

Sci. Comput. Program., 2018

2017

Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems

Dániel Darvas

PhD thesis, 2017

PLC Program Translation for Verification Purposes.

Dániel Darvas, István Majzik, Enrique Blanco Viñuela

Period. Polytech. Electr. Eng. Comput. Sci., 2017

2016

Component-wise incremental LTL model checking.

Vince Molnár, András Vörös, Dániel Darvas, Tamás Bartha, István Majzik

Formal Aspects Comput., 2016

Improving Saturation-based Bounded Model Checking.

Dániel Darvas, András Vörös, Tamás Bartha

Acta Cybern., 2016

Conformance checking for programmable logic controller programs and specifications.

Dániel Darvas, István Majzik, Enrique Blanco Viñuela

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

PLC code generation based on a formal specification language.

Dániel Darvas, Enrique Blanco Viñuela, István Majzik

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Formal Verification of Safety PLC Based Control Software.

Dániel Darvas, István Majzik, Enrique Blanco Viñuela

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research.

András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

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

Saturation-Based Incremental LTL Model Checking with Inductive Proofs.

Vince Molnár, Dániel Darvas, András Vörös, Tamás Bartha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

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

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Formal Verification of Complex Properties on PLC Programs.

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

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2011

Parallel Saturation Based Model Checking.

András Vörös, Tamás Szabó, Attila Jámbor, Dániel Darvas, Ákos Horváth, Tamás Bartha

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011