Staff
Matthias Eichholz

Matthias Eichholz M.Sc.

Software Technology Group

Contact

work +49 6151 16-21367

Work S2|02 B220
Hochschulstraße 10
64289 Darmstadt

I am a PhD student in the Software Technology Group. I work on programming languages for Software-Defined Networks (SDN) and automatic verification of SDN applications.

Currently, I'm working on SafeP4, a domain-specific language for programmable data planes that is equipped with a precise semantics and a static type system that guarantees validity of all headers read or written by the program.

Publications

Loading...
Loading data from TUbiblio…

Error on loading data

An error has occured when loading publications data from TUbiblio. Please try again later.

  • {{ year }}

    • ({{ publication.date.toString().substring(0,4) }}):
      {{ publication.title }}. ({{ labels[publication.doc_status] }})
      In: {{ publication.book_title }}, {{ publication.number}} ({{ publication.journal_volume }}), {{ publication.volume }}, In: {{ publication.series }}, {{ publication.volume }}, ppp. {{ publication.pagerange }}, {{ publication.place_of_pub }}, {{ publication.publisher }}, {{ publication.institution }}, {{ publication.event_location }}, {{ publication.event_dates }}, ISSN: {{ publication.issn }}, ISBN: {{ publication.isbn }}, [{{ labels[publication.type]?labels[publication.type]:publication.type }}]
    • […]

Number of items in this list: {{ publicationsList.length }}
Only the {{publicationsList.length}} latest publications are displayed here.

View complete list at TUbiblio View this list at TUbiblio