Rebeka Farkas

Rebeka Farkas
Budapest University of Technology and Economics · Department of Measurement and Information Systems

Computer Science Engineering MSc

About

5
Publications
228
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
19
Citations
Additional affiliations
January 2017 - present
Budapest University of Technology and Economics
Position
  • PhD Student
January 2017 - present
Hungarian Academy of Sciences
Position
  • Research Associate
Education
January 2015 - January 2017
Budapest University of Technology and Economics
Field of study
  • Computer Science Engineering

Publications

Publications (5)
Article
Full-text available
When custom modeling tools are used for designing complex safety-critical systems (e.g., critical cyber-physical systems), the tools themselves need to be validated by systematic testing to prevent tool-specific bugs reaching the system. Testing of such modeling tools relies upon an automatically generated set of models as a test suite. While many...
Conference Paper
The verification of the time-dependent behavior of safety-critical systems is important, as design problems often arise from complex timing conditions. One of the most common formalisms for modeling timed systems is the timed automaton, which introduces clock variables to represent the elapse of time. Various tools and algorithms have been develope...
Conference Paper
Full-text available
Formal analysis of real time systems is important as they are widely used in safety critical domains. Such systems combine discrete behaviours represented by control states and timed behaviours represented by clock variables. The counterexample-guided abstraction refinement (CEGAR) algorithm utilizes the fundamental technique of abstraction to syst...

Network

Cited By