Publications

Full list of publications: Google Scholar DBLP

Invited Talks

2016

Murphy’s Law and the
Symbolic Verification of Graph Transformation
Systems with Hardware Model Checkers

Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers, 10th International Conference on Tests and Proofs, July 2016, Vienna (slides, print)

On Murphy's Law and the Symbolic Verification of Graph Transformation Systems, June 2016, Ulm

Contact

Dipl.-Ing. Dr. Sebastian Gabmeyer
Postdoc
Security Engineering Group
Computer Science Department
Technische Universität Darmstadt & CASED

Address: CASED, Mornewegstr. 32, 64293 Darmstadt, Germany (4th floor, room 4.3.17)
Phone: +49-6151-16-25621
Fax: +49-6151-16-25627
Email: gabmeyer(-at-)seceng.informatik.tu-darmstadt.de


zum Seitenanfangzum Seitenanfang

A A A | Drucken Print | Impressum Impressum | Kontakt Contact | Last edited: 9 months ago