( en | de | ru )

 

Disambiguation of "Ferrarotti, Flavio"

Author of the publication

copydeleteadd this publication to your clipboard
An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol.

, , and . J. Softw. Evol. Process., (July 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrea Ferrarotti

Flávio Justino

Flavio Carsughi

Flávio Siebeneichler

Flavio Roces

 

Other publications of authors with the same name

On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order., , and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 125-139. Springer, (2017)A Complete Logic for Non-Deterministic Database Transformations., , , and . CoRR, (2016)Performance Analysis of Algorithms to Reason about XML Keys, , , , and . 23rd International Conference on Database and Expert Systems Applications (DEXA 2012), Vienna, Austria, 3-6 September, volume 7446 of Lecture Notes in Computer Science, page 101-115. Springer, (3--6 September 2012)An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol., , and . J. Softw. Evol. Process., (July 2023)SQL-Sampler: A Tool to Visualize and Consolidate Domain Semantics by Perfect SQL Sample Data., , and . APCCM, volume 154 of CRPIT, page 71-80. Australian Computer Society, (2014)Expressivity Within Second-Order Transitive-Closure Logic., , and . CSL, volume 119 of LIPIcs, page 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF, , and . CoRR, (2013)A logic for reflective ASMs., , and . Sci. Comput. Program., (2021)Extracting High-Level System Specifications from Source Code via Abstract State Machines., , , and . MEDI, volume 11815 of Lecture Notes in Computer Science, page 267-283. Springer, (2019)Exploration of Reflective ASMs for Security., , , , and . ABZ, volume 14010 of Lecture Notes in Computer Science, page 185-192. Springer, (2023)