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 (MoDELS (Workshops), 2011)

Formal verification techniques for model transformations specified by-demonstration. - Sebastian Gabmeyer (ASE, 2012)

Towards Scenario-Based Testing of UML Diagrams. - Petra Brosch; Uwe Egly; Sebastian Gabmeyer; Gerti Kappel; Martina Seidl; Hans Tompits; Magdalena Widl; Manuel Wimmer (TAP@TOOLS, 2012)

On formalizing EMF modeling operations with graph transformations. - Petra Brosch; Sebastian Gabmeyer; Gerti Kappel; Martina Seidl (ACM SIGSOFT Softw. Eng. Notes, 2012)

OCL meets CTL: Towards CTL-Extended OCL Model Checking. - Robert Bill; Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl (OCL@MoDELS, 2013)

Model Checking of CTL-Extended OCL Specifications. - Robert Bill; Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl (SLE, 2014)

MocOCL: A Model Checker for CTL-Extended OCL Specifications. - Sebastian Gabmeyer; Robert Bill; Petra Kaufmann; Martina Seidl (VOLT@STAF, 2014)

Quality Assurance in MBE Back and Forth. - Sebastian Gabmeyer (TAP@STAF, 2014)

Run-Time Accessible DRAM PUFs in Commodity Devices. - Wenjie Xiong 001; André Schaller; Nikolaos A. Anagnostopoulos; Muhammad Umair Saleem; Sebastian Gabmeyer; Stefan Katzenbeisser 001; Jakub Szefer (CHES, 2016)

Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. - Sebastian Gabmeyer; Martina Seidl (TAP@STAF, 2016)

Low-temperature data remanence attacks against intrinsic SRAM PUFs. - Nikolaos A. Anagnostopoulos; Stefan Katzenbeisser 001; Markus Rosenstihl; André Schaller; Sebastian Gabmeyer; Tolga Arul (IACR Cryptol. ePrint Arch., 2016)

Practical DRAM PUFs in Commodity Devices. - Wenjie Xiong 001; André Schaller; Nikolaos A. Anagnostopoulos; Muhammad Umair Saleem; Sebastian Gabmeyer; Stefan Katzenbeisser 001; Jakub Szefer (IACR Cryptol. ePrint Arch., 2016)

Intrinsic Rowhammer PUFs: Leveraging the Rowhammer effect for improved security. - André Schaller; Wenjie Xiong 001; Nikolaos Athanasios Anagnostopoulos; Muhammad Umair Saleem; Sebastian Gabmeyer; Stefan Katzenbeisser 001; Jakub Szefer (HOST, 2017)

SCAPI: a scalable attestation protocol to detect software and physical attacks. - Florian Kohnhäuser; Niklas Büscher; Sebastian Gabmeyer; Stefan Katzenbeisser 001 (WISEC, 2017)

Scalable Attestation Resilient to Physical Attacks for Embedded Devices in Mesh Networks. - Florian Kohnhäuser; Niklas Büscher; Sebastian Gabmeyer; Stefan Katzenbeisser 001 (CoRR, 2017)

Intrinsic Run-Time Row Hammer PUFs: Leveraging the Row Hammer Effect for Run-Time Cryptography and Improved Security †. - Nikolaos Athanasios Anagnostopoulos; Tolga Arul; Yufan Fan; Christian Hatzfeld; André Schaller; Wenjie Xiong 001; Manishkumar Jain; Muhammad Umair Saleem; Jan Lotichius; Sebastian Gabmeyer; Jakub Szefer; Stefan Katzenbeisser 001 (Cryptogr., 2018)

Attacking SRAM PUFs using very-low-temperature data remanence. - Nikolaos Athanasios Anagnostopoulos; Tolga Arul; Markus Rosenstihl; André Schaller; Sebastian Gabmeyer; Stefan Katzenbeisser 001 (Microprocess. Microsystems, 2019)

A feature-based classification of formal verification techniques for software models. - Sebastian Gabmeyer; Petra Kaufmann; Martina Seidl; Martin Gogolla; Gerti Kappel (Softw. Syst. Model., 2019)

Decay-Based DRAM PUFs in Commodity Devices. - André Schaller; Wenjie Xiong 001; Nikolaos Athanasios Anagnostopoulos; Muhammad Umair Saleem; Sebastian Gabmeyer; Boris Skoric; Stefan Katzenbeisser 001; Jakub Szefer (IEEE Trans. Dependable Secur. Comput., 2019)

DRAM PUFs in Commodity Devices. - Wenjie Xiong 001; André Schaller; Nikolaos Athanasios Anagnostopoulos; Muhammad Umair Saleem; Sebastian Gabmeyer; Stefan Katzenbeisser 001; Jakub Szefer (IEEE Des. Test, 2021)