Sebastian Gabmeyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2011–2018
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DSD | Low-Temperature Data Remanence Attacks Against Intrinsic SRAM PUFs. | Nikolaos Athanasios Anagnostopoulos, Tolga Arul, Markus Rosenstihl, Andr Schaller, Sebastian Gabmeyer, Stefan Katzenbeisser |
| 2016 | CHES | Run-Time Accessible DRAM PUFs in Commodity Devices. | Wenjie Xiong, Andr Schaller, Nikolaos A. Anagnostopoulos, Muhammad Umair Saleem, Sebastian Gabmeyer, Stefan Katzenbeisser, Jakub Szefer |
| 2016 | TAP | Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. | Sebastian Gabmeyer, Martina Seidl |
| 2014 | SLE | Model Checking of CTL-Extended OCL Specifications. | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
| 2014 | TAP | Quality Assurance in MBE Back and Forth. | Sebastian Gabmeyer |
| 2013 | MODELS | OCL meets CTL: Towards CTL-Extended OCL Model Checking. | Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl |
| 2012 | TAP | Towards Scenario-Based Testing of UML Diagrams. | Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer |
| 2011 | MODELS | Towards Semantics-Aware Merge Support in Optimistic Model Versioning. | Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer |