Flavio Ferrarotti

92 papers A 4B 4C 16Misc 6Journal 41Unranked 19

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