@inproceedings{ausai/MayerS02,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Modeling Programs with Unstructured Control Flow for
Debugging},
booktitle = {Proceedings of the Australian Joint Artificial
Intelligence Conference},
year = {2002},
pages = {107--118},
ee = {http://link.springer.de/link/service/series/0558/bibs/2557/25570107.htm},
crossref = {ausai/2002},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
@proceedings{ausai/2002,
editor = {Bob McKay and John K. Slaney},
title = {{AI} 2002: Advances in Artificial Intelligence, 15th
Australian Joint Conference on Artificial Intelligence,
Canberra, Australia, December 2-6, 2002, Proceedings},
booktitle = {Proceedings of the Australian Joint Artificial
Intelligence Conference},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {2557},
year = {2002},
isbn = {3-540-00197-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{ce/MayerMS08,
author = {Wolfgang Mayer and Arndt M{\"u}hlenfeld and Markus
Stumptner},
title = {Using Ontologies to Optimise Design-Driven Development
Processes},
booktitle_old = {15th ISPE International Conference on Concurrent
Engineering},
booktitle = {Collaborative Product and Service Life Cycle
Management for a Sustainable World},
series = {Advanced Concurrent Engineering},
part = {11},
pages = {451--459},
year = {2008},
address = {Belfast, Northern Ireland, UK},
month = aug,
publisher = {Springer London},
isbn = {978-1-84800-971-4}
}
@inproceedings{ce/MuehlenfeldMMS08,
author = {Arndt M{\"u}hlenfeld and Franz Maier and Wolfgang
Mayer and Markus Stumptner},
title = {Modelling and Management of Design Artefacts in Design
Optimisation},
booktitle_old = {15th ISPE International Conference on Concurrent
Engineering},
booktitle = {Collaborative Product and Service Life Cycle
Management for a Sustainable World},
series = {Advanced Concurrent Engineering},
part = {12},
pages = {513--520},
year = {2008},
address = {Belfast, Northern Ireland, UK},
month = aug,
publisher = {Springer London},
isbn = {978-1-84800-971-4}
}
@inproceedings{dcc/MaierMSM08,
author = {Franz Maier and Wolfgang Mayer and Markus Stumptner
and Arndt M{\"u}hlenfeld},
title = {Ontology-Based Process Modelling for Design
Optimisation Support},
booktitle = {Third International Conference on Design Computing and
Cognition (DCC'08)},
pages = {513--532},
year = {2008},
address = {Atlanta, USA},
month = jun,
publisher = {Springer-Verlag},
isbn = {9781-402-0872-7-1}
}
@inproceedings{dmve/MayerMS08,
author = {Wolfgang Mayer and Arndt M{\"u}hlenfeld and Markus
Stumptner},
title = {Knowledge-Intensive Process Modelling in Engineering
Design},
booktitle = {DEXA Workshop: 1st International Workshop on Data
Management in Virtual Engineering (DMVE)},
pages = {90--94},
year = {2008},
address = {Turin, Italy},
month = sep
}
@inproceedings{dx/MayerS07,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Models and Tradeoffs in Model-based Debugging},
booktitle = {Proceedings of the 18th International Workshop on
Principles of Diagnosis},
pages = {138--145},
year = {2007},
address = {Nashville, TN},
month = may,
}
@proceedings{dx08,
title = {Proceedings of the 19th International Workshop on
Principles of Diagnosis},
year = {2008},
booktitle = {Proceedings of the 19th International Workshop on
Principles of Diagnosis},
editor = {Alban Grastien and Wolfgang Mayer and Markus
Stumptner},
address = {Blue Mountains, NSW, Australia},
month = sep
}
@inproceedings{dx08/MayerASvG08,
author = {Wolfgang Mayer and Rui Abreu and Markus Stumptner and
Arjan J. C. van Gemund},
title = {Prioritising Model-Based Debugging Diagnostic
Reports},
booktitle = {Proceedings of the 19th International Workshop on
Principles of Diagnosis},
year = {2008},
address = {Blue Mountains, Sydney, Australia},
month = sep,
}
@inproceedings{dx08/SchumannMS08,
author = {Anika Schumann and Wolfgang Mayer and Markus
Stumptner},
title = {A Jointree Algorithm for Diagnosability and its
Application to the Verification of Distributed Software
Systems},
booktitle = {Proceedings of the 19th International Workshop on
Principles of Diagnosis},
year = {2008},
address = {Blue Mountains, Sydney, Australia},
month = sep,
}
@inproceedings{dx09/MayerS,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Modeling Context-Dependent Faults for Diagnosis},
booktitle = {Proceedings of the 20th International Workshop on
Principles of Diagnosis},
year = {2009},
editor = {Mattias Nyberg and Erik Frisk and Mattias Krysander
and Jan Aslund},
address = {Stockholm, Sweden},
month = jun,
note = {Forthcoming}
}
@inproceedings{dx09/PucelMS,
author = {Xavier Pucel and Wolfgang Mayer and Markus Stumptner},
title = {Diagnosability analysis without fault models},
booktitle = {Proceedings of the 20th International Workshop on
Principles of Diagnosis},
year = {2009},
editor = {Mattias Nyberg and Erik Frisk and Mattias Krysander
and Jan Aslund},
address = {Stockholm, Sweden},
month = jun,
note = {Forthcoming}
}
@inproceedings{ecai/MayerS04,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Debugging Program Loops Using Approximate Modeling},
booktitle = {Proceedings of the European Conference on Artificial
Intelligence (ECAI)},
year = {2004},
pages = {843--847},
crossref = {ecai/2004},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
@inproceedings{ecai/MayerS04a,
author = {Wolfgang Mayer and Markus Stumptner},
title = {High-Level Observations in {Java} Debugging},
booktitle = {Proceedings of the European Conference on Artificial
Intelligence (ECAI)},
year = {2004},
pages = {1059--1060},
crossref = {ecai/2004},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
@proceedings{ecai/2004,
editor = {Ramon L{\'o}pez de M{\'a}ntaras and Lorenza Saitta},
title = {Proceedings of the 16th Eureopean Conference on
Artificial Intelligence, {ECAI}'2004, including
Prestigious Applicants of Intelligent Systems, {PAIS}
2004, Valencia, Spain, August 22-27, 2004},
booktitle = {Proceedings of the European Conference on Artificial
Intelligence (ECAI)},
publisher = {IOS Press},
year = {2004},
isbn = {1-58603-452-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{ecai/SchumannMS08,
author = {Anika Schumann and Wolfgang Mayer and Markus
Stumptner},
title = {Distributed Repair of Nondiagnosability},
booktitle = {Proceedings of the European Conference on Artificial
Intelligence (ECAI)},
year = {2008},
pages = {795--796},
address = {Patras, Greece},
month = jul,
note = {Short paper},
publisher = {IOS Press},
isbn = {9781-586-0389-1-5}
}
@inproceedings{ifip12/MayerS04,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Model-Based Debugging with High-Level Observations},
booktitle = {Intelligent Information Processing},
year = {2004},
pages = {299--309},
ee = {http://dx.doi.org/10.1007/0-387-23152-8_40},
crossref = {ifip12/2004ip},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{ifip12/2004ip,
editor = {Zhongzhi Shi and Qing He},
title = {Intelligent Information Processing {II}, {IFIP}
{TC12}/{WG12}.3 International Conference on Intelligent
Information Processing ({IIP} 2004), October 21-23,
2004, Beijing, China},
booktitle = {Intelligent Information Processing},
publisher = {Springer-Verlag},
year = {2005},
isbn = {0-387-23151-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{kbse/MayerS03,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Extending Diagnosis to Debug Programs with
Exceptions},
booktitle = {Proceedings IEEE Conference on Automated Software
Engineering},
year = {2003},
pages = {240--244},
ee = {http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350240abs.htm},
crossref = {kbse/2003},
bibsource = {DBLP, http://dblp.uni-trier.de},
}
@proceedings{kbse/2003,
key = {kbse/2003},
title = {18th {IEEE} International Conference on Automated
Software Engineering ({ASE} 2003), 6-10 October 2003,
Montreal, Canada},
booktitle = {Proceedings {$18^{th}$} International IEEE Conference
on Automated Software Engineering},
publisher = {IEEE Computer Society Press},
year = {2003},
isbn = {0-7695-2035-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{kbse/MayerS08,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Evaluating Models for Model-Based Debugging},
booktitle = {23rd IEEE/ACM International Conference on Automated
Software Engineering (ASE 2008)},
year = {2008},
pages = {128--137},
address = {L'Aquila, Italy},
month = sep,
publisher = {IEEE Computer Society Press},
isbn = {9781-424-4218-7-9},
}
@mastersthesis{mayer00,
author = {Wolfgang Mayer},
title = {{M}odellbasierte {D}iagnose von {Java}-{P}rogrammen,
{E}ntwurf und {I}mplementierung eines wertbasierten
{M}odells ({M}odel-based {D}iagnosis of {Java}
{P}rograms -- {D}esign and {I}mplementation of a
{V}alue-{B}ased {M}odel)},
school = {Technische Universit{\"{a}}t Wien, Institut f{\"{u}}r
Informationssysteme},
year = {2000},
note = {(in {G}erman)},
}
@inproceedings{ms03a,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Debugging Program Exceptions},
booktitle = {Proceedings of the Fourteenth International Workshop
on Principles of Diagnosis},
address = {Washington, D.C.},
month = jun,
year = {2003},
pages = {119--124},
}
@inproceedings{ms03c,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Model-Based Debugging using Multiple Abstract Models},
booktitle = {Proceedings of the {$5^{th}$} International
Workshop on Automated and Algorithmic Debugging,
AADEBUG '03},
address = {Ghent},
month = sep,
year = {2003},
pages = {55--70},
}
@inproceedings{ms04a,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Approximate Modeling for Debugging of Program Loops},
booktitle = {Proceedings of the Fifteenth International Workshop on
Principles of Diagnosis},
pages = {87--92},
year = {2004},
month = jun,
address = {Carcassonne},
}
@inproceedings{ms05a,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Putting the Oracle in the Driver's Seat: Debugging
with arbitrary user input},
booktitle = {Proceedings of the Sixteenth International Workshop on
Principles of Diagnosis},
year = {2005},
pages = {181--186},
month = jun,
address = {Monterey},
}
@inproceedings{ms06a,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Debugging Failures in Web Services Coordination},
booktitle = {Proceedings of the Seventeenth International Workshop
on Principles of Diagnosis},
year = {2006},
pages = {171--178},
address = {Pe{\~n}aranda de Duero, Burgos, Spain},
month = jun,
note = {Poster.},
}
@inproceedings{ms06b,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Debugging Failures in Web Services Coordination},
booktitle = {Proceedings of the International Conference on
Software Engineering and Knowledge Engineering},
year = {2006},
address = {San Francisco Bay, USA},
month = jul,
publisher = {Knowledge Systems Institute},
}
@inproceedings{ms06c,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Better Debugging through More Abstract Observations},
booktitle = {Proceedings of the European Conference on Artificial
Intelligence (ECAI)},
year = {2006},
address = {Riva del Garda, Italy},
month = aug,
publisher = {IOS Press},
note = {Poster.},
}
@article{ms06d,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Model-Based Debugging -- State of the Art And Future
Challenges},
journal = {Electronic Lecture Notes in Theoretical Computer
Science},
year = {2007},
volume = {171},
pages = {61--82},
month = may,
note = {Workshop on Verification and Debugging (V{\&}D'06)}
}
@inproceedings{ms07a,
author = {Wolfgang Mayer and Markus Stumptner},
title = {Abstract Interpretation of Programs for Model-Based
Debugging},
booktitle = {Proceedings of the {$20^{th}$} International Joint
Conference on Artificial Intelligence},
year = {2007},
address = {Hyderabad, India},
month = jan,
pages = {471--476},
}
@inproceedings{msw02a,
author = {Wolfgang Mayer and Markus Stumptner and Franz Wotawa},
title = {{M}odel-based {D}ebugging or {H}ow to {D}iagnose
{P}rograms {A}utomatically},
booktitle = {Proceedings of the International Conference on
Industrial and Engineering Applications of Artificial
Intelligence and Expert Systems},
address = {Cairns, Australia},
month = jun,
year = {2002},
pages = {746--757},
series = {Springer LNAI},
}
@article{msw02b,
author = {Wolfgang Mayer and Markus Stumptner and Franz Wotawa},
title = {Can {AI} help to improve debugging substantially?
Automatic Debugging and the Jade Project.},
journal = {Journal of the Austrian Society for Artificial
Intelligence},
year = {2002},
volume = {21},
number = {4},
pages = {18--22}
}
@inproceedings{msww02a,
author = {Wolfgang Mayer and Markus Stumptner and Dominik
Wieland and Franz Wotawa},
title = {{C}an {AI} Help to Improve Debugging Substantially?
{D}ebugging {E}xperiences with {V}alue-{B}ased
{M}odels},
booktitle = {Proceedings of the European Conference on Artificial
Intelligence (ECAI)},
year = {2002},
pages = {417--421},
address = {Lyon},
}
@inproceedings{msww02b,
author = {Wolfgang Mayer and Markus Stumptner and Dominik
Wieland and Franz Wotawa},
title = {{T}owards an {I}ntegrated {D}ebugging {E}nvironment},
booktitle = {Proceedings of the European Conference on Artificial
Intelligence (ECAI)},
year = {2002},
pages = {422--426},
address = {Lyon},
}
@inproceedings{msww02c,
author = {Wolfgang Mayer and Markus Stumptner and Dominik
Wieland and Franz Wotawa},
title = {Observations and Results Gained from the Jade
Project},
booktitle = {Proceedings of the Thirteenth International Workshop
on Principles of Diagnosis},
year = {2002},
month = apr,
address = {Semmering, Austria},
}
@inproceedings{sacse/Abreu09,
author = {Rui Abreu and Wolfgang Mayer and Markus Stumptner and
Arjan J. C. van Gemund},
title = {Refining Spectrum-based Fault Localization Rankings},
booktitle = {Proceedings of The 24th Annual ACM Symposium on
Applied Computing(SAC 2009) -- Software Engineering
Track},
year = {2009},
address = {Honolulu, Hawaii, USA},
month = mar,
publisher = {ACM Press},
}
@inproceedings{seke/MuehlenfeldMMS08,
author = {Arndt M{\"u}hlenfeld and Franz Maier and Wolfgang
Mayer and Markus Stumptner},
title = {Ontology-Based Process Modeling and Execution using
{STEP/EXPRESS}},
pages = {935--940},
booktitle = {Proceedings of the International Conference on
Software Engineering and Knowledge Engineering},
year = {2008},
address = {San Francisco Bay, USA},
month = jul,
publisher = {Knowledge Systems Institute Graduate School},
}
@inproceedings{apweb/Thiagarajan09,
author = {Rajesh Thiagarajan and Wolfgang Mayer and Markus
Stumptner},
title = {Semantic Service Discovery by Consistency-based
Matchmaking},
booktitle = {Proceedings of the The Joint International
Conferences on Asia-Pacific Web Conference (APWeb) and
Web-Age Information Management (WAIM)},
year = {2009},
address = {Suzhou, China},
month = apr,
publisher = {Springer-Verlag},
note = {Forthcoming},
}
@inproceedings{apscc/Thiagarajan07,
author = {Rajesh Thiagarajan and Markus Stumptner and Wolfgang
Mayer},
title = {Semantic Web Service Composition by Consistency-Based
Model Refinement},
booktitle = {The 2nd IEEE Asia-Pacific Service Computing Conference
(APSCC 2007)},
pages = {336--343},
year = {2007},
address = {Tsukuba, Japan},
month = dec
}
@inproceedings{caisefrm/Thiagarajan09,
author = {Rajesh Thiagarajan and Wolfgang Mayer and Markus
Stumptner},
title = {Generative Composition of Web Services},
booktitle = {CAiSE Forum},
year = {2009},
address = {Amsterdam, The Netherlands},
month = jun,
publisher = {CEUR Workshop Proceedings},
note = {Forthcoming.}
}
@inproceedings{confws/MayerS09,
author = {Wolfgang Mayer and Markus Stumptner and Marc Bettex},
title = {On Solving Complex Rack Configuration Problems using
{CSP} Methods},
booktitle = {Proceedings of the Workshop on Configuration at the
21$^{st}$ European Conference on Artificial
Intelligence},
year = {2009},
editor = {Markus Stumptner and Patrick Albert},
address = {Pasadena, CA, USA},
month = jul,
note = {Forthcoming}
}
@inproceedings{senopt/Thiagarajan08,
author = {Rajesh Thiagarajan and Wolfgang Mayer and Markus
Stumptner},
title = {Synthesis and Partial Execution of Service Processes
for Matchmaking},
booktitle = {Proceedings of the Second International Workshop on
Service-Oriented Engineering and Optimization},
year = {2008},
address = {Bangalore, India},
month = dec
}