Stefan Marksteiner - FSEN 2025

Mon 7 - Tue 8 April 2025 Västerås, Sweden

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

FSEN

Black-box protocol testing using Rebeca and Automata Learning

Show activities from other conferences

FSEN 2025-profile
View general profile