Flavio Ferrarotti

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 56

Top Topics

Semantically Meaningful

Relational Databases

Top Venues

Publications

Flavio Ferrarotti, Klaus-Dieter Schewe
Modal Extensions of the Logic of Abstract State Machines. ABZ (2024)
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
A Complete Fragment of LTL(EB). CoRR (2024)
Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Martin Schwandtner, Hannes Sochor
A PUF-Based Approach for Copy Protection of Intellectual Property in Neural Network Models. SWQD (2024)
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
A Complete Fragment of LTL(EB). FoIKS (2024)
Flavio Ferrarotti, Klaus-Dieter Schewe
Choiceless Polynomial Space. CoRR (2024)
Hannes Sochor, Flavio Ferrarotti, Daniela Kaufmann
Fuzzing-based grammar learning from a minimal set of seed inputs. J. Comput. Lang. 78 (2024)
Daniel Dorfmeister, Flavio Ferrarotti, Bernhard Fischer, Evelyn Nicole Haslinger, Rudolf Ramler, Markus Zimmermann
An Approach for Safe and Secure Software Protection Supported by Symbolic Execution. DEXA Workshops (2023)
Hannes Sochor, Flavio Ferrarotti, Rudolf Ramler
An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol. J. Softw. Evol. Process. 35 (7) (2023)
Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe
Exploration of Reflective ASMs for Security. ABZ (2023)
Flavio Ferrarotti, Klaus-Dieter Schewe
Behavioural Theory of Reflective Algorithms. ABZ (2023)
Klaus-Dieter Schewe, Flavio Ferrarotti
Behavioural theory of reflective algorithms I: Reflective sequential algorithms. Sci. Comput. Program. 223 (2022)
Hannes Sochor, Flavio Ferrarotti, Daniela Kaufmann
Fuzzing-Based Grammar Inference. MEDI (2022)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
Uniform Polylogarithmic Space Completeness. Frontiers Comput. Sci. 4 (2022)
J. Christian Attiogbé, Flavio Ferrarotti, Sofian Maabout
Advances and Challenges for Model and Data Engineering. J. Univers. Comput. Sci. 27 (7) (2021)
Klaus-Dieter Schewe, Flavio Ferrarotti, Senén González
A logic for reflective ASMs. Sci. Comput. Program. 210 (2021)
Hannes Sochor, Flavio Ferrarotti
A Refinement Based Algorithm for Learning Program Input Grammars. DataMod (2021)
Flavio Ferrarotti, Senén González
ASM Specification and Refinement of a Quantum Algorithm. Logic, Computation and Rigorous Methods (2021)
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
Descriptive complexity of deterministic polylogarithmic time and space. J. Comput. Syst. Sci. 119 (2021)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
A restricted second-order logic for non-deterministic poly-logarithmic time. Log. J. IGPL 28 (3) (2020)
Hannes Sochor, Flavio Ferrarotti, Rudolf Ramler
An Architecture for Automated Security Test Case Generation for MQTT Systems. DEXA Workshops (2020)
Hannes Sochor, Flavio Ferrarotti, Rudolf Ramler
Exploiting MQTT-SN for Distributed Reflection Denial-of-Service Attacks. DEXA Workshops (2020)
Klaus-Dieter Schewe, Flavio Ferrarotti
Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms. CoRR (2020)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. FoIKS (2020)
Klaus-Dieter Schewe, Flavio Ferrarotti
A Logic for Reflective ASMs. ABZ (2020)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
Completeness in Polylogarithmic Time and Space. CoRR (2020)
Flavio Ferrarotti, Michael Moser, Josef Pichler
Stepwise abstraction of high-level system specifications from source code. J. Comput. Lang. 60 (2020)
Hannes Sochor, Flavio Ferrarotti, Rudolf Ramler
Automated security test generation for MQTT using attack patterns. ARES (2020)
Flavio Ferrarotti, Stefan Woltran
Preface. Ann. Math. Artif. Intell. 87 (1-2) (2019)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time. CoRR (2019)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe
BSP abstract state machines capture bulk synchronous parallel computations. Sci. Comput. Program. 184 (2019)
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
Descriptive Complexity of Deterministic Polylogarithmic Time. CoRR (2019)
Flavio Ferrarotti, Josef Pichler, Michael Moser, Georg Buchgeher
Extracting High-Level System Specifications from Source Code via Abstract State Machines. MEDI (2019)
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
Descriptive Complexity of Deterministic Polylogarithmic Time. WoLLIC (2019)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. CoRR (2019)
Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
Expressivity within second-order transitive-closure logic. CoRR (2018)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ (2018)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
Systematic Refinement of Abstract State Machines with Higher-Order Logic. ABZ (2018)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. SYNASC (2018)
Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
Expressivity Within Second-Order Transitive-Closure Logic. CSL (2018)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. CoRR (2018)
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. ADBIS (2018)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A Logic for Non-Deterministic Parallel Abstract State Machines. CoRR (2017)
Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres
Towards an ASM thesis for reflective sequential algorithms. CoRR (2017)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
A Behavioural Theory for Reflective Sequential Algorithms. Ershov Informatics Conference (2017)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A complete logic for Database Abstract State Machines1. Log. J. IGPL 25 (5) (2017)
Flavio Ferrarotti, Senén González, José Maria Turull Torres
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. WoLLIC (2017)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An
Evolving concurrent systems: behavioural theory and logic. ACSW (2017)
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
Towards an ASM Thesis for Reflective Sequential Algorithms. ABZ (2016)
Marcelo Mendoza, Mauricio Marín, Veronica Gil-Costa, Flavio Ferrarotti
Reducing hardware hit by queries in web search engines. Inf. Process. Manag. 52 (6) (2016)
Qing Wang, Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
A Complete Logic for Non-Deterministic Database Transformations. CoRR (2016)
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic. CoRR (2016)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A Logic for Non-deterministic Parallel Abstract State Machines. FoIKS (2016)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649 (2016)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
Towards a Behavioural Theory for Random Parallel Computing. Computational Models of Rationality (2016)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis. CoRR (2015)
Van Bao Tran Le, Sebastian Link, Flavio Ferrarotti
Empirical evidence for the usefulness of Armstrong tables in the acquisition of semantically meaningful SQL constraints. Data Knowl. Eng. 98 (2015)
Flavio Ferrarotti, Georg Grossmann, Klaus-Dieter Schewe, Qing Wang
Conceptual Modelling with Specific Focus on Service-Oriented Systems. J. Univers. Comput. Sci. 20 (3) (2014)
Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres
Expressing properties in second- and third-order logic: hypercube graphs and SATQBF. Log. J. IGPL 22 (2) (2014)
Van Bao Tran Le, Sebastian Link, Flavio Ferrarotti
SQL-Sampler: A Tool to Visualize and Consolidate Domain Semantics by Perfect SQL Sample Data. APCCM (2014)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
Efficiency frontiers of XML cardinality constraints. Data Knowl. Eng. 87 (2013)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
Reasoning about functional and full hierarchical dependencies over partial relations. Inf. Sci. 235 (2013)
Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres
Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF CoRR (2013)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz
Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule. WISE (1) (2013)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz
The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation. Trans. Large Scale Data Knowl. Centered Syst. 10 (2013)
Van Bao Tran Le, Sebastian Link, Flavio Ferrarotti
Effective Recognition and Visualization of Semantic Requirements by Perfect SQL Samples. ER (2013)
Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent
Foundations for a Fourth Normal Form over SQL-Like Databases. Conceptual Modelling and Its Theoretical Foundations (2012)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Mauricio Marín, Emir Muñoz
Performance Analysis of Algorithms to Reason about XML Keys. DEXA (1) (2012)
Flavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist W. Vincent
The Boyce-Codd-Heath Normal Form for SQL. WoLLIC (2011)
Flavio Ferrarotti, Sven Hartmann, Van Bao Tran Le, Sebastian Link
Codd Table Representations under Weak Possible World Semantics. DEXA (1) (2011)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
A Precious Class of Cardinality Constraints for Flexible XML Data Processing. ER (2011)
Mauricio Oyarzún, Senén González, Marcelo Mendoza, Flavio Ferrarotti, Max Chacón, Mauricio Marín
A vector model for routing queries in web search engines. ICCS (1) (2010)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link, Jing Wang
Promoting the Semantic Capability of XML Keys. XSym (2010)
Flavio Ferrarotti, Sven Hartmann, Sebastian Link
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. WoLLIC (2010)
Marcelo Mendoza, Mauricio Marín, Flavio Ferrarotti, Barbara Poblete
Learning to Distribute Queries into Web Search Nodes. ECIR (2010)
Mauricio Marín, Flavio Ferrarotti, Veronica Gil-Costa
Distributing a Metric-Space Search Index onto Processors. ICPP (2010)
Mauricio Marín, Flavio Ferrarotti, Marcelo Mendoza, Carlos Gómez-Pantoja, Veronica Gil-Costa
Location cache for web queries. CIKM (2009)
Flavio Ferrarotti, Mauricio Marín, Marcelo Mendoza
A Last-Resort Semantic Cache for Web Queries. SPIRE (2009)