| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Markus Stumptner Alexander Felfernig , Gerhard Friedrich , Dietmar Jannach , Markus Stumptner: Consistency-based diagnosis of configuration knowledge bases. Artif. Intell. 152 (2): 213-234 (2004) Wolfgang Mayer , Markus Stumptner: Extending Diagnosis to Debug Programs with Exceptions. ASE 2003 : 240-244 Markus Stumptner, Franz Wotawa : Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. IJCAI 2003 : 388-393 Alexander Felfernig , Gerhard Friedrich , Dietmar Jannach , Markus Stumptner, Markus Zanker : Transforming UML Domain Descriptions into Configuration Knowledge Bases. Knowledge Transformation for the Semantic Web 2003 : 154-168 Wolfgang Mayer , Markus Stumptner: Modeling Programs with Unstructured Control Flow for Debugging. Australian Joint Conference on Artificial Intelligence 2002 : 107-118 Wolfgang Mayer , Markus Stumptner, Dominik Wieland , Franz Wotawa : Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. ECAI 2002 : 417-421 Wolfgang Mayer , Markus Stumptner, Dominik Wieland , Franz Wotawa : Towards an Integrated Debugging Environment. ECAI 2002 : 422-426 Alexander Felfernig , Gerhard Friedrich , Dietmar Jannach , Markus Stumptner, Markus Zanker : Acquiring Configuration Knowledge Bases in the Semantic Web Using UML. EKAW 2002 : 352-357 Sistine Barretto , James R. Warren , Markus Stumptner, Michael Schrefl , Gerald Quirchmayr , Stephen Nield : Coordination of Inter-organisational Healthcare Processes via Specialisation of Internet-Based Object Life Cycles. HICSS 2002 : 148 Franz Wotawa , Markus Stumptner, Wolfgang Mayer : Model-Based Debugging or How to Diagnose Programs Automatically. IEA/AIE 2002 : 746-757 Alexander Felfernig , Gerhard Friedrich , Dietmar Jannach , Markus Stumptner, Markus Zanker : UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases. RuleML 2002 Michael Schrefl , Markus Stumptner: Behavior-consistent specialization of object life cycles. ACM Trans. Softw. Eng. Methodol. 11 (1): 92-148 (2002) Gerhard Fleischanderl , Thomas Havelka , Herwig Schreiner , Markus Stumptner, Franz Wotawa : DiKe - a model-based diagnosis kernel and its application. AI Commun. 15 (1): 17-30 (2002) Markus Stumptner, Dan Corbett , Michael J. Brooks : AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings Springer 2001 Markus Stumptner: Using Design Information to Identify Structural Software Faults. Australian Joint Conference on Artificial Intelligence 2001 : 473-486 Alexander Felfernig , Gerhard Friedrich , Dietmar Jannach , Markus Stumptner, Markus Zanker : Hierarchical Diagnosis of Large Configurator Knowledge Bases. KI/ÖGAI 2001 : 185-197 Markus Stumptner, Dominik Wieland , Franz Wotawa : Comparing Two Models for Software Debugging. KI/ÖGAI 2001 : 351-365 Gerhard Fleischanderl , Thomas Havelka , Herwig Schreiner , Markus Stumptner, Franz Wotawa : DiKe - A Model-Based Diagnosis Kernel and Its Application. KI/ÖGAI 2001 : 440-454 Markus Stumptner, Franz Wotawa : Diagnosing tree-structured systems. Artif. Intell. 127 (1): 1-29 (2001) Cristinel Mateis , Markus Stumptner, Dominik Wieland , Franz Wotawa : Model-Based Debugging of Java Programs. AADEBUG 2000 Alexander Felfernig , Gerhard Friedrich , Dietmar Jannach , Markus Stumptner: Consistency-Based Diagnosis of Configuration Knowledge Bases. ECAI 2000 : 146-150 Cristinel Mateis , Markus Stumptner, Franz Wotawa : Modeling Java Programs for Diagnosis. ECAI 2000 : 171-175 Markus Stumptner, Michael Schrefl : Behavior Consistent Inheritance in UML. ER 2000 : 527-542 Cristinel Mateis , Markus Stumptner, Dominik Wieland , Franz Wotawa : JADE - AI Support for Debugging Java Programs. ICTAI 2000 : 62- Cristinel Mateis , Markus Stumptner, Franz Wotawa : Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. IEA/AIE 2000 : 174-183 Michael Schrefl , Markus Stumptner: On the Design of Behavior Consistent Specializations of Object Life Cycles in OBD and UML. Advances in Object-Oriented Data Modeling 2000 : 65-104 Markus Stumptner, Franz Wotawa : Industrial Applications of Model-based Reasoning - Guest Editorial. AI Commun. 13 (2): 59-60 (2000) Markus Stumptner, Franz Wotawa : Using Model-Based Reasoning for Locating Faults in VHDL Designs. KI 14 (4): 62-67 (2000) Markus Stumptner, Franz Wotawa : Debugging Functional Programs. IJCAI 1999 : 1074-1079 Gerhard Friedrich , Markus Stumptner, Franz Wotawa : Model-Based Diagnosis of Hardware Designs. Artif. Intell. 111 (1-2): 3-39 (1999) Markus Stumptner, Franz Wotawa : A Survey of Intelligent Debugging. AI Commun. 11 (1): 35-51 (1998) Gerhard Fleischanderl , Gerhard Friedrich , Alois Haselböck , Herwig Schreiner , Markus Stumptner: Configuring Large Systems Using Generative Constraint Satisfaction. IEEE Intelligent Systems 13 (4): 59-68 (1998) Michael Schrefl , Markus Stumptner: Behavior Consistent Refinement of Object Life Cycles. ER 1997 : 155-168 Markus Stumptner, Franz Wotawa : Diagnosing Tree Structured Systems. IJCAI (1) 1997 : 440-445 Markus Stumptner: An Overview of Knowledge-Based Configuration. AI Commun. 10 (2): 111-125 (1997) Gerhard Friedrich , Markus Stumptner, Franz Wotawa : Model-Based Diagnosis of Hardware Designs. ECAI 1996 : 491-495 Michael Schrefl , Markus Stumptner: Behavior Consistent Extension of Object Life Cycles. OOER 1995 : 133-145 Markus Stumptner, Alois Haselböck : A Generative Constraint Formalism for Configuration Problems. AI*IA 1993 : 302-313 Alois Haselböck , Markus Stumptner: Attribute-Specific Interchangeability in Constraint Satisfaction Problems. EPIA 1993 : 258-270 Markus Stumptner, Alois Haselböck : Configuring with Type Abstractions in a Dynamic Constraint Formalism. PuK 1993 : 167 Georg Gottlob , Michael Schrefl , Markus Stumptner: Selective Inheritance of Attribute Values in Relational Databases. Discrete Applied Mathematics 40 (2): 187-216 (1992) Thomas Eiter , Michael Schrefl , Markus Stumptner: Sperrverfahren für B-Bäume im Vergleich. Informatik Spektrum 14 (4): 183-200 (1991) Gerhard Friedrich , Wolfgang Höllinger , Christian Stary , Markus Stumptner: ObjView: A Task-Oriented, Graphics-Based Tools for Object Visualization and Arrangement. ECOOP 1989 : 299-310 Georg Gottlob , Michael Schrefl , Markus Stumptner: On the Interaction between Transitive Closure and Functional Dependencies. MFDBS 1989 : 187-206 Karl Kleissner , Markus Stumptner: Performance of Concurrency Control Algorithms in Distributed Databases with Tight Coupling of Multi-Processors at Each Node. ICDCS 1986 : 80-87 1 [ 37 ] 2 [ 32 ] 3 [ 32 ] 4 [ 4 ] 5 [ 25 ] [ 30 ] [ 35 ] [ 38 ] [ 42 ] [ 45 ] 6 [ 14 ] [ 28 ] [ 33 ] 7 [ 3 ] [ 10 ] [ 14 ] [ 16 ] [ 25 ] [ 30 ] [ 35 ] [ 38 ] [ 42 ] [ 45 ] 8 [ 2 ] [ 5 ] 9 [ 6 ] [ 7 ] [ 8 ] [ 14 ] 10 [ 28 ] [ 33 ] 11 [ 3 ] 12 [ 25 ] [ 30 ] [ 35 ] [ 38 ] [ 42 ] [ 45 ] 13 [ 1 ] 14 [ 21 ] [ 22 ] [ 24 ] [ 26 ] 15 [ 36 ] [ 39 ] [ 40 ] [ 41 ] [ 44 ] 16 [ 37 ] 17 [ 37 ] 18 [ 2 ] [ 4 ] [ 5 ] [ 9 ] [ 13 ] [ 20 ] [ 23 ] [ 34 ] [ 37 ] 19 [ 14 ] [ 28 ] [ 33 ] 20 [ 3 ] 21 [ 37 ] 22 [ 22 ] [ 26 ] [ 29 ] [ 39 ] [ 40 ] 23 [ 10 ] [ 12 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 21 ] [ 22 ] [ 24 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 33 ] [ 36 ] [ 39 ] [ 40 ] [ 43 ] 24 [ 30 ] [ 35 ] [ 38 ] [ 42 ]  ©2004 Association for Computing Machinery |
