Markus Stumptner

According to our database1, Markus Stumptner
  • authored at least 164 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A conceptual framework for large-scale ecosystem interoperability and industrial product lifecycles.
Data Knowl. Eng., 2017

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

Contingency Management for Event-Driven Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Towards a Linked Information Architecture for Integrated Law Enforcement.
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.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

VizDSL: Towards a Graphical Visualisation Language for Enterprise Systems Interoperability.
Proceedings of the 2017 International Symposium on Big Data Visual Analytics, 2017

Dynamic temporal constraints in business processes.
Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016
A Feature-based Categorization of Multi-Level Modeling Approaches and Tools.
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.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Utilising bitemporal information for business process contingency management.
Proceedings of the Australasian Computer Science Week Multiconference, 2016

State of the art in knowledge extraction from online polls: a survey of current technologies.
Proceedings of the Australasian Computer Science Week Multiconference, 2016

2015
Rule-based peer-to-peer framework for decentralised real-time service oriented architectures.
Sci. Comput. Program., 2015

Consistent Abstraction of Business Processes Based on Constraints.
J. Data Semantics, 2015

Formalising natural language specifications using a cognitive linguistic/configuration based approach.
Inf. Syst., 2015

Change Propagation and Conflict Resolution for the Co-Evolution of Business Processes.
Int. J. Cooperative Inf. Syst., 2015

Verification of the CD2RDBMS Transformation Case in Flora-2.
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.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

Bitemporal Support for Business Process Contingency Management.
Proceedings of the Advances in Conceptual Modeling, 2015

A Conceptual Framework for Large-scale Ecosystem Interoperability.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

Simplification and Verification of Software and Data Structure Models in the Engineering Domain.
Proceedings of the 24th Australasian Software Engineering Conference, 2015

2014
A Survey of Directed Entity-Relation-Based First-Order Probabilistic Languages.
ACM Comput. Surv., 2014

Semantic Interpretation of Requirements through Cognitive Grammar and Configuration.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Multilevel modelling for interoperability.
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.
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.
Proceedings of the Formal Ontology in Information Systems, 2014

Towards a Reference Architecture for the Co-evolution of Business Processes.
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.
Proceedings of the Tenth Asia-Pacific Conference on Conceptual Modelling, 2014

2013
Design for service compatibility - Behavioural compatibility checking and diagnosis.
Software and System Modeling, 2013

Erratum to: Design for service compatibility - Behavioural compatibility checking and diagnosis.
Software and System Modeling, 2013

Performance analysis of a rule-based SOA component for real-time applications.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Enabling Information Interoperability through Multi-domain Modeling.
Proceedings of the Practice-Driven Research on Enterprise Transformation, 2013

On-the-Fly Change Propagation for the Co-evolution of Business Processes.
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.
Proceedings of the 2013 Military Communications and Information Systems Conference, 2013

Re-engineering the ISO 15926 Data Model: A Multi-level Metamodel Perspective.
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013

Formalising Natural Language Specifications Using a Cognitive Linguistics/Configuration Based Approach.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Configuring Domain Knowledge for Natural Language Understanding.
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.
Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling, 2013

2012
On the application of software modelling principles on ISO 15926.
Proceedings of the Modelling of the Physical World Workshop, 2012

A Knowledge-based Approach to the Configuration of Business Process Model Abstractions.
Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, 2012

Ontology-based conceptual payload design - Requirements Ontology.
Proceedings of the International Symposium on Communications and Information Technologies, 2012

On computing correct processes and repairs sing partial behavioral models.
Proceedings of the ECAI 2012, 2012

Rule-Based Control of Decentralised Asynchronous SOA for Real-Time Applications.
Proceedings of the 2012 International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2012

2011
A declarative framework for work process configuration.
AI EDAM, 2011

Special Issue: Configuration.
AI EDAM, 2011

Model-driven framework for runtime adaptation of web service compositions.
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.
Proceedings of the 3rd Canadian Semantic Web Symposium (CSWS2011), 2011

2010
Modelling and Enforcement of Inter-Process Dependencies with Business Process Modelling Languages.
Journal of Research and Practice in Information Technology, 2010

Model Driven Orchestration: Design for Service Compatibility.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Metamodel-Based Information Integration at Industrial Scale.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

A Framework for the Flexible Instantiation of Large Scale Software Process Tailoring.
Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

Diagnosis of Service Failures by Trace Analysis with Partial Knowledge.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Diagnosing Process Trajectories Under Partially Known Behavior.
Proceedings of the ECAI 2010, 2010

Diagnosing Component Interaction Errors from Abstract Event Traces.
Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

A conceptual modeling approach for web service composition supporting service re-configuration.
Proceedings of the Conceptual Modelling 2010, 2010

2009
Automated compilation of Object-Oriented Probabilistic Relational Models.
Int. J. Approx. Reasoning, 2009

Specifying OCL Constraints on Process Instantiations.
ECEASST, 2009

Semantic Service Discovery by Consistency-Based Matchmaking.
Proceedings of the Advances in Data and Web Management, Joint International Conferences, 2009

Refining spectrum-based fault localization rankings.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Meta Model Based Architecture for Software Process Instantiation.
Proceedings of the Trustworthy Software Development Processes, 2009

Priority-Based Constraint Management in Software Process Instantiation.
Proceedings of the Information Systems Development, 2009

Service Composition as Generative Constraint Satisfaction.
Proceedings of the IEEE International Conference on Web Services, 2009

A Generative Framework for Service Process Composition.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Method Manual based Process Generation and Validation.
Proceedings of the ICEIS 2009, 2009

Building a Generic Graph-based Descriptor Set for use in Drug Discovery.
Proceedings of the Eighth Australasian Data Mining Conference, AusDM 2009, Melbourne, 2009

2008
Trust-annotated ontology integration using social modelling.
Expert Systems, 2008

Ontology-based Process Modeling and Execution Using STEP/EXPRESS.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Evaluating Models for Model-Based Debugging.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Improving Integration with Subjective Combining of Ontology Mappings.
Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

Instantiating Software Processes: An Industry Approach.
Proceedings of the Information Systems Development, 2008

Challenges in Software Design in Large Corporations - A Case Study at Siemens AG.
Proceedings of the ICEIS 2008, 2008

Distributed Repair of Nondiagnosability.
Proceedings of the ECAI 2008, 2008

Knowledge-Intensive Process Modelling in Engineering Design.
Proceedings of the 19th International Workshop on Database and Expert Systems Applications (DEXA 2008), 2008

Conceptual Modeling Approaches for Dynamic Web Service Composition.
Proceedings of the Evolution of Conceptual Modeling, 2008

Modelling Inter-Process Dependencies with High-Level Business Process Modelling Languages.
Proceedings of the Conceptual Modelling 2008, 2008

2007
Analysis of business process integration in Web service context.
Future Generation Comp. Syst., 2007

Model-Based Debugging - State of the Art And Future Challenges.
Electr. Notes Theor. Comput. Sci., 2007

Automating Software Processes.
Proceedings of the Information Systems Development, 2007

Enhancements and Ontological Use of ISO-10303 (STEP) to Support the Exchange of Parameterised Product Data Models.
Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications, 2007

Abstract Interpretation of Programs for Model-Based Debugging.
Proceedings of the IJCAI 2007, 2007

Exploiting Semantics of Inter-Process Dependencies to Instantiate Predefined Integration Patterns.
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.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

Semantic Web Service Composition by Consistency-Based Model Refinement.
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007

2006
Debugging Failures in Web Services Coordination.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Object and Knowledge Modeling for Impact Fusion.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Constraint-based livespaces configuration management.
Proceedings of the 11th International Conference on Intelligent User Interfaces, 2006

Trust Calculation.
Proceedings of the Intelligent Information Processing III, 2006

A Generator Framework for Domain-Specific Model Transformation Languages.
Proceedings of the ICEIS 2006, 2006

Model Construction Algorithms for Object-Oriented Probabilistic Relational Models.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Better Debugging Through More Abstract Observations.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Applying OPRMs to Recursive Probability Models.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

A Framework for the Behavior Based Integration of Business Processes.
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

Verification of Business Process Integration Options.
Proceedings of the Business Process Management, 4th International Conference, 2006

Mining MOUCLAS Patterns and Jumping MOUCLAS Patterns to Construct Classifiers.
Proceedings of the Data Mining - Theory, Methodology, Techniques, and Applications, 2006

Representation and Reasoning for Recursive Probability Models.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005
Probabilistic Reasoning Techniques for the Tactical Military Domain.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

Automated Web Service Composition: Methods and Tradeoffs (Invited Talk).
Proceedings of the Information Systems Technology and its Applications, 2005

Probabilistic Reasoning Techniques for Situation Assessments.
Proceedings of the Third International Conference on Information Technology and Applications (ICITA 2005), 2005

Situation Assessment with Object Oriented Probabilistic Relational Models.
Proceedings of the ICEIS 2005, 2005

Definition of Business Process Integration Operators for Generalization.
Proceedings of the ICEIS 2005, 2005

Behavior Based Integration of Composite Business Processes.
Proceedings of the Business Process Management, 3rd International Conference, 2005

2004
Consistency-based diagnosis of configuration knowledge bases.
Artif. Intell., 2004

Intelligent Technology for Well Logging Analysis.
Proceedings of the Intelligent Information Processing II, 2004

Model-Based Debugging with High-Level Observations.
Proceedings of the Intelligent Information Processing II, 2004

A Prediction Approach to Well Logging.
Proceedings of the Intelligent Information Processing II, 2004

Data Mining by MOUCLAS Algorithm for Petroleum Reservoir Characterization from Well Logging Data.
Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Classification of Business Process Correspondences and Associated Integration Operators.
Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004

High-Level Observations in Java Debugging.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Debugging Program Loops Using Approximate Modeling.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

On the Road to Behavior-Based Integration.
Proceedings of the Conceptual Modelling 2004, 2004

2003
Model-Based Debugging using Multiple Abstract Models
CoRR, 2003

Special Issue: Configuration.
AI EDAM, 2003

Configuration knowledge representations for Semantic Web applications.
AI EDAM, 2003

Extending Diagnosis to Debug Programs with Exceptions.
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.
Proceedings of the IJCAI-03, 2003

Linking Guidelines to Electronic Health Record Design for Improved Chronic Disease Management.
Proceedings of the AMIA 2003, 2003

Transforming UML Domain Descriptions into Configuration Knowledge Bases.
Knowledge Transformation for the Semantic Web, 2003

2002
Behavior-consistent specialization of object life cycles.
ACM Trans. Softw. Eng. Methodol., 2002

DiKe - a model-based diagnosis kernel and its application.
AI Commun., 2002

UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases.
Proceedings of the RuleML 2002, 2002

Model-Based Debugging or How to Diagnose Programs Automatically.
Proceedings of the Developments in Applied Artificial Intelligence, 2002

Coordination of Inter-organisational Healthcare Processes via Specialisation of Internet-Based Object Life Cycles.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

Acquiring Configuration Knowledge Bases in the Semantic Web Using UML.
Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

Towards an Integrated Debugging Environment.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Modeling Programs with Unstructured Control Flow for Debugging.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

Automated Toolset Selection for Feature Manufacturing.
Proceedings of the Artificial Intelligence in Design '02, 2002

2001
Diagnosing tree-structured systems.
Artif. Intell., 2001

A perspective based approach to design.
Proceedings of the KI-2001 Workshop AI in Planning, 2001

Comparing Two Models for Software Debugging.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

DiKe - A Model-Based Diagnosis Kernel and Its Application.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Hierarchical Diagnosis of Large Configurator Knowledge Bases.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Using Design Information to Identify Structural Software Faults.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

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

Industrial Applications of Model-based Reasoning - Guest Editorial.
AI Commun., 2000

Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project.
Proceedings of the Intelligent Problem Solving, 2000

JADE - AI Support for Debugging Java Programs.
Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Behavior Consistent Inheritance in UML.
Proceedings of the Conceptual Modeling, 2000

Modeling Java Programs for Diagnosis.
Proceedings of the ECAI 2000, 2000

Consistency-Based Diagnosis of Configuration Knowledge Bases.
Proceedings of the ECAI 2000, 2000

An Integrated Development Environment for The Design And Maintenance of Large Configuration Knowledge Bases.
Proceedings of the Artificial Intelligence in Design '00, 2000

Model-Based Debugging of Java Programs.
AADEBUG, 2000

On the Design of Behavior Consistent Specializations of Object Life Cycles in OBD and UML.
Advances in Object-Oriented Data Modeling, 2000

1999
Model-Based Diagnosis of Hardware Designs.
Artif. Intell., 1999

Debugging Functional Programs.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Configuring Large Systems Using Generative Constraint Satisfaction.
IEEE Intelligent Systems, 1998

Generative constraint-based configuration of large technical systems.
AI EDAM, 1998

A Survey of Intelligent Debugging.
AI Commun., 1998

Model-Based Reconfiguration.
Proceedings of the Artificial Intelligence in Design '98, 1998

1997
An Overview of Knowledge-Based Configuration.
AI Commun., 1997

Diagnosing Tree Structured Systems.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Behavior Consistent Refinement of Object Life Cycles.
Proceedings of the Conceptual Modeling, 1997

1996
Model-Based Program Debugging and Repair.
Proceedings of the Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1996

Model-Based Diagnosis of Hardware Designs.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995
Behavior Consistent Extension of Object Life Cycles.
Proceedings of the OOER'95: Object-Oriented and Entity-Relationship Modelling, 1995

1993
Configuring with Type Abstractions in a Dynamic Constraint Formalism.
Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

Attribute-Specific Interchangeability in Constraint Satisfaction Problems.
Proceedings of the Progress in Artificial Intelligence, 1993

A Generative Constraint Formalism for Configuration Problems.
Proceedings of the Advances in Artificial Intelligence, 1993

1992
Representing organizational changes in distributed problem solving environments.
IEEE Trans. Systems, Man, and Cybernetics, 1992

On the formal properties of transitive inheritance in databases.
Inf. Sci., 1992

Selective Inheritance of Attribute Values in Relational Databases.
Discrete Applied Mathematics, 1992

1991
Sperrverfahren für B-Bäume im Vergleich.
Informatik Spektrum, 1991

1989
On the Interaction between Transitive Closure and Functional Dependencies.
Proceedings of the MFDBS 89, 1989

ObjView: A Task-Oriented, Graphics-Based Tools for Object Visualization and Arrangement.
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.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986


  Loading...