Lutz Schammer, M. Sc.

Design Understanding, Automata Learning, Model Checking

Research Assistant

Tel.: +49 (0) 40 42878-3848
Fax: +49 (0) 40 42878-2798
Mail: lutz.schammer(at)tuhh(dot)de

Building E, Room 3.024
Directions

On appointment

Publications

Lutz Schammer and Gianluca Martino and Goerschwin Fey (2024). Tag-based Hardware Information Flow Tracking. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)

Swantje Plambeck and Lutz Schammer and Goerschwin Fey (2022). On the Viability of Decision Trees for Learning Models of Systems. ASP Design Automation Conference (ASPDAC)
Lutz Schammer and Jan Runge and Paula Klimach and Goerschwin Fey (2022). Design Understanding: Identifying Instruction Pipelines in Hardware Designs. International Conference on Circuits and Systems Technologies (MOCAST)

Swantje Plambeck and Lutz Schammer and Goerschwin Fey (2021). Extended Abstract: Viability of Decision Trees for Learning Models of Systems. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Lutz Schammer and Swantje Plambeck and Fin Hendrik Bahnsen and Goerschwin Fey (2021). Learning Models of Cyber-Physical Systems using Automata Learning. Software Engineering for Industrial Cyber-Physical Systems (SE4ICPS)

Eintrag 1-5 von 5