Flavio Ferrarotti

Daniela Kaufmann

J. Comput. Lang., March, 2024

Choiceless Polynomial Space.

[BibT_eX]

[DOI]

CoRR, 2024

Modal Extensions of the Logic of Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

A PUF-Based Approach for Copy Protection of Intellectual Property in Neural Network Models.

[BibT_eX]

[DOI]

Proceedings of the Software Quality as a Foundation for Security, 2024

GrammarForge: Learning Program Input Grammars for Fuzz Testing.

[BibT_eX]

[DOI]

Robert Wille

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Towards Solving Short-Term Generation Scheduling Problems on Quantum Computers.

[BibT_eX]

[DOI]

Proceedings of the Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers, 2024

A Complete Fragment of LTL(EB).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

An automated evaluation of broker compatibility for the Message Queuing Telemetry Transport protocol.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., July, 2023

Exploration of Reflective ASMs for Security.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

Behavioural Theory of Reflective Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

An Approach for Safe and Secure Software Protection Supported by Symbolic Execution.

[BibT_eX]

[DOI]

Daniel Dorfmeister

Bernhard Fischer

Evelyn Nicole Haslinger

Markus Zimmermann

Proceedings of the Database and Expert Systems Applications - DEXA 2023 Workshops, 2023

2022

Behavioural theory of reflective algorithms I: Reflective sequential algorithms.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Uniform Polylogarithmic Space Completeness.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2022

Fuzzing-Based Grammar Inference.

[BibT_eX]

[DOI]

Daniela Kaufmann

Proceedings of the Model and Data Engineering: 11th International Conference, 2022

2021

A logic for reflective ASMs.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

Advances and Challenges for Model and Data Engineering.

[BibT_eX]

[DOI]

J. Christian Attiogbé

Sofian Maabout

J. Univers. Comput. Sci., 2021

Descriptive complexity of deterministic polylogarithmic time and space.

[BibT_eX]

[DOI]

Jan Van den Bussche

Jonni Virtema

J. Comput. Syst. Sci., 2021

A Refinement Based Algorithm for Learning Program Input Grammars.

[BibT_eX]

[DOI]

Proceedings of the From Data to Models and Back, 2021

ASM Specification and Refinement of a Quantum Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

2020

Stepwise abstraction of high-level system specifications from source code.

[BibT_eX]

[DOI]

Michael Moser

Josef Pichler

J. Comput. Lang., 2020

A restricted second-order logic for non-deterministic poly-logarithmic time.

[BibT_eX]

[DOI]

Log. J. IGPL, 2020

Completeness in Polylogarithmic Time and Space.

[BibT_eX]

[DOI]

CoRR, 2020

Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2020

Exploiting MQTT-SN for Distributed Reflection Denial-of-Service Attacks.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2020

An Architecture for Automated Security Test Case Generation for MQTT Systems.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2020

A Logic for Reflective ASMs.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Automated security test generation for MQTT using attack patterns.

[BibT_eX]

[DOI]

Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019

BSP abstract state machines capture bulk synchronous parallel computations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Preface.

[BibT_eX]

[DOI]

Stefan Woltran

Ann. Math. Artif. Intell., 2019

Descriptive Complexity of Deterministic Polylogarithmic Time.

[BibT_eX]

[DOI]

Jan Van den Bussche

Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 2019

Extracting High-Level System Specifications from Source Code via Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Model and Data Engineering - 9th International Conference, 2019

2018

A unifying logic for non-deterministic, parallel and concurrent abstract state machines.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2018

The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

Expressivity Within Second-Order Transitive-Closure Logic.

[BibT_eX]

[DOI]

Jan Van den Bussche

Jonni Virtema

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases.

[BibT_eX]

Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Distributed Adaptive Systems - Theory, Specification, Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Systematic Refinement of Abstract State Machines with Higher-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2018

2017

A complete logic for Database Abstract State Machines1.

[BibT_eX]

[DOI]

Log. J. IGPL, 2017

On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2017

A Behavioural Theory for Reflective Sequential Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2017

Evolving concurrent systems: behavioural theory and logic.

[BibT_eX]

[DOI]

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016

A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Reducing hardware hit by queries in web search engines.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2016

A Complete Logic for Non-Deterministic Database Transformations.

[BibT_eX]

[DOI]

CoRR, 2016

On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic.

[BibT_eX]

[DOI]

CoRR, 2016

A Logic for Non-deterministic Parallel Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2016

Towards a Behavioural Theory for Random Parallel Computing.

[BibT_eX]

Proceedings of the Computational Models of Rationality, 2016

Towards an ASM Thesis for Reflective Sequential Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Empirical evidence for the usefulness of Armstrong tables in the acquisition of semantically meaningful SQL constraints.

[BibT_eX]

[DOI]

Van Bao Tran Le

Data Knowl. Eng., 2015

2014

Conceptual Modelling with Specific Focus on Service-Oriented Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2014

Expressing properties in second- and third-order logic: hypercube graphs and SATQBF.

[BibT_eX]

[DOI]

Wei Ren

Log. J. IGPL, 2014

SQL-Sampler: A Tool to Visualize and Consolidate Domain Semantics by Perfect SQL Sample Data.

[BibT_eX]

[DOI]

Van Bao Tran Le

Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling, 2014

2013

The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation.

[BibT_eX]

[DOI]

Trans. Large Scale Data Knowl. Centered Syst., 2013

Reasoning about functional and full hierarchical dependencies over partial relations.

[BibT_eX]

[DOI]

Inf. Sci., 2013

Efficiency frontiers of XML cardinality constraints.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2013

Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

Effective Recognition and Visualization of Semantic Requirements by Perfect SQL Samples.

[BibT_eX]

[DOI]

Van Bao Tran Le

Proceedings of the Conceptual Modeling - 32th International Conference, 2013

2012

Performance Analysis of Algorithms to Reason about XML Keys.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2012

Foundations for a Fourth Normal Form over SQL-Like Databases.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

2011

The Boyce-Codd-Heath Normal Form for SQL.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information and Computation, 2011

Semantic Restrictions over Second-Order Logic.

[BibT_eX]

[DOI]

Alejandro L. Grosso

Proceedings of the Semantics in Data and Knowledge Bases, 5th International Workshop, 2011

A Precious Class of Cardinality Constraints for Flexible XML Data Processing.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Codd Table Representations under Weak Possible World Semantics.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2011

2010

A vector model for routing queries in web search engines.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2010

Redundant Relations in Relational Databases: A Model Theoretic Perspective.

[BibT_eX]

[DOI]

Alejandra Lorena Paoletti

J. Univers. Comput. Sci., 2010

Promoting the Semantic Capability of XML Keys.

[BibT_eX]

[DOI]

Proceedings of the Database and XML Technologies, 2010

On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2010

Distributing a Metric-Space Search Index onto Processors.

[BibT_eX]

[DOI]

Mauricio Marín

Veronica Gil-Costa

Proceedings of the 39th International Conference on Parallel Processing, 2010

Learning to Distribute Queries into Web Search Nodes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Information Retrieval, 2010

2009

A Last-Resort Semantic Cache for Web Queries.

[BibT_eX]

[DOI]

Mauricio Marín

Marcelo Mendoza

Proceedings of the String Processing and Information Retrieval, 2009

XML Machines.

[BibT_eX]

[DOI]

Qing Wang

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

First-Order Types and Redundant Relations in Relational Databases.

[BibT_eX]

[DOI]

Alejandra Lorena Paoletti

José M. Turull Torres

Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

Location cache for web queries.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008

The Relational Polynomial-Time Hierarchy and Second-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

2007

Arity and alternation: a proper hierarchy in higher order logics.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

2004

On the Computation of Approximations of Database Queries.

[BibT_eX]

[DOI]