( en | de | ru )

 

Disambiguierung von "Ferrarotti, Flavio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Architecture for Automated Security Test Case Generation for MQTT Systems.

, , und . DEXA Workshops, Volume 1285 von Communications in Computer and Information Science, Seite 48-62. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrea Ferrarotti

Flávio Justino

Flavio Carsughi

Flávio Siebeneichler

Flavio Roces

 

Weitere Publikationen von Autoren mit dem selben Namen

Descriptive Complexity of Deterministic Polylogarithmic Time., , , , und . WoLLIC, Volume 11541 von Lecture Notes in Computer Science, Seite 208-222. Springer, (2019)A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time., , , und . CoRR, (2019)A Logic for Reflective ASMs., und . ABZ, Volume 12071 von Lecture Notes in Computer Science, Seite 93-106. Springer, (2020)A unifying logic for non-deterministic, parallel and concurrent abstract state machines., , , und . Ann. Math. Artif. Intell., 83 (3-4): 321-349 (2018)The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic., , , und . SYNASC, Seite 133-140. IEEE, (2018)Fuzzing-based grammar learning from a minimal set of seed inputs., , und . J. Comput. Lang., (März 2024)Behavioural Theory of Reflective Algorithms., und . ABZ, Volume 14010 von Lecture Notes in Computer Science, Seite 238-244. Springer, (2023)An Approach for Safe and Secure Software Protection Supported by Symbolic Execution., , , , , und . DEXA Workshops, Volume 1872 von Communications in Computer and Information Science, Seite 67-78. Springer, (2023)An Architecture for Automated Security Test Case Generation for MQTT Systems., , und . DEXA Workshops, Volume 1285 von Communications in Computer and Information Science, Seite 48-62. Springer, (2020)Evolving concurrent systems: behavioural theory and logic., , , , und . ACSW, Seite 77:1-77:10. ACM, (2017)