Markus Stumptner

Proceedings of the Formal Ontology in Information Systems, 2021

2019

Certus: An Effective Entity Resolution Approach with Graph Differential Dependencies (GDDs).

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2019

Critical Infrastructure for Industry 4 Laboratories and Learning Factories in Academia.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Industrial Engineering and Engineering Management, 2019

Challenges in Implementing Industry 4 Laboratories and Learning Factories in Academia.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Industrial Engineering and Engineering Management, 2019

Modelling the Semantics for Model-Driven Interactive Visualizations.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Conference, 2019

A Model-Driven Approach for Visualisation Processes.

[BibT_eX]

[DOI]

Proceedings of the Australasian Computer Science Week Multiconference, 2019

2018

An integrated multi-level modeling approach for industrial-scale data interoperability.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Introduction to the special issue on program debugging.

[BibT_eX]

[DOI]

Xiaoyuan Xie

T. H. Tse

J. Syst. Softw., 2018

Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471).

[BibT_eX]

[DOI]

Dagstuhl Reports, 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

Integration of Visual Contracts and Model Transformation for Enhanced MDE Development.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 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

Towards an open-standards based framework for achieving condition-based predictive maintenance.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on the Internet of Things, 2018

Using VizDSL for Modelling Visualization Processes.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Workshop, 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

VizDSL: A Visual DSL for Interactive Information Visualization.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 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

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

[BibT_eX]

[DOI]

Data Knowl. Eng., 2017

Contingency Management for Event-Driven Business Processes.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 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

Level-Aware Ecosystem Transformations for Industrial Lifecycle Interoperability.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 36th International Conference, 2017

VizDSL: Towards a Graphical Visualisation Language for Enterprise Systems Interoperability.

[BibT_eX]

[DOI]

Rebecca Morgan

Proceedings of the 2017 International Symposium on Big Data Visual Analytics, 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

Dynamic temporal constraints in business processes.

[BibT_eX]

[DOI]

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016

A Feature-based Categorization of Multi-Level Modeling Approaches and Tools.

[BibT_eX]

[DOI]

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

Propagation of Event Content Modification in Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Utilising bitemporal information for business process contingency management.

[BibT_eX]

[DOI]

Proceedings of the Australasian Computer Science Week Multiconference, 2016

State of the art in knowledge extraction from online polls: a survey of current technologies.

[BibT_eX]

[DOI]

Martin Stabauer

Proceedings of the Australasian Computer Science Week Multiconference, 2016

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

Verification of the CD2RDBMS Transformation Case in Flora-2.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), 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

Bitemporal Support for Business Process Contingency Management.

[BibT_eX]

[DOI]

Proceedings of the Advances in Conceptual Modeling, 2015

A Conceptual Framework for Large-scale Ecosystem Interoperability.

[BibT_eX]

[DOI]

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

Simplification and Verification of Software and Data Structure Models in the Engineering Domain.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014

A Survey of Directed Entity-Relation-Based First-Order Probabilistic Languages.

[BibT_eX]

[DOI]

ACM Comput. Surv., 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 implementation of multi-level modelling in F-logic.

[BibT_eX]

[DOI]

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

Design for service compatibility - Behavioural compatibility checking and diagnosis.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2013

Erratum to: Design for service compatibility - Behavioural compatibility checking and diagnosis.

[BibT_eX]

[DOI]

Softw. Syst. Model., 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

Enabling Information Interoperability through Multi-domain Modeling.

[BibT_eX]

[DOI]

Proceedings of the Practice-Driven Research on Enterprise Transformation, 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

The Decision-Scope Approach to Specialization of Business Rules: Application in Business Process Modeling and Data Warehousing.

[BibT_eX]

[DOI]

Bernd Neumayr

Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling, 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

Ontology-based conceptual payload design - Requirements Ontology.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Communications and Information Technologies, 2012

On computing correct processes and repairs sing partial behavioral models.

[BibT_eX]

[DOI]

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

Special Issue: Configuration.

[BibT_eX]

[DOI]

Alexander Felfernig

Juha Tiihonen

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

Model-driven framework for runtime adaptation of web service compositions.

[BibT_eX]

[DOI]

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Towards Integration of Semantically Enabled Service Families in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 3rd Canadian Semantic Web Symposium (CSWS2011), 2011

2010

Modelling and Enforcement of Inter-Process Dependencies with Business Process Modelling Languages.

[BibT_eX]

[DOI]

J. Res. Pract. Inf. Technol., 2010

Model Driven Orchestration: Design for Service Compatibility.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Metamodel-Based Information Integration at Industrial Scale.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

A Framework for the Flexible Instantiation of Large Scale Software Process Tailoring.

[BibT_eX]

[DOI]

Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

Diagnosis of Service Failures by Trace Analysis with Partial Knowledge.

[BibT_eX]

[DOI]

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

Diagnosing Process Trajectories Under Partially Known Behavior.

[BibT_eX]

[DOI]

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

A conceptual modeling approach for web service composition supporting service re-configuration.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2010, 2010

2009

Automated compilation of Object-Oriented Probabilistic Relational Models.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2009

Specifying OCL Constraints on Process Instantiations.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 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

Meta Model Based Architecture for Software Process Instantiation.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Software Development Processes, 2009

Priority-Based Constraint Management in Software Process Instantiation.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Development, 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

Method Manual based Process Generation and Validation.

[BibT_eX]

Proceedings of the ICEIS 2009, 2009

Generative Composition of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Forum at the CAiSE 2009 Conference, 2009

Building a Generic Graph-based Descriptor Set for use in Drug Discovery.

[BibT_eX]

[DOI]

Proceedings of the Eighth Australasian Data Mining Conference, AusDM 2009, Melbourne, 2009

2008

Trust-annotated ontology integration using social modelling.

[BibT_eX]

[DOI]

Dennis Hooijmaijers

Expert Syst. J. Knowl. Eng., 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

Improving Integration with Subjective Combining of Ontology Mappings.

[BibT_eX]

[DOI]

Dennis Hooijmaijers

Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

Instantiating Software Processes: An Industry Approach.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Development, 2008

Challenges in Software Design in Large Corporations - A Case Study at Siemens AG.

[BibT_eX]

Proceedings of the ICEIS 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

Conceptual Modeling Approaches for Dynamic Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Evolution of Conceptual Modeling, 2008

Modelling Inter-Process Dependencies with High-Level Business Process Modelling Languages.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2008, 2008

2007

Analysis of business process integration in Web service context.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2007

Automating Software Processes.

[BibT_eX]

[DOI]

Peter Killisperger

Georg Peters

Beate Nothhelfer-Kolb

Proceedings of the Information Systems Development, 2007

Enhancements and Ontological Use of ISO-10303 (STEP) to Support the Exchange of Parameterised Product Data Models.

[BibT_eX]

[DOI]

Franz Maier

Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications, 2007

Abstract Interpretation of Programs for Model-Based Debugging.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Exploiting Semantics of Inter-Process Dependencies to Instantiate Predefined Integration Patterns.

[BibT_eX]

[DOI]

Proceedings of the Challenges in Conceptual Modelling. Tutorials, posters, panels and industrial contributions at the 26th International Conference on Conceptual Modeling, 2007

Service Composition with Consistency-Based Matchmaking: A CSP-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 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

Object and Knowledge Modeling for Impact Fusion.

[BibT_eX]

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

Constraint-based livespaces configuration management.

[BibT_eX]

[DOI]

Bruce H. Thomas

Proceedings of the 11th International Conference on Intelligent User Interfaces, 2006

Trust Calculation.

[BibT_eX]

[DOI]

Dennis Hooijmaijers

Proceedings of the Intelligent Information Processing III, 2006

A Generator Framework for Domain-Specific Model Transformation Languages.

[BibT_eX]

Thomas Reiter

Elisabeth Kapsammer

Werner Retschitzegger

Wieland Schwinger

Proceedings of the ICEIS 2006, 2006

Model Construction Algorithms for Object-Oriented Probabilistic Relational Models.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Better Debugging Through More Abstract Observations.

[BibT_eX]

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

Applying OPRMs to Recursive Probability Models.

[BibT_eX]

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

A Framework for the Behavior Based Integration of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Verification of Business Process Integration Options.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 4th International Conference, 2006

Mining MOUCLAS Patterns and Jumping MOUCLAS Patterns to Construct Classifiers.

[BibT_eX]

[DOI]

Yalei Hao

Gerald Quirchmayr

Proceedings of the Data Mining - Theory, Methodology, Techniques, and Applications, 2006

Representation and Reasoning for Recursive Probability Models.

[BibT_eX]

[DOI]

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

2005

Probabilistic Reasoning Techniques for the Tactical Military Domain.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

Automated Web Service Composition: Methods and Tradeoffs (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Information Systems Technology and its Applications, 2005

Probabilistic Reasoning Techniques for Situation Assessments.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Situation Assessment with Object Oriented Probabilistic Relational Models.

[BibT_eX]

Proceedings of the ICEIS 2005, 2005

Definition of Business Process Integration Operators for Generalization.

[BibT_eX]

Proceedings of the ICEIS 2005, 2005

Behavior Based Integration of Composite Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management, 3rd International Conference, 2005

2004

Consistency-based diagnosis of configuration knowledge bases.

[BibT_eX]

[DOI]

Artif. Intell., 2004

Intelligent Technology for Well Logging Analysis.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing II, 2004

Model-Based Debugging with High-Level Observations.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing II, 2004

A Prediction Approach to Well Logging.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing II, 2004

Data Mining by MOUCLAS Algorithm for Petroleum Reservoir Characterization from Well Logging Data.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Classification of Business Process Correspondences and Associated Integration Operators.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling for Advanced Application Domains, 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

On the Road to Behavior-Based Integration.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modelling 2004, 2004

2003

Model-Based Debugging using Multiple Abstract Models

[BibT_eX]

[DOI]

CoRR, 2003

Special Issue: Configuration.

[BibT_eX]

[DOI]

Timo Soininen

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

Configuration knowledge representations for Semantic Web applications.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 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

Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Linking Guidelines to Electronic Health Record Design for Improved Chronic Disease Management.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2003, 2003

Transforming UML Domain Descriptions into Configuration Knowledge Bases.

[BibT_eX]

Proceedings of the Knowledge Transformation for the Semantic Web, 2003

2002

Behavior-consistent specialization of object life cycles.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

DiKe - a model-based diagnosis kernel and its application.

[BibT_eX]

[DOI]

Gerhard Fleischanderl

AI Commun., 2002

UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases.

[BibT_eX]

[DOI]

Proceedings of the RuleML 2002, 2002

Model-Based Debugging or How to Diagnose Programs Automatically.

[BibT_eX]

[DOI]

Proceedings of the Developments in Applied Artificial Intelligence, 2002

Coordination of Inter-organisational Healthcare Processes via Specialisation of Internet-Based Object Life Cycles.

[BibT_eX]

[DOI]

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

Acquiring Configuration Knowledge Bases in the Semantic Web Using UML.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 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]

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

Automated Toolset Selection for Feature Manufacturing.

[BibT_eX]

[DOI]

Farsad Badjgholi

Burkhard Kittl

Proceedings of the Artificial Intelligence in Design '02, 2002

2001

Diagnosing tree-structured systems.

[BibT_eX]

[DOI]

Artif. Intell., 2001

A perspective based approach to design.

[BibT_eX]

[DOI]

Oliver Hoffmann

Talik Chalabi

Proceedings of the KI-2001 Workshop AI in Planning, 2001

Comparing Two Models for Software Debugging.

[BibT_eX]

[DOI]

Dominik Wieland

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Hierarchical Diagnosis of Large Configurator Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Using Design Information to Identify Structural Software Faults.

[BibT_eX]

[DOI]

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

2000

Using Model-Based Reasoning for Locating Faults in VHDL Designs.

[BibT_eX]

Künstliche Intell., 2000

Industrial Applications of Model-based Reasoning - Guest Editorial.

[BibT_eX]

[DOI]

AI Commun., 2000

Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project.

[BibT_eX]

[DOI]

Cristinel Mateis

Proceedings of the Intelligent Problem Solving, 2000

JADE - AI Support for Debugging Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Behavior Consistent Inheritance in UML.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2000

Modeling Java Programs for Diagnosis.

[BibT_eX]

Cristinel Mateis

Proceedings of the ECAI 2000, 2000

An Integrated Development Environment for The Design And Maintenance of Large Configuration Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Design '00, 2000

Model-Based Debugging of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

On the Design of Behavior Consistent Specializations of Object Life Cycles in OBD and UML.

[BibT_eX]

Proceedings of the Advances in Object-Oriented Data Modeling, 2000

1999

Model-Based Diagnosis of Hardware Designs.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Debugging Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Configuring Large Systems Using Generative Constraint Satisfaction.

[BibT_eX]

[DOI]

Gerhard Fleischanderl

IEEE Intell. Syst., 1998

Generative constraint-based configuration of large technical systems.

[BibT_eX]

[DOI]

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

A Survey of Intelligent Debugging.

[BibT_eX]

[DOI]

AI Commun., 1998

Model-Based Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Design '98, 1998

1997

An Overview of Knowledge-Based Configuration.

[BibT_eX]

[DOI]

AI Commun., 1997

Behavior Consistent Refinement of Object Life Cycles.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 1997

1996

Model-Based Program Debugging and Repair.

[BibT_eX]

Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

1995

Behavior Consistent Extension of Object Life Cycles.

[BibT_eX]

[DOI]

Proceedings of the OOER'95: Object-Oriented and Entity-Relationship Modelling, 1995

1993

Configuring with Type Abstractions in a Dynamic Constraint Formalism.

[BibT_eX]

Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

Attribute-Specific Interchangeability in Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 1993

A Generative Constraint Formalism for Configuration Problems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 1993

1992

Representing organizational changes in distributed problem solving environments.

[BibT_eX]

[DOI]

Christian Stary

IEEE Trans. Syst. Man Cybern., 1992

On the formal properties of transitive inheritance in databases.

[BibT_eX]

[DOI]

Inf. Sci., 1992

Selective Inheritance of Attribute Values in Relational Databases.

[BibT_eX]

[DOI]

Georg Gottlob

Discret. Appl. Math., 1992

1991

Sperrverfahren für B-Bäume im Vergleich.

[BibT_eX]

Thomas Eiter

Inform. Spektrum, 1991

1989

On the Interaction between Transitive Closure and Functional Dependencies.

[BibT_eX]

[DOI]

Georg Gottlob

Proceedings of the MFDBS 89, 1989

ObjView: A Task-Oriented, Graphics-Based Tools for Object Visualization and Arrangement.

[BibT_eX]

Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989

1986

Performance of Concurrency Control Algorithms in Distributed Databases with Tight Coupling of Multi-Processors at Each Node.

[BibT_eX]

Karl Kleissner