Wolfgang Mayer, Markus Stumptner, and Marc Bettex.
On Solving Complex Rack Configuration Problems using
CSP Methods.
In Markus Stumptner and Patrick Albert, editors, Proceedings of
the Workshop on Configuration at the 21st European Conference on
Artificial Intelligence, Pasadena, CA, USA, July 2009.
Forthcoming.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Modeling Context-Dependent Faults for Diagnosis
.
In Mattias Nyberg, Erik Frisk, Mattias Krysander, and Jan Aslund,
editors, Proceedings of the 20th International Workshop on Principles of
Diagnosis, Stockholm, Sweden, June 2009.
Forthcoming.
[ bib ]
Xavier Pucel, Wolfgang Mayer, and Markus Stumptner.
Diagnosability analysis without fault models.
In Mattias Nyberg, Erik Frisk, Mattias Krysander, and Jan Aslund,
editors, Proceedings of the 20th International Workshop on Principles of
Diagnosis, Stockholm, Sweden, June 2009.
Forthcoming.
[ bib ]
Rajesh Thiagarajan, Wolfgang Mayer, and Markus Stumptner.
Generative Composition of Web Services.
In CAiSE Forum, Amsterdam, The Netherlands, June 2009. CEUR
Workshop Proceedings.
Forthcoming.
[ bib ]
Rajesh Thiagarajan, Wolfgang Mayer, and Markus Stumptner.
Semantic Service Discovery by Consistency-based
Matchmaking.
In Proceedings of the The Joint International Conferences on
Asia-Pacific Web Conference (APWeb) and Web-Age Information Management
(WAIM), Suzhou, China, April 2009. Springer-Verlag.
Forthcoming.
[ bib ]
Rui Abreu, Wolfgang Mayer, Markus Stumptner, and Arjan J. C. van Gemund.
Refining Spectrum-based Fault Localization
Rankings.
In Proceedings of The 24th Annual ACM Symposium on Applied
Computing(SAC 2009) – Software Engineering Track, Honolulu, Hawaii, USA,
March 2009. ACM Press.
[ bib ]
Rajesh Thiagarajan, Wolfgang Mayer, and Markus Stumptner.
Synthesis and Partial Execution of Service Processes for
Matchmaking.
In Proceedings of the Second International Workshop on
Service-Oriented Engineering and Optimization, Bangalore, India, December
2008.
[ bib ]
Wolfgang Mayer, Arndt Mühlenfeld, and Markus Stumptner.
Knowledge-Intensive Process Modelling in Engineering
Design.
In DEXA Workshop: 1st International Workshop on Data Management
in Virtual Engineering (DMVE), pages 90–94, Turin, Italy, September 2008.
[ bib ]
Alban Grastien, Wolfgang Mayer, and Markus Stumptner, editors.
Proceedings of the 19th International Workshop on
Principles of Diagnosis, Blue Mountains, NSW, Australia, September
2008.
[ bib ]
Wolfgang Mayer, Rui Abreu, Markus Stumptner, and Arjan J. C. van Gemund.
Prioritising Model-Based Debugging Diagnostic
Reports.
In Proceedings of the 19th International Workshop on Principles
of Diagnosis, Blue Mountains, Sydney, Australia, September 2008.
[ bib ]
Anika Schumann, Wolfgang Mayer, and Markus Stumptner.
A Jointree Algorithm for Diagnosability and its
Application to the Verification of Distributed Software Systems.
In Proceedings of the 19th International Workshop on Principles
of Diagnosis, Blue Mountains, Sydney, Australia, September 2008.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Evaluating Models for Model-Based Debugging.
In 23rd IEEE/ACM International Conference on Automated Software
Engineering (ASE 2008), pages 128–137, L'Aquila, Italy, September 2008.
IEEE Computer Society Press.
[ bib ]
Wolfgang Mayer, Arndt Mühlenfeld, and Markus Stumptner.
Using Ontologies to Optimise Design-Driven Development
Processes.
In Collaborative Product and Service Life Cycle Management for a
Sustainable World, Advanced Concurrent Engineering, pages 451–459, Belfast,
Northern Ireland, UK, August 2008. Springer London.
[ bib ]
Arndt Mühlenfeld, Franz Maier, Wolfgang Mayer, and Markus Stumptner.
Modelling and Management of Design Artefacts in Design
Optimisation.
In Collaborative Product and Service Life Cycle Management for a
Sustainable World, Advanced Concurrent Engineering, pages 513–520, Belfast,
Northern Ireland, UK, August 2008. Springer London.
[ bib ]
Anika Schumann, Wolfgang Mayer, and Markus Stumptner.
Distributed Repair of Nondiagnosability.
In Proceedings of the European Conference on Artificial
Intelligence (ECAI), pages 795–796, Patras, Greece, July 2008. IOS Press.
Short paper.
[ bib ]
Arndt Mühlenfeld, Franz Maier, Wolfgang Mayer, and Markus Stumptner.
Ontology-Based Process Modeling and Execution using
STEP/EXPRESS.
In Proceedings of the International Conference on Software
Engineering and Knowledge Engineering, pages 935–940, San Francisco Bay,
USA, July 2008. Knowledge Systems Institute Graduate School.
[ bib ]
Franz Maier, Wolfgang Mayer, Markus Stumptner, and Arndt Mühlenfeld.
Ontology-Based Process Modelling for Design Optimisation
Support.
In Third International Conference on Design Computing and
Cognition (DCC'08), pages 513–532, Atlanta, USA, June 2008.
Springer-Verlag.
[ bib ]
Rajesh Thiagarajan, Markus Stumptner, and Wolfgang Mayer.
Semantic Web Service Composition by Consistency-Based
Model Refinement.
In The 2nd IEEE Asia-Pacific Service Computing Conference (APSCC
2007), pages 336–343, Tsukuba, Japan, December 2007.
[ bib ]
Wolfgang Mayer.
Static and Hybrid Analysis in Model-based
Debugging.
PhD thesis, School of Computer and Information Science, University of
South Australia, Adelaide, Australia, July 2007.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Models and Tradeoffs in Model-based Debugging.
In Proceedings of the 18th International Workshop on Principles
of Diagnosis, pages 138–145, Nashville, TN, May 2007.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Model-Based Debugging – State of the Art And Future
Challenges.
Electronic Lecture Notes in Theoretical Computer Science,
171:61–82, May 2007.
Workshop on Verification and Debugging (V&D'06).
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Abstract Interpretation of Programs for Model-Based
Debugging.
In Proceedings of the 20th International Joint Conference
on Artificial Intelligence, pages 471–476, Hyderabad, India, January 2007.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Better Debugging through More Abstract
Observations.
In Proceedings of the European Conference on Artificial
Intelligence (ECAI), Riva del Garda, Italy, August 2006. IOS Press.
Poster.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Debugging Failures in Web Services Coordination
.
In Proceedings of the International Conference on Software
Engineering and Knowledge Engineering, San Francisco Bay, USA, July 2006.
Knowledge Systems Institute.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Debugging Failures in Web Services Coordination
.
In Proceedings of the Seventeenth International Workshop on
Principles of Diagnosis, pages 171–178, Peñaranda de Duero, Burgos,
Spain, June 2006.
Poster.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Putting the Oracle in the Driver's Seat: Debugging with
arbitrary user input.
In Proceedings of the Sixteenth International Workshop on
Principles of Diagnosis, pages 181–186, Monterey, June 2005.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Approximate Modeling for Debugging of Program
Loops.
In Proceedings of the Fifteenth International Workshop on
Principles of Diagnosis, pages 87–92, Carcassonne, June 2004.
[ bib |
.pdf ]
Wolfgang Mayer and Markus Stumptner.
Debugging Program Loops Using Approximate
Modeling.
In Ramon López de Mántaras and Lorenza Saitta, editors,
Proceedings of the European Conference on Artificial Intelligence (ECAI),
pages 843–847. IOS Press, 2004.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
High-Level Observations in Java Debugging.
In Ramon López de Mántaras and Lorenza Saitta, editors,
Proceedings of the European Conference on Artificial Intelligence (ECAI),
pages 1059–1060. IOS Press, 2004.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Model-Based Debugging with High-Level
Observations.
In Zhongzhi Shi and Qing He, editors, Intelligent Information
Processing, pages 299–309. Springer-Verlag, 2004.
[ bib ]
Wolfgang Mayer and Markus Stumptner.
Model-Based Debugging using Multiple Abstract
Models.
In Proceedings of the 5th International Workshop on
Automated and Algorithmic Debugging, AADEBUG '03, pages 55–70, Ghent,
September 2003.
[ bib |
.pdf ]
Wolfgang Mayer and Markus Stumptner.
Debugging Program Exceptions.
In Proceedings of the Fourteenth International Workshop on
Principles of Diagnosis, pages 119–124, Washington, D.C., June 2003.
[ bib |
.pdf ]
Wolfgang Mayer and Markus Stumptner.
Extending Diagnosis to Debug Programs with
Exceptions.
In Proceedings IEEE Conference on Automated Software
Engineering, pages 240–244. IEEE Computer Society Press, 2003.
[ bib ]
Wolfgang Mayer, Markus Stumptner, and Franz Wotawa.
Model-based Debugging or How to Diagnose
Programs Automatically.
In Proceedings of the International Conference on Industrial and
Engineering Applications of Artificial Intelligence and Expert Systems,
Springer LNAI, pages 746–757, Cairns, Australia, June 2002.
[ bib |
.pdf ]
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa.
Observations and Results Gained from the Jade
Project.
In Proceedings of the Thirteenth International Workshop on
Principles of Diagnosis, Semmering, Austria, April 2002.
[ bib |
.ps.gz ]
Wolfgang Mayer and Markus Stumptner.
Modeling Programs with Unstructured Control Flow for
Debugging.
In Bob McKay and John K. Slaney, editors, Proceedings of the
Australian Joint Artificial Intelligence Conference, volume 2557 of
Lecture Notes in Computer Science, pages 107–118. Springer-Verlag, 2002.
[ bib ]
Wolfgang Mayer, Markus Stumptner, and Franz Wotawa.
Can AI help to improve debugging substantially?
Automatic Debugging and the Jade Project..
Journal of the Austrian Society for Artificial Intelligence,
21(4):18–22, 2002.
[ bib ]
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa.
Can AI Help to Improve Debugging Substantially?
Debugging Experiences with Value-Based Models.
In Proceedings of the European Conference on Artificial
Intelligence (ECAI), pages 417–421, Lyon, 2002.
[ bib |
.ps.gz ]
Wolfgang Mayer, Markus Stumptner, Dominik Wieland, and Franz Wotawa.
Towards an Integrated Debugging
Environment.
In Proceedings of the European Conference on Artificial
Intelligence (ECAI), pages 422–426, Lyon, 2002.
[ bib |
.ps.gz ]
Wolfgang Mayer.
Modellbasierte Diagnose von Java-Programmen,
Entwurf und Implementierung eines wertbasierten Modells (Model-based
Diagnosis of Java Programs – Design and Implementation of a
Value-Based Model).
Master's thesis, Technische Universität Wien, Institut
für Informationssysteme, 2000.
(in German).
[ bib |
.ps.gz ]
