Concepedia

Dániel Darvas

DD

Statistics

Publications

8

Citations

181

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 program analysis, formal methods, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer EngineeringSoftware Engineering

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 · 75 citations · Full text

Engineering, Verification, Computer-aided Verification +21

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

Program Checking, Engineering, Verification +16

PLC Program Translation for Verification Purposes

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

Program Checking, Plc Program Translation, Engineering +21

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

Dániel Darvas, Enrique Blanco Viñuela, Borja Fernández Adiego · CERN Bulletin · 2015 · 18 citations · Full text

Program Checking, Engineering, Verification +21

PLC code generation based on a formal specification language

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

Engineering, Verification, Software Engineering +19

1–5 of 8