![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Flavio Ferrarotti
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]Hannes Sochor
, Flavio Ferrarotti
, Daniela Kaufmann
:
Fuzzing-based grammar learning from a minimal set of seed inputs. J. Comput. Lang. 78: 101252 (2024) - [c49]Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). FoIKS 2024: 237-255 - [c48]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: 153-169 - [c47]Flavio Ferrarotti
, Klaus-Dieter Schewe
:
Modal Extensions of the Logic of Abstract State Machines. ABZ 2024: 123-140 - [i15]Flavio Ferrarotti, Klaus-Dieter Schewe:
Choiceless Polynomial Space. CoRR abs/2401.16366 (2024) - [i14]Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). CoRR abs/2401.16838 (2024) - 2023
- [j22]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) - [c46]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: 67-78 - [c45]Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe:
Exploration of Reflective ASMs for Security. ABZ 2023: 185-192 - [c44]Flavio Ferrarotti, Klaus-Dieter Schewe:
Behavioural Theory of Reflective Algorithms. ABZ 2023: 238-244 - 2022
- [j21]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Uniform Polylogarithmic Space Completeness. Frontiers Comput. Sci. 4: 845990 (2022) - [j20]Klaus-Dieter Schewe
, Flavio Ferrarotti
:
Behavioural theory of reflective algorithms I: Reflective sequential algorithms. Sci. Comput. Program. 223: 102864 (2022) - [c43]Hannes Sochor
, Flavio Ferrarotti
, Daniela Kaufmann
:
Fuzzing-Based Grammar Inference. MEDI 2022: 72-86 - 2021
- [j19]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: 145-163 (2021) - [j18]J. Christian Attiogbé
, Flavio Ferrarotti
, Sofian Maabout:
Advances and Challenges for Model and Data Engineering. J. Univers. Comput. Sci. 27(7): 646-649 (2021) - [j17]Klaus-Dieter Schewe
, Flavio Ferrarotti
, Senén González:
A logic for reflective ASMs. Sci. Comput. Program. 210: 102691 (2021) - [c42]Flavio Ferrarotti, Senén González:
ASM Specification and Refinement of a Quantum Algorithm. Logic, Computation and Rigorous Methods 2021: 135-146 - [c41]Hannes Sochor
, Flavio Ferrarotti
:
A Refinement Based Algorithm for Learning Program Input Grammars. DataMod 2021: 138-156 - 2020
- [j16]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): 389-412 (2020) - [j15]Flavio Ferrarotti
, Michael Moser
, Josef Pichler:
Stepwise abstraction of high-level system specifications from source code. J. Comput. Lang. 60: 100996 (2020) - [c40]Hannes Sochor, Flavio Ferrarotti, Rudolf Ramler:
Automated security test generation for MQTT using attack patterns. ARES 2020: 97:1-97:9 - [c39]Klaus-Dieter Schewe, Flavio Ferrarotti:
A Logic for Reflective ASMs. ABZ 2020: 93-106 - [c38]Hannes Sochor
, Flavio Ferrarotti
, Rudolf Ramler
:
An Architecture for Automated Security Test Case Generation for MQTT Systems. DEXA Workshops 2020: 48-62 - [c37]Hannes Sochor
, Flavio Ferrarotti
, Rudolf Ramler
:
Exploiting MQTT-SN for Distributed Reflection Denial-of-Service Attacks. DEXA Workshops 2020: 74-81 - [c36]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: 90-105 - [i13]Klaus-Dieter Schewe, Flavio Ferrarotti:
Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms. CoRR abs/2001.01873 (2020) - [i12]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Completeness in Polylogarithmic Time and Space. CoRR abs/2009.04259 (2020)
2010 – 2019
- 2019
- [j14]Flavio Ferrarotti
, Stefan Woltran:
Preface. Ann. Math. Artif. Intell. 87(1-2): 1-4 (2019) - [j13]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe:
BSP abstract state machines capture bulk synchronous parallel computations. Sci. Comput. Program. 184 (2019) - [c35]Flavio Ferrarotti, Josef Pichler, Michael Moser, Georg Buchgeher:
Extracting High-Level System Specifications from Source Code via Abstract State Machines. MEDI 2019: 267-283 - [c34]Flavio Ferrarotti
, Senén González, José Maria Turull Torres, Jan Van den Bussche
, Jonni Virtema
:
Descriptive Complexity of Deterministic Polylogarithmic Time. WoLLIC 2019: 208-222 - [e4]J. Christian Attiogbé
, Flavio Ferrarotti, Sofian Maabout:
New Trends in Model and Data Engineering - MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings. Communications in Computer and Information Science 1085, Springer 2019, ISBN 978-3-030-32212-0 [contents] - [i11]Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema:
Descriptive Complexity of Deterministic Polylogarithmic Time. CoRR abs/1903.03413 (2019) - [i10]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. CoRR abs/1911.13104 (2019) - [i9]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 abs/1912.00010 (2019) - 2018
- [j12]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): 321-349 (2018) - [c33]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe:
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. ADBIS 2018: 99-112 - [c32]Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
:
Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ 2018: 16-30 - [c31]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: 204-218 - [c30]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: 92-121 - [c29]Flavio Ferrarotti, Jan Van den Bussche
, Jonni Virtema
:
Expressivity Within Second-Order Transitive-Closure Logic. CSL 2018: 22:1-22:18 - [c28]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: 133-140 - [e3]Flavio Ferrarotti, Stefan Woltran:
Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. Lecture Notes in Computer Science 10833, Springer 2018, ISBN 978-3-319-90049-0 [contents] - [i8]Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema:
Expressivity within second-order transitive-closure logic. CoRR abs/1804.05926 (2018) - [i7]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. CoRR abs/1806.07127 (2018) - 2017
- [j11]Flavio Ferrarotti
, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
:
A complete logic for Database Abstract State Machines1. Log. J. IGPL 25(5): 700-740 (2017) - [c27]Klaus-Dieter Schewe, Flavio Ferrarotti
, Loredana Tec, Qing Wang
, Wenya An:
Evolving concurrent systems: behavioural theory and logic. ACSW 2017: 77:1-77:10 - [c26]Flavio Ferrarotti
, Klaus-Dieter Schewe, Loredana Tec:
A Behavioural Theory for Reflective Sequential Algorithms. Ershov Informatics Conference 2017: 117-131 - [c25]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: 125-139 - [i6]Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres:
Towards an ASM thesis for reflective sequential algorithms. CoRR abs/1705.10708 (2017) - [i5]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A Logic for Non-Deterministic Parallel Abstract State Machines. CoRR abs/1705.11097 (2017) - 2016
- [j10]Marcelo Mendoza
, Mauricio Marín
, Veronica Gil-Costa
, Flavio Ferrarotti
:
Reducing hardware hit by queries in web search engines. Inf. Process. Manag. 52(6): 1031-1052 (2016) - [j9]Flavio Ferrarotti
, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
:
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649: 25-53 (2016) - [c24]Flavio Ferrarotti
, Loredana Tec, José Maria Turull Torres:
Towards an ASM Thesis for Reflective Sequential Algorithms. ABZ 2016: 244-249 - [c23]Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang:
Towards a Behavioural Theory for Random Parallel Computing. Computational Models of Rationality 2016: 365-376 - [c22]Flavio Ferrarotti
, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
:
A Logic for Non-deterministic Parallel Abstract State Machines. FoIKS 2016: 334-354 - [i4]Qing Wang, Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec:
A Complete Logic for Non-Deterministic Database Transformations. CoRR abs/1602.07486 (2016) - [i3]Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres:
On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic. CoRR abs/1612.03155 (2016) - 2015
- [j8]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: 74-103 (2015) - [i2]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis. CoRR abs/1504.06203 (2015) - 2014
- [j7]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): 355-386 (2014) - [j6]Flavio Ferrarotti, Georg Grossmann, Klaus-Dieter Schewe, Qing Wang:
Conceptual Modelling with Specific Focus on Service-Oriented Systems. J. Univers. Comput. Sci. 20(3): 254-256 (2014) - [c21]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: 71-80 - 2013
- [j5]Flavio Ferrarotti
, Sven Hartmann, Sebastian Link
:
Efficiency frontiers of XML cardinality constraints. Data Knowl. Eng. 87: 297-319 (2013) - [j4]Flavio Ferrarotti
, Sven Hartmann, Sebastian Link
:
Reasoning about functional and full hierarchical dependencies over partial relations. Inf. Sci. 235: 150-173 (2013) - [j3]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: 60-94 (2013) - [c20]Van Bao Tran Le, Sebastian Link
, Flavio Ferrarotti
:
Effective Recognition and Visualization of Semantic Requirements by Perfect SQL Samples. ER 2013: 227-240 - [c19]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: 382-395 - [e2]Flavio Ferrarotti, Georg Grossmann:
Ninth Asia-Pacific Conference on Conceptual Modelling, APCCM 2013, Adelaide, Australia, January 29-Feburary 1, 2013. CRPIT 143, Australian Computer Society 2013, ISBN 978-1-921770-28-9 [contents] - [i1]Flavio Ferrarotti, Wei Ren, Jose Maria Turull Torres:
Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF. CoRR abs/1302.5254 (2013) - 2012
- [c18]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: 85-100 - [c17]Flavio Ferrarotti
, Sven Hartmann, Sebastian Link
, Mauricio Marín
, Emir Muñoz
:
Performance Analysis of Algorithms to Reason about XML Keys. DEXA (1) 2012: 101-115 - [e1]Aditya Ghose, Flavio Ferrarotti:
Eighth Asia-Pacic Conference on Conceptual Modelling, APCCM 2012, Melbourne, Australia, January 2012. CRPIT 130, Australian Computer Society 2012, ISBN 978-1-921770-11-1 [contents] - 2011
- [c16]Flavio Ferrarotti
, Sven Hartmann, Van Bao Tran Le, Sebastian Link
:
Codd Table Representations under Weak Possible World Semantics. DEXA (1) 2011: 125-139 - [c15]Flavio Ferrarotti
, Sven Hartmann, Sebastian Link
:
A Precious Class of Cardinality Constraints for Flexible XML Data Processing. ER 2011: 175-188 - [c14]Flavio Antonio Ferrarotti, Alejandro L. Grosso, Jose Maria Turull Torres:
Semantic Restrictions over Second-Order Logic. SDKB 2011: 174-197 - [c13]Flavio Ferrarotti
, Sven Hartmann, Henning Köhler, Sebastian Link
, Millist W. Vincent:
The Boyce-Codd-Heath Normal Form for SQL. WoLLIC 2011: 110-122 - 2010
- [j2]Flavio Antonio Ferrarotti, Alejandra Lorena Paoletti, Jose Maria Turull Torres:
Redundant Relations in Relational Databases: A Model Theoretic Perspective. J. Univers. Comput. Sci. 16(20): 2934-2955 (2010) - [c12]Marcelo Mendoza
, Mauricio Marín
, Flavio Ferrarotti, Barbara Poblete
:
Learning to Distribute Queries into Web Search Nodes. ECIR 2010: 281-292 - [c11]Mauricio Marín
, Flavio Ferrarotti
, Veronica Gil-Costa
:
Distributing a Metric-Space Search Index onto Processors. ICPP 2010: 433-442 - [c10]Flavio Ferrarotti
, Sven Hartmann, Sebastian Link
:
On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations. WoLLIC 2010: 136-147 - [c9]Flavio Ferrarotti
, Sven Hartmann, Sebastian Link
, Jing Wang
:
Promoting the Semantic Capability of XML Keys. XSym 2010: 144-153 - [c8]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 2010: 457-464
2000 – 2009
- 2009
- [c7]Mauricio Marín
, Flavio Ferrarotti
, Marcelo Mendoza
, Carlos Gómez-Pantoja
, Veronica Gil-Costa
:
Location cache for web queries. CIKM 2009: 1995-1998 - [c6]Flavio Antonio Ferrarotti
, Alejandra Lorena Paoletti, José M. Turull Torres:
First-Order Types and Redundant Relations in Relational Databases. ER Workshops 2009: 65-74 - [c5]Qing Wang
, Flavio Antonio Ferrarotti
:
XML Machines. ER Workshops 2009: 95-104 - [c4]Flavio Ferrarotti
, Mauricio Marín
, Marcelo Mendoza
:
A Last-Resort Semantic Cache for Web Queries. SPIRE 2009: 310-321 - 2008
- [c3]Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
The Relational Polynomial-Time Hierarchy and Second-Order Logic. SDKB 2008: 48-76 - 2007
- [j1]Flavio Antonio Ferrarotti
, Jose Maria Turull Torres:
Arity and alternation: a proper hierarchy in higher order logics. Ann. Math. Artif. Intell. 50(1-2): 111-141 (2007) - 2006
- [c2]Flavio Antonio Ferrarotti
, Jose Maria Turull Torres:
Arity and Alternation: A Proper Hierarchy in Higher Order Logics. FoIKS 2006: 92-115 - 2004
- [c1]Flavio Antonio Ferrarotti, Jose Maria Turull Torres:
On the Computation of Approximations of Database Queries. ADC 2004: 27-37
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint