Publications

1999

Gerhard Friedrich, Markus Stumptner and Franz Wotawa, `Model-Based Diagnosis of Hardware Designs', in Artificial Intelligence, 111(2), pp 3-39, July 1999. [AIJ99]

Markus Stumptner and Franz Wotawa, `Debugging Functional Programs', in Proceedings of the International Joint Conference on AI (IJCAI '99), Stockholm, July 1999.[IJCAI99]

Markus Stumptner and Franz Wotawa, `Jade - Java Diagnosis Experiments. Status and Outlook', in IJCAI '99 Workshop on Qualitative and Model-based Reasoning for Complex Systems and their Control, Stockholm, July 1999, [IJCAI99WS]

Gerhard Friedrich und Markus Stumptner. `Consistency-Based Configuration', in Proceedings of the AAAI '99 Workshop on Configuration, June 1999.

Cristinel Mateis, Markus Stumptner and Franz Wotawa, `Debugging of Java Programs using a Model-based Approach', in Proceedings of the International Workshop on Diagnosis (DX99), June 1999. [DX99a]

Markus Stumptner and Franz Wotawa, `Reconfiguration using Model-based Diagnosis', in Proceedings of the International Workshop on Diagnosis (DX99), June 1999. [DX99b]

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach und Markus Stumptner, `Consistency based diagnosis of configuration knowledge-bases.' In Proceedings of the International Workshop on Diagnosis (DX99), June 1999.

1998

Markus Stumptner and Gerhard Friedrich and Alois Haselböck. Generative Constraint-Based Configuration of Large Technical Systems. In Artificial Intelligence in Engineering, Design, Analysis and Manufacturing (AI EDAM), 12(4), Special Issue on Configuration, December 1998.

Gerhard Fleischanderl and Gerhard Friedrich and Alois Haselböck and Herwig Schreiner and Markus Stumptner. Configuring large-scale systems with generative constraint satisfaction. In IEEE Intelligent Systems, 13(4), Special Issue on Configuration, July/August 1998.

Markus Stumptner and Franz Wotawa, `MBD Research Activities at Vienna University of Technology', in Proceedings of the ECAI '98 Workshop W5 `Model-based systems and qualitative reasoning', Brighton, UK, July 1998. [ECAI98W5]

Markus Stumptner and Franz Wotawa, `Model-based reconfiguration', in Proceedings Artificial Intelligence in Design (AID 98), Lisbon, Portugal, 1998. [AID98]

Markus Stumptner and Franz Wotawa, `VHDLDIAG+:Value-level Diagnosis of VHDL Programs', in Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX98) , Cape Cod, USA, May 1998. [DX98-1]

Markus Stumptner and Franz Wotawa, `Debugging Functional Programs', in Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX98) , Cape Cod, USA, May 1998. [DX98-2]

Gerhard Friedrich and Gerhard Fleischanderl and Alois Haselböck and Markus Stumptner. Reduktion von Entwicklungskosten durch wissensbasierte Konfiguration (Ein Fallbeispiel). In Proceedings PuK 98 - 12. Workshop Planen und Konfigurieren GI-Fachgruppe 1.5.3, Paderborn, April 1998.

Markus Stumptner and Franz Wotawa, `A Survey of Intelligent Debugging', in The European Journal on Artificial Intelligence (AICOM) , Vol. 11, Num. 1, 1998. [AICOM98]

1997

Michael Schrefl and Markus Stumptner. Behavior consistent refinement of object life cycles. In Proceedings ER 97 International Conference on Conceptual Modelling, Los Angeles, November 1997.

Markus Stumptner and Franz Wotawa, `Diagnosing tree-structured systems', in Proceedings International Joint Conf. on Artificial Intelligence, Nagoya, Japan, 1997. [IJCAI97] , appears also in the Proceedings of the Eighth International Workshop on Principles of Diagnosis (DX97), Le Mont-Saint-Michel, France, 1997.

Markus Stumptner. An overview of knowledge-based configuration. In AI Communications, 10(2), June 1997.

1996

Markus Stumptner. Dimensions of Configuration Problems - Looking for a Unified Configuration Model. In Proceedings American Association of Artificial Intelligence (AAAI) '96 Fall Symposium on Configuration, Cambridge, Mass., November 1996.

Gerhard Friedrich, Markus Stumptner, and Franz Wotawa, `Model-based diagnosis of hardware designs', in Proceedings of the European Conference on Artificial Intelligence (ECAI 96), Budapest, (August 1996). [ECAI96]

Markus Stumptner and Franz Wotawa, `A model-based approach to software debugging', in Proceedings of the Seventh International Workshop on Principles of Diagnosis (DX96), Val Morin, Canada, 1996. [DX96]

Markus Stumptner and Franz Wotawa, `A Model-based Tool for finding faults in hardware designs', in Proceedings Artificial Intelligence in Design, Stanford, USA, 1996. [AID96]

Markus Stumptner and Franz Wotawa, `Model-based diagnosis of hardware description languages', in Proc. Computational Engineering in Systems Applications CESA'96 IMACS Multiconference, Invited Session on Model-Based Systems, Lille, 1996. [CESA96]

Markus Stumptner and Franz Wotawa, `Model-based program debugging and repair', in Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Fukuoka, 1996. [IEAAIE96]

Markus Stumptner and Alois Haselböck. Configuration with type abstractions in a dynamic constraint formalism. In Proceedings CONSTRAINTS'96 Workshop at FLAIRS, Key West, May 1996.

1995

Michael Schrefl and Markus Stumptner. Behavior consistent extension of object life cycles. In Proceedings OO-ER 95 International Conference on Conceptual Modelling, Gold Coast, December 1995.

Gerhard Friedrich, Markus Stumptner, and Franz Wotawa, `Model-based diagnosis of hardware designs', in Proceedings of the Sixth International Workshop on Principles of Diagnosis (DX95), Goslar, Germany, October 1995. [DX95]

Gerhard Fleischanderl, Gerhard Friedrich, Alois Haselböck, and Markus Stumptner. Knowledge-based configuration of switching systems. Proceedings International Switching Systems Symposium, 1995.

1994

Markus Stumptner, Alois Haselböck, and Gerhard Friedrich. COCOS - a tool for constraint-based, dynamic configuration. In Proceedings of the 10th IEEE Conference on AI Applications (CAIA), San Antonio, March 1994.

Alois Haselböck, Thomas Havelka, and Markus Stumptner. Revising inconsistent variable assignments in constraint satisfaction problems. In Proceedings European Conference on Artificial Intelligence (ECAI) '94 Workshop on Constraint Processing, Amsterdam, August 1994. Earlier version appeared in Proceedings CSAM'93 Workshop on Constraint Processing, St. Petersburg, July 1993.

1993

Alois Haselböck and Markus Stumptner. A constraint-based architecture for assembling large-scale technical systems. In Proceedings of the International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE), Edinburgh, June 1993.

Alois Haselböck and Markus Stumptner. An integrated approach for modelling complex configuration domains. In Proceedings of the 13th International Conference on Expert Systems, Artificial Intelligence, and Natural Language, Avignon, May 1993.

Alois Haselböck and Markus Stumptner. Attribute-specific interchangeability in constraint satisfaction problems. In Proceedings 6th Portuguese Conference on Artificial Intelligence (EPIA), October 1993. Springer LNCS.

Markus Stumptner and Alois Haselböck. A Generative Constraint Formalism for Configuration Problems. In Proceedings Italian Congress on Artificial Intelligence (AIIA 93), Turin, October 1993. Springer LNCS.

1992

Georg Gottlob, Michael Schrefl, and Markus Stumptner. On selective inheritance of attribute values in relational databases. Discrete Applied Mathematics, 38, 1992.

Christian Stary and Markus Stumptner. Representing organizational changes in distributed problem solving environments. IEEE Transactions on Systems, Man, and Cybernetics, 22(5), September/October 1992.

Michael Schrefl and Markus Stumptner. On the formal properties of transitive inheritance in databases. Information Sciences, 66(1-2), December 1992.

1991

Christian Stary and Markus Stumptner. A theory of multi-agent interaction for reliable cooperative work environments. In Proceedings of the International Conference on Cognitive Science (ICO 91), Montreal, April 1991.

Thomas Eiter, Michael Schrefl, and Markus Stumptner. Parallele Operationen auf B-Bäumen. Informatik-Spektrum, 14(4), August 1991.

Markus Stumptner. Extending Constraints for Object-Oriented Problem Solving. In International Joint Conference on Artificial Intelligence (IJCAI) '91, Workshop on Objects and AI, Sydney, Australia, August 1991.

Alois Haselböck and Markus Stumptner. Configuration and design as a constraint satisfaction task. In International Joint Conference on Artificial Intelligence (IJCAI'91), Workshop on Design, Sydney, Australia, August 1991.

1990 and earlier

Markus Stumptner, `Redundancy and Information Content for Data Relations with Different Kinds of Null Values', PhD Thesis , Technische Universität Wien, 1990.

Gerhard Friedrich and Markus Stumptner. Einführung in Expertensysteme. In Frühwirth/Gottlob/Horn (Hrsg.), Expertensysteme. Springer-Verlag, 1990.

Gerhard Friedrich, Georg Gottlob, and Markus Stumptner. Wissensrepräsentation. In Frühwirth/Gottlob/Horn (Hrsg.), Expertensysteme. Springer-Verlag, 1990.

Gerhard Friedrich, Wolfgang Höllinger, Christian Stary, and Markus Stumptner. Objview: A task-oriented, graphics-based tool for object visualization and arrangement. In European Conference on Object Oriented Programming, Nottingham, June 1989.

Georg Gottlob, Michael Schrefl, and Markus Stumptner. On the interaction between transitive closure and functional dependencies. In J. Demetrovics and B. Thalheim, editors, Proceedings of the 2nd International Conference on Mathematical Fundamentals of Database Systems, Springer LNCS 364, Budapest, Ungarn, June 1989.

Georg Gottlob and Markus Stumptner. AI und Expertensysteme - Von Software Engineering zu Knowledge Engineering. In Technik und Trends, Schriftenreihe des österreichischen Industriewissenschaftlichen Instituts, 1988.

Karl Kleissner and Markus Stumptner. Performance of concurrency control algorithms in distributed databases with tight coupling of multi-processors at each node. In Proceedings 6th International Conference on Distributed Computing Systems, Cambridge, Mass., May 1986.

Karl Kleissner and Markus Stumptner. SCCA: Simulation environment for concurrency control algorithms in distributed databases. In Proceedings of the 1986 Society for Computer Simulation (SCS) Multiconference - Intelligent Simulation Environments, San Diego, 1986.

Markus Stumptner. Simulation von Synchronisationsverfahren in verteilten Datenbanken. Master's thesis, Institut für Praktische Informatik, TU Wien, June 1985.