Daniel Darvas

ORCID iD
orcid.org/0000-0002-4092-1694
  • Country
  • Show details Hide details
Switzerland

Sources:
Daniel Darvas (2016-01-24)

  • Keywords
  • Show details Hide details
model checking,

Sources:
Daniel Darvas (2015-01-15)

saturation,

Sources:
Daniel Darvas (2015-01-15)

PLC,

Sources:
Daniel Darvas (2015-01-15)

formal specification

Sources:
Daniel Darvas (2015-01-15)

  • Websites
  • Show details Hide details
University homepage

Sources:
Daniel Darvas (2016-01-22)

Google Scholar profile

Sources:
Daniel Darvas (2016-01-22)

  • Other IDs
  • Show details Hide details
ResearcherID: A-7913-2015

Sources:
Clarivate Analytics (2015-01-22)

Loop profile: 312513

Sources:
Loop (2016-01-22)

Biography

Senior Fellow at CERN, PhD in Computer Science (in a joint programme of CERN and Budapest University of Technology and Economics), MSc in Computer Engineering Currently, I am the lead developer of PLCverif, a user-friendly formal verification tool to analyse PLC programs. PLCverif is developed at CERN Beams Department, funded by the Knowledge Transfer Group. Read more about our methodology and PLCverif, the tool we are developing for model checking PLC programs. Previously, I was also working on formal specification languages to improve the quality of PLC-based control systems.
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No education added yet
  • : , ,

    {{group.getActive().startDate.year}}-{{group.getActive().startDate.month}}-{{group.getActive().startDate.day}} to present {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}} {{group.getActive().endDate.year}}-{{group.getActive().endDate.month}}-{{group.getActive().endDate.day}}
     ()
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
    Created:
No employment added yet
No publications added yet