Stefan Marksteiner -

Registered user since Thu 5 Oct 2023

Name:Stefan Marksteiner

Country:Austria

Affiliation:AVL List GmbH / Mälardalen University

Research interests:Cybersecurity, Networks, Formal Methods

Contributions

2025

PROFES

PC Member in Industry Papers within the Industry Papers -track

FSEN

Author of Black-box protocol testing using Rebeca and Automata Learning within the Marjan Festschrift-track

2024

PROFES

Committee Member in Industrial Papers within the Industry Papers -track

2023

ECBS

Author of Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example within the ECBS 2023-track