Skip to content Skip to footer
  • Researchers (public profile)
  • Research output
  • Projects
  • Units
  • Datasets
  • Activities
  • Journals
  • Prizes
  • Courses
  • Statistics
  • Facilities/Equipment
  • Press/Media
  • English
  • German
Website of TUD Dresden University of Technology
  • FIS Login
FIS logo

Research Portal of the TU Dresden

  • Home
  • Research output
  • Reducing Runtime Overhead of Online Checks using Symbolic Ex...

Reducing Runtime Overhead of Online Checks using Symbolic Execution

Research output: Contribution to journal › Conference article › Contributed

Contributors

  • Martin Nowack - , Chair of Systems Engineering (Author)
  • Christof Fetzer - , Chair of Systems Engineering (Author)

Details

Original languageEnglish
JournalEurosys Doctoral Workshop (EuroDW)
Publication statusPublished - 2013
Peer-reviewedNo

Keywords

Altmetric Attention Score

Research Portal of TU Dresden
  • Contact
  • FAQ
  • Twitter
  • Facebook
  • Youtube
  • Instagram
TU Dresden is co-financed by tax funds using the budget approved by the Landtag of the Free State of Saxony.
  • Legal notice
  • Privacy
  • Accessibility