Wolfgang Mayer

Int. J. Account. Inf. Syst., 2021

A Schema-Driven Synthetic Knowledge Graph Generation Approach With Extended Graph Differential Dependencies (GDD<sup>x</sup>s).

[BibT_eX]

[DOI]

IEEE Access, 2021

ASMaaS: Automatic Semantic Modeling as a Service.

[BibT_eX]

[DOI]

Proceedings of the IEEE World Congress on Services, 2021

Automatic Semantic Modeling for Structural Data Source with the Prior Knowledge From Knowledge Graph.

[BibT_eX]

[DOI]

Proceedings of the 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, 2021

Towards Formalisation of Concept Descriptions and Constraints.

[BibT_eX]

[DOI]

Matt Selway

Proceedings of the Formal Ontology in Information Systems, 2021

A Graph-based Approach for Integrating Biological Heterogeneous Data Based on Connecting Ontology.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2021

2019

JSS special issue program debugging and repair.

[BibT_eX]

[DOI]

Bo Jiang

J. Syst. Softw., 2019

ASP-based Discovery of Semi-Markovian Causal Models under Weaker Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Network Path Estimation in Uncertain Data via Entity Resolution.

[BibT_eX]

[DOI]

Dean Philp

Naomi Chan

Proceedings of the Data Mining - 17th Australasian Conference, AusDM 2019, Adelaide, SA, 2019

2018

Provenance-Aware LOD Datasets for Detecting Network Inconsistencies.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the International Workshops on Contextualized Knowledge Graphs, 2018

Automated Reasoning over Provenance-Aware Communication Network Knowledge in Support of Cyber-Situational Awareness.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2018

Representing network knowledge using provenance-aware formalisms for cyber-situational awareness.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Spent Convictions and the Architecture for Establishing Legal Semantic Workflows.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Technologies for Regulatory Compliance co-located with the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018), 2018

FEDSA: A Data Federation Platform for Law Enforcement Management.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Relationship Matching of Data Sources: A Graph-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2018

Variety Management for Big Data.

[BibT_eX]

[DOI]

Proceedings of the Semantic Applications, Methodology, Technology, Corporate Use., 2018

2017

Weakening faithfulness: some heuristic causal discovery algorithms.

[BibT_eX]

[DOI]

Zhalama

Jiji Zhang

Int. J. Data Sci. Anal., 2017

A conceptual framework for large-scale ecosystem interoperability and industrial product lifecycles.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2017

SAT-Based Causal Discovery under Weaker Assumptions.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Semantic Workflows in Law Enforcement Investigations and Legal Requirements.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017), 2017

Towards a Linked Information Architecture for Integrated Law Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Linked Democracy: Artificial Intelligence for Democratic Innovation co-located with the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017

An Architecture for Establishing Legal Semantic Workflows in the Context of Integrated Law Enforcement.

[BibT_eX]

[DOI]

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

2015

Rule-based peer-to-peer framework for decentralised real-time service oriented architectures.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Consistent Abstraction of Business Processes Based on Constraints.

[BibT_eX]

[DOI]

J. Data Semant., 2015

Formalising natural language specifications using a cognitive linguistic/configuration based approach.

[BibT_eX]

[DOI]

Inf. Syst., 2015

Change Propagation and Conflict Resolution for the Co-Evolution of Business Processes.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2015

Multilevel Mapping of Ecosystem Descriptions - Short Paper.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

A Conceptual Framework for Large-scale Ecosystem Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 34th International Conference, 2015

2014

Semantic Interpretation of Requirements through Cognitive Grammar and Configuration.

[BibT_eX]

[DOI]

Matt Selway

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Multilevel modelling for interoperability.

[BibT_eX]

[DOI]

Andreas Jordan

Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

An Ontological Core for Conformance Checking in the Engineering Life-cycle.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2014

Towards a Reference Architecture for the Co-evolution of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

Conflict Resolution for On-the-fly Change Propagation in Business Processes.

[BibT_eX]

[DOI]

Shamila Mafazi

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

2013

Performance analysis of a rule-based SOA component for real-time applications.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

On-the-Fly Change Propagation for the Co-evolution of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

A rule-based platform for distributed real-time SOA with application in defence systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 Military Communications and Information Systems Conference, 2013

Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Formalising Natural Language Specifications Using a Cognitive Linguistics/Configuration Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Configuring Domain Knowledge for Natural Language Understanding.

[BibT_eX]

[DOI]

Matt Selway

Proceedings of the 15th International Configuration Workshop, 2013

Semantic Interoperability in the Oil and Gas Industry: A Challenging Testbed for Semantic Technologies.

[BibT_eX]

[DOI]

Proceedings of the 2013 AAAI Fall Symposia, Arlington, Virginia, USA, November 15-17, 2013, 2013

2012

On the application of software modelling principles on ISO 15926.

[BibT_eX]

[DOI]

Proceedings of the Modelling of the Physical World Workshop, 2012

A Knowledge-based Approach to the Configuration of Business Process Model Abstractions.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

On computing correct processes and repairs sing partial behavioral models.

[BibT_eX]

[DOI]

Gerhard Friedrich

Proceedings of the ECAI 2012, 2012

Rule-Based Control of Decentralised Asynchronous SOA for Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2012

2011

A declarative framework for work process configuration.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 2011

Inconsistencies in the Process Specification Language (PSL).

[BibT_eX]

[DOI]

Michael Beeson

Jay Halcomb

Proceedings of the First Workshop on Automated Theory Engineering, 2011

2010

Diagnosis of Service Failures by Trace Analysis with Partial Knowledge.

[BibT_eX]

[DOI]

Gerhard Friedrich

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Diagnosing Process Trajectories Under Partially Known Behavior.

[BibT_eX]

[DOI]

Gerhard Friedrich

Proceedings of the ECAI 2010, 2010

Diagnosing Component Interaction Errors from Abstract Event Traces.

[BibT_eX]

[DOI]

Xavier Pucel

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009

Semantic Service Discovery by Consistency-Based Matchmaking.

[BibT_eX]

[DOI]

Proceedings of the Advances in Data and Web Management, Joint International Conferences, 2009

Refining spectrum-based fault localization rankings.

[BibT_eX]

[DOI]

Rui Abreu

Arjan J. C. van Gemund

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Service Composition as Generative Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

A Generative Framework for Service Process Composition.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Generative Composition of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Forum at the CAiSE 2009 Conference, 2009

2008

Ontology-based Process Modeling and Execution Using STEP/EXPRESS.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Evaluating Models for Model-Based Debugging.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Distributed Repair of Nondiagnosability.

[BibT_eX]

[DOI]

Anika Schumann

Proceedings of the ECAI 2008, 2008

Knowledge-Intensive Process Modelling in Engineering Design.

[BibT_eX]

[DOI]

Arndt Mühlenfeld

Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

2007

Abstract Interpretation of Programs for Model-Based Debugging.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Semantic Web Service Composition by Consistency-Based Model Refinement.

[BibT_eX]

[DOI]

Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

2006

Model-Based Debugging - State of the Art And Future Challenges.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Verification and Debugging, 2006

Debugging Failures in Web Services Coordination.

[BibT_eX]

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Better Debugging Through More Abstract Observations.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2004

Model-Based Debugging with High-Level Observations.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing II, 2004

High-Level Observations in Java Debugging.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Debugging Program Loops Using Approximate Modeling.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Model-Based Debugging using Multiple Abstract Models

[BibT_eX]

[DOI]

CoRR, 2003

Extending Diagnosis to Debug Programs with Exceptions.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

2002

Model-Based Debugging or How to Diagnose Programs Automatically.

[BibT_eX]

[DOI]

Franz Wotawa

Proceedings of the Developments in Applied Artificial Intelligence, 2002

Towards an Integrated Debugging Environment.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Modeling Programs with Unstructured Control Flow for Debugging.

[BibT_eX]

[DOI]