A Refinement Based Algorithm for Learning Program Input Grammars

von Sochor, Hannes
Veröffentlicht in DataMod (10. : 2021 : Online) From data to models and back (2022)

A Logic for Reflective ASMs

von Schewe, Klaus-Dieter
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Fuzzing-Based Grammar Inference

von Sochor, Hannes
Veröffentlicht in International Conference on Model and Data Engineering (11. : 2022 : Kairo; Online) Model and data engineering (2023)

An Architecture for Automated Security Test Case Generation for MQTT Systems

von Sochor, Hannes
Veröffentlicht in DEXA (31. : 2020 : Bratislava; Online) Database and expert systems applications (2020)

Exploiting MQTT-SN for Distributed Reflection Denial-of-Service Attacks

von Sochor, Hannes
Veröffentlicht in DEXA (31. : 2020 : Bratislava; Online) Database and expert systems applications (2020)

10th International Symposium on Foundations of Information and Knowledge Systems FoIKS

Veröffentlicht 2019

Foundations of information and knowledge systems : 10th international symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018 : proceedings

Veröffentlicht 2018

A Complete Fragment of LTL(EB)

von Ferrarotti, Flavio
Veröffentlicht in International Symposium on Foundations of Information and Knowledge Systems (13. : 2024 : Sheffield) Foundations of information and knowledge systems (2024)

New trends in model and data engineering : MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019 : proceedings

Veröffentlicht 2019