Sven Hartmann

Orcid: 0000-0003-4565-9645

Affiliations:
  • Clausthal University of Technology, Germany


According to our database1, Sven Hartmann authored at least 173 papers between 1995 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Towards a Scenario Toolkit for Autonomous Systems.
Simul. Notes Eur., 2024

Enhancing generalization in genetic programming hyper-heuristics through mini-batch sampling strategies for dynamic workflow scheduling.
Inf. Sci., 2024

Conceptual Framework for Designing Hippocratic APIs.
Proceedings of the Conceptual Modeling - 43rd International Conference, 2024

An MLOps Framework to Data-Driven Modelling of Digital Twins with an Application to Virtual Test Rigs.
Proceedings of the Advances in Conceptual Modeling, 2024

Leveraging LLM in Genetic Programming Hyper-heuristics for Dynamic Microservice Deployment.
Proceedings of the AI 2024: Advances in Artificial Intelligence, 2024

Population-Based Incremental Learning for Effective IoT Service Composition with Replication.
Proceedings of the IEEE International Conference on Software Services Engineering, 2024

2023
Cardinality constraints and functional dependencies in SQL: Taming data redundancy in logical database design.
Inf. Syst., May, 2023

Auto-Scaling Containerized Applications in Geo-Distributed Clouds.
IEEE Trans. Serv. Comput., 2023

Using an Estimation of Distribution Algorithm to Achieve Multitasking Semantic Web Service Composition.
IEEE Trans. Evol. Comput., 2023

Energy-Efficient and Communication-Aware Resource Allocation in Container-Based Cloud with Group Genetic Algorithm.
Proceedings of the Service-Oriented Computing - 21st International Conference, 2023

A Conceptual Modeling Approach for Risk Assessment and Mitigation in Collision-Free UAV Routing Planning for Beyond-the-Visual-Line-of-Sight Flights.
Proceedings of the Conceptual Modeling - 42nd International Conference, 2023

A model-driven machine learning approach to dynamic multi-workflow scheduling.
Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

IoT Service Composition - An Estimation of Distribution Algorithm with Adaptive Bias.
Proceedings of the IEEE Congress on Evolutionary Computation, 2023

A Group Genetic Algorithm for Energy-Efficient Resource Allocation in Container-Based Clouds with Heterogeneous Physical Machines.
Proceedings of the AI 2023: Advances in Artificial Intelligence, 2023

2022
Cost-Effective Web Application Replication and Deployment in Multi-Cloud Environment.
IEEE Trans. Parallel Distributed Syst., 2022

Robustness Estimation and Optimisation for Semantic Web Service Composition With Stochastic Service Failures.
IEEE Trans. Emerg. Top. Comput. Intell., 2022

Memetic EDA-Based Approaches to QoS-Aware Fully Automated Semantic Web Service Composition.
IEEE Trans. Evol. Comput., 2022

Combined Pruning for Nested Cross-Validation to Accelerate Automated Hyperparameter Optimization for Embedded Feature Selection in High-Dimensional Data with Very Small Sample Sizes.
CoRR, 2022

Location-Aware Cloud Service Brokering in Multi-cloud Environment.
Proceedings of the Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29, 2022

A Modeling Rule for Improving the Performance of Graph Models.
Proceedings of the Conceptual Modeling - 41st International Conference, 2022

Multi-objective Social Network Detection - A Graph Database Supported NSGA-II Based Approach.
Proceedings of the Databases Theory and Applications, 2022

SFMGNet: A Physics-Based Neural Network To Predict Pedestrian Trajectories.
Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022), 2022

2021
Algorithms for the discovery of embedded functional dependencies.
VLDB J., 2021

Minimum Weight Flat Antichains of Subsets.
Order, 2021

A Graph Database Supported GA-Based Approach to Social Network Analysis.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

Location-Aware and Budget-Constrained Service Brokering in Multi-Cloud via Deep Reinforcement Learning.
Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

A Conceptual Modelling Approach for the Discovery and Management of Platoon Routes.
Proceedings of the Conceptual Modeling - 40th International Conference, 2021

Are Conversational Agents Used at Scale by Companies Offering Digital Health Services for the Management and Prevention of Diabetes?
Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, 2021

2020
Location-Aware and Budget-Constrained Service Deployment for Composite Applications in Multi-Cloud Environment.
IEEE Trans. Parallel Distributed Syst., 2020

Reduction of Complexity in Q-Learning a Robot Control for an Assembly Cell by using Multiple Agents.
Simul. Notes Eur., 2020

Discovery Algorithms for Embedded Functional Dependencies.
Proceedings of the 2020 International Conference on Management of Data, 2020

Location-Aware and Budget-Constrained Application Replication and Deployment in Multi-Cloud Environment.
Proceedings of the 2020 IEEE International Conference on Web Services, 2020

Signal Generation using 1d Deep Convolutional Generative Adversarial Networks for Fault Diagnosis of Electrical Machines.
Proceedings of the 25th International Conference on Pattern Recognition, 2020

A Conceptual Model of Conflicts in Shared Spaces.
Proceedings of the ICIBE 2020: The 6th International Conference on Industrial and Business Engineering, 2020

A Conceptual Framework for Dynamic Planning of Alternative Routes in Road Networks.
Proceedings of the Conceptual Modeling - 39th International Conference, 2020

2019
Fuel-efficient truck platooning by a novel meta-heuristic inspired from ant colony optimisation.
Soft Comput., 2019

Python-based eSES/MB Framework: Model Specification and Automatic Model Generation for Multiple Simulators.
Simul. Notes Eur., 2019

Conformance testing of FMI calling sequence for simulation environments.
Int. J. Model. Simul. Sci. Comput., 2019

Memetic EDA-Based Approaches to Comprehensive Quality-Aware Automated Semantic Web Service Composition.
CoRR, 2019

Towards a standard computational representation for system entity structures.
Proceedings of the 2019 Summer Simulation Conference, 2019

LSTM Based Bearing Fault Diagnosis of Electrical Machines using Motor Current Signal.
Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

A memetic NSGA-II with EDA-based local search for fully automated multiobjective web service composition.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

A Graph Model for Taxi Ride Sharing Supported by Graph Databases.
Proceedings of the Conceptual Modeling - 38th International Conference, 2019

Evolutionary Multitasking for Semantic Web Service Composition.
Proceedings of the IEEE Congress on Evolutionary Computation, 2019

Towards Robust Web Service Composition with Stochastic Service Failures Based on a Genetic Algorithm.
Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019

2018
DO-330/ED-215 Overlay to the IEEE Recommended Practice for Distributed Simulation Engineering and Execution Process.
J. Aerosp. Inf. Syst., December, 2018

Modeling and Simulation-based Development of Autonomy Features for Drones.
Simul. Notes Eur., 2018

Towards FCA-facilitated Ontology-supported Recruitment Systems.
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2018

Knowledge-Driven Automated Web Service Composition - An EDA-Based Approach.
Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

Fuel Efficient Truck Platooning with Time Restrictions and Multiple Speeds Solved by a Particle Swarm Optimisation.
Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018

Simulation infrastructure for aeronautical informatics education.
Proceedings of the 50th Computer Simulation Conference, 2018

An SQL Data Summarization Tool for the Acquisition of Meaningful Cardinality Constraints and Functional Dependencies.
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Using a Conceptual Model to Transform Road Networks from OpenStreetMap to a Graph Database.
Proceedings of the Conceptual Modeling - 37th International Conference, 2018

Extremal Combinatorics of SQL Keys.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

QoS-Aware Web Service Composition Using Graph Databases.
Proceedings of the Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018

Towards Fully Automated Semantic Web Service Composition Based on Estimation of Distribution Algorithm.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Big Data and Data Analytics in Aviation.
Proceedings of the Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018

2017
Automatic Layout of Scilab/Xcos Diagrams.
Simul. Notes Eur., 2017

Full and maximal squashed flat antichains of minimum weight.
CoRR, 2017

GP-Based Approach to Comprehensive Quality-Aware Automated Semantic Web Service Composition.
Proceedings of the Simulated Evolution and Learning - 11th International Conference, 2017

A parallel hybrid GA-PSO approach with dynamic rule-based parameter setting.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

A Fast Heuristic for Finding Near-Optimal Groups for Vehicle Platooning in Road Networks.
Proceedings of the Database and Expert Systems Applications, 2017

A QoS-Aware Web Service Composition Approach Based on Genetic Programming and Graph Databases.
Proceedings of the Database and Expert Systems Applications, 2017

Comprehensive Quality-Aware Automated Semantic Web Service Composition.
Proceedings of the AI 2017: Advances in Artificial Intelligence, 2017

2016
Providing Ontology-Based Privacy-Aware Data Access Through Web Services and Service Composition.
Trans. Large Scale Data Knowl. Centered Syst., 2016

The Fuel-Efficient Platooning of Heavy Duty Vehicles by Mathematical Programming and Genetic Algorithm.
Proceedings of the Theory and Practice of Natural Computing - 5th International Conference, 2016

A Link-Density-Based Algorithm for Finding Communities in Social Networks.
Proceedings of the Advances in Conceptual Modeling, 2016

Handling Branched Web Service Composition with a QoS-Aware Graph-Based Method.
Proceedings of the E-Commerce and Web Technologies - 17th International Conference, 2016

2015
Constructing Armstrong tables for general cardinality constraints and not-null constraints.
Ann. Math. Artif. Intell., 2015

Fault Classification of a Centrifugal Pump in Normal and Noisy Environment with Artificial Neural Network and Support Vector Machine Enhanced by a Genetic Algorithm.
Proceedings of the Theory and Practice of Natural Computing, 2015

Providing Ontology-Based Privacy-Aware Data Access Through Web Services.
Proceedings of the Advances in Conceptual Modeling, 2015

2013
The Finite Implication Problem for Expressive XML Keys: Foundations, Applications, and Performance Evaluation.
Trans. Large Scale Data Knowl. Centered Syst., 2013

Reasoning about functional and full hierarchical dependencies over partial relations.
Inf. Sci., 2013

Efficiency frontiers of XML cardinality constraints.
Data Knowl. Eng., 2013

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211).
Dagstuhl Reports, 2013

Soft Cardinality Constraints on XML Data - How Exceptions Prove the Business Rule.
Proceedings of the Web Information Systems Engineering - WISE 2013, 2013

Normal Forms and Normalization for Probabilistic Databases under Sharp Constraints.
Proceedings of the Information Modelling and Knowledge Bases XXV, 2013

Information analysis for a future flight deck design in the context of 4D trajectory based operation.
Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2013

2012
Design by example for SQL table definitions with functional dependencies.
VLDB J., 2012

The implication problem of data dependencies over SQL table definitions: Axiomatic, algorithmic and logical characterizations.
ACM Trans. Database Syst., 2012

Probabilistic Conditional Independence under Schema Certainty and Uncertainty.
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012

Armstrong Databases and Reasoning for Functional Dependencies and Cardinality Constraints over Partial Bags.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

Performance Analysis of Algorithms to Reason about XML Keys.
Proceedings of the Database and Expert Systems Applications, 2012

Signature-Based Inference-Usability Confinement for Relational Databases under Functional and Join Dependencies.
Proceedings of the Data and Applications Security and Privacy XXVI, 2012

Foundations for a Fourth Normal Form over SQL-Like Databases.
Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

2011
On Codd Families of Keys over Incomplete Relations.
Comput. J., 2011

Preface.
Ann. Math. Artif. Intell., 2011

The Boyce-Codd-Heath Normal Form for SQL.
Proceedings of the Logic, Language, Information and Computation, 2011

A Precious Class of Cardinality Constraints for Flexible XML Data Processing.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

Codd Table Representations under Weak Possible World Semantics.
Proceedings of the Database and Expert Systems Applications, 2011

2010
Numerical constraints on XML data.
Inf. Comput., 2010

Sample-based Decision Support for Specifying XML Constraints.
J. Res. Pract. Inf. Technol., 2010

Promoting the Semantic Capability of XML Keys.
Proceedings of the Database and XML Technologies, 2010

Solving the Implication Problem for XML Functional Dependencies with Properties.
Proceedings of the Logic, 2010

On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations.
Proceedings of the Logic, 2010

When data dependencies over SQL tables meet the logics of paradox and S-3.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

On the Existence of Armstrong Data Trees for XML Functional Dependencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

Third International Workshop on Conceptual Modelling for Life Sciences Applications (CMLSA 2010).
Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010

Efficient Inference Control for Open Relational Queries.
Proceedings of the Data and Applications Security and Privacy XXIV, 2010

Ontology consolidation in bioinformatics.
Proceedings of the Conceptual Modelling 2010, 2010

Chasing after Secrets in Relational Databases.
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009
Efficient reasoning about a robust XML key fragment.
ACM Trans. Database Syst., 2009

Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner.
J. Univers. Comput. Sci., 2009

On Inferences ofWeak Multivalued Dependencies.
Fundam. Informaticae, 2009

Constraint acquisition for Entity-Relationship models.
Data Knowl. Eng., 2009

Maximal Flat Antichains of Minimum Weight.
Electron. J. Comb., 2009

On Matrix Representations of Participation Constraints.
Proceedings of the Advances in Conceptual Modeling - Challenging Perspectives, 2009

Expressive, yet tractable XML keys.
Proceedings of the EDBT 2009, 2009

2008
More orthogonal double covers of complete graphs by Hamiltonian paths.
Discret. Math., 2008

Mandatory representation designs <i>I</i> with k=2mod3.
Discret. Math., 2008

Characterising nested database dependencies by fragments of propositional logic.
Ann. Pure Appl. Log., 2008

Pan-orientable block designs.
Australas. J Comb., 2008

On the Notion of an XML Key.
Proceedings of the Semantics in Data and Knowledge Bases, Third International Workshop, 2008

Preface to CMLSA 2008.
Proceedings of the Advances in Conceptual Modeling - Challenges and Opportunities, 2008

Boolean Constraints for XML Modeling.
Proceedings of the Information Modelling and Knowledge Bases XX, 2008

Constraint Acquisition - You Can Chase but You Cannot Find.
Proceedings of the Conceptual Modelling 2008, 2008

2007
Full hierarchical dependencies in fixed and undetermined universes.
Ann. Math. Artif. Intell., 2007

Numerical Constraints for XML.
Proceedings of the Logic, 2007

Unlocking Keys for XML Trees.
Proceedings of the Database Theory, 2007

Collection Type Constructors in Entity-Relationship Modeling.
Proceedings of the Conceptual Modeling, 2007

Preface to CMLSA 2007.
Proceedings of the Advances in Conceptual Modeling - Foundations and Applications, 2007

XML Query Optimisation: Specify your Selectivity.
Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

Efficient Reasoning About XFDs with Pre-image Semantics.
Proceedings of the Advances in Databases: Concepts, 2007

Cost-Based Vertical Fragmentation for XML.
Proceedings of the Advances in Web and Network Technologies, and Information Management, 2007

English Sentence Structures and EER Modeling.
Proceedings of the Conceptual Modelling 2007, Proceedings of the Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Ballarat, Victoria, Australia, January 30, 2007

On Inferences of Full Hierarchical Dependencies.
Proceedings of the Computer Science 2007. Proceedings of the Thirtieth Australasian Computer Science Conference (ACSC2007). Ballarat, Victoria, Australia, January 30, 2007

2006
Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets".
Theor. Comput. Sci., 2006

Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets.
Theor. Comput. Sci., 2006

Deciding implication for functional dependencies in complex-value databases.
Theor. Comput. Sci., 2006

On a problem of Fagin concerning multivalued dependencies in relational databases.
Theor. Comput. Sci., 2006

Functional and multivalued dependencies in nested databases generated by record and list constructor.
Ann. Math. Artif. Intell., 2006

Axiomatising Functional Dependencies for XML with Frequencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2006

The Nested List Normal Form for Functional and Multivalued Dependencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2006

Symptoms Ontology for Mapping Diagnostic Knowledge Systems.
Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006

Horn clauses and functional dependencies in complex-value databases.
Proceedings of the Database Technologies 2006, 2006

2005
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic.
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Self-orthogonal decompositions of graphs into matchings.
Electron. Notes Discret. Math., 2005

Even Bonds of Prescribed Directed Parity.
Electron. J. Comb., 2005

Functional Dependencies over XML Documents with DTDs.
Acta Cybern., 2005

Higher-Order Entity Relationship Modelling with UML.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Formal Logic as a Learning Facilitation Tool
Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, 2005

Functional Dependencies on Nested Attributes: Algebraic, Logical and Topological Perspective.
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005

2004
Error-Robust Functional Dependencies.
Fundam. Informaticae, 2004

The Implication Problem of Functional Dependencies in Complex-value Databases.
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

A Membership Algorithm for Functional and Multi-valued Dependencies in the Presence of Lists.
Proceedings of Computing: The Australasian Theory Symposium, 2004

Orthogonal double covers of general graphs.
Discret. Appl. Math., 2004

Mobile Content Adaptation as an Optimisation Problem.
Proceedings of the Web Information Systems, 2004

Computing the Dependency Basis for Nested List Attributes.
Proceedings of the XIX Simpósio Brasileiro de Bancos de Dados, 2004

Multi-valued Dependencies in the Presence of Lists.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

Weak Functional Dependencies in Higher-Order Datamodels.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

Normalisation in the Presence of Lists.
Proceedings of the Database Technologies 2004, 2004

2003
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model.
Inf. Process. Lett., 2003

On Functional Dependencies in Advanced Data Models.
Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

A New Normal Form for Conceptual Database.
Proceedings of the Information Modelling and Knowledge Bases XV, 2003

Reasoning about participation constraints and Chen's constraints.
Proceedings of the Database Technologies 2003, 2003

More Functional Dependencies for XML.
Proceedings of the Advances in Databases and Information Systems, 2003

2002
Orthogonal Decompositions of Complete Digraphs.
Graphs Comb., 2002

On Orthogonal Double Covers of Graphs.
Des. Codes Cryptogr., 2002

Minimal Sample Databases for Global Cardinality Constraints.
Proceedings of the Foundations of Information and Knowledge Systems, 2002

2001
Orthogonal directed covers by flowers.
Electron. Notes Discret. Math., 2001

Decomposing relationship types by pivoting and schema equivalence.
Data Knowl. Eng., 2001

On the implication problem for cardinality constraints and functional dependencies.
Ann. Math. Artif. Intell., 2001

Soft Constraints and Heuristic Constraint Correction in Entity-Relationship Modelling.
Proceedings of the Semantics in Databases, 2001

Coping with Inconsistent Constraint Specifications.
Proceedings of the Conceptual Modeling, 2001

2000
On Interactions of Cardinality Constraints, Key, and Functional Dependencies.
Proceedings of the Foundations of Information and Knowledge Systems, 2000

Decomposition by Pivoting and Path Cardinality Constraints.
Proceedings of the Conceptual Modeling, 2000

1999
Asymptotic Results on Suborthogonal "B"-decompositions of Complete Digraphs.
Discret. Appl. Math., 1999

1998
Modelling and Model Fitting of Flexible Robots - a Multibody System Toolkit Approach.
J. Intell. Robotic Syst., 1998

On the Consistency of Int-cardinality Constraints.
Proceedings of the Conceptual Modeling, 1998

1996
Über die Charakterisierung und Konstruktion von Entity-Relationship-Datenbanken mit Kardinalitätsbedingungen.
PhD thesis, 1996

Global Cardinality Constraints.
Proceedings of the Proccedings of the Workshop Challenges of Application and Challenges of Design, 1996

1995
Graph-Theoretical Methods to Construct Entity-Relationship Databases.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1995


  Loading...