Daniel Darvas

ORCID iD
https://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)

Mendeley profile

Sources:
Elsevier - Mendeley (2018-02-03)

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

Sources:
ResearcherID (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 at http://cern.ch/plcverif/. 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}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred), {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
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}} |  ()
    • Show Details Hide Details
    Organization identifiers
    {{group.getActive().orgDisambiguatedName}}: {{group.getActive().orgDisambiguatedCity}}, {{group.getActive().orgDisambiguatedRegion}}, {{group.getActive().orgDisambiguatedCountry}}
    Other organization identifiers provided by {{group.getActive().disambiguationSource.value}}
    • {{orgDisambiguatedExternalIdentifier.identifierType}}: {{orgDisambiguatedExternalIdentifier.preferred}} (preferred), {{orgDisambiguatedExternalIdentifierAll}}{{$last ? '' : ', '}}
    Created
    Source: {{(group.getActive().sourceName == null || group.getActive().sourceName == '') ? group.getActive().source : group.getActive().sourceName}}
No employment added yet
No publications added yet

Record last modified {{lastModifiedDate}}