Concepedia

Dániel Darvas

DD

Statistics

Publications

8

Citations

184

H-Index

8

Active since

2013

Affiliations

European Organization for Nuclear Research(Current)

Universidad de Oviedo

Budapest University of Technology and Economics

RMIT University

Dániel Darvas is an author at European Organization for Nuclear Research specializing in formal methods, computer science, and model checking.

ORCID

Publications per year

2013–2017

8

Publications

8

Applying Model Checking to Industrial-Sized PLC Programs

Borja Fernández Adiego, Dániel Darvas, Enrique Blanco Viñuela et al. · IEEE Transactions on Industrial Informatics · 2015 · 77 citations · Full text

, , +17

Bringing Automated Model Checking to PLC Program Development — A CERN Case Study —

Borja Fernández Adiego, Dániel Darvas, Jean-Charles Tournier et al. · IFAC Proceedings Volumes · 2014 · 20 citations · Full text

, , +12

PLC Program Translation for Verification Purposes

Dániel Darvas, István Majzik, Enrique Blanco Viñuela · Periodica Polytechnica Electrical Engineering and Computer Science · 2017 · 20 citations · Full text

, , +14

PLCverif: A Tool to Verify PLC Programs Based on Model Checking Techniques

Dániel Darvas, Enrique Blanco Viñuela, Borja Fernández Adiego · CERN Document Server (European Organization for Nuclear Research) · 2015 · 18 citations · Full text

, , +14

PLC code generation based on a formal specification language

Dániel Darvas, Enrique Blanco Viñuela, István Majzik · 2016 · 17 citations

, , +13

1–5 of 8