@article{Aichernig2009e,
author = {Aichernig, Bernhard K. and Brandl, Harald and Wotawa, Franz},
title = {{{Conformance Testing of Hybrid Systems with Qualitative Reasoning
Models}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2009},
volume = {253},
pages = {53--69},
number = {2},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2009.09.051},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2007a,
author = {Aichernig, Bernhard K. and Peischl, Bernhard and Weiglhofer, Martin
and Wotawa, Franz},
title = {{{Protocol Conformance Testing a SIP Registrar: an Industrial Application
of Formal Methods}}},
booktitle = {SEFM '07: Proceedings of the Fifth IEEE International Conference
on Software Engineering and Formal Methods},
year = {2007},
pages = {215--226},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/SEFM.2007.31},
isbn = {0-7695-2884-8},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Aichernig2007,
author = {Aichernig, Bernhard K. and Weiglhofer, Martin and Peischl, Bernhard
and Wotawa, Franz},
title = {{{Test purpose generation in an industrial application}}},
booktitle = {A-MOST '07: Proceedings of the 3\textsuperscript{rd} international
workshop on Advances in model-based testing},
year = {2007},
pages = {115--125},
address = {New York, NY, USA},
publisher = {ACM},
doi = {10.1145/1291535.1291547},
isbn = {978-1-59593-850-3},
location = {London, United Kingdom},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Aichernig2008,
author = {Aichernig, Bernhard K. and Weiglhofer, Martin and Wotawa, Franz},
title = {{{Improving Fault-based Conformance Testing}}},
journal = {Electron. Notes Theor. Comput. Sci.},
year = {2008},
volume = {220},
pages = {63--77},
number = {1},
address = {Amsterdam, The Netherlands, The Netherlands},
doi = {10.1016/j.entcs.2008.11.006},
issn = {1571-0661},
publisher = {Elsevier Science Publishers B. V.},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Jobstl2010,
author = {Elisabeth J{\"o}bstl and Martin Weiglhofer and Bernhard K. Aichernig
and Franz Wotawa},
title = {{{When {BDD}s Fail: Conformance Testing with Symbolic Execution and
{SMT} Solving}}},
booktitle = {IEEE 3\textsuperscript{rd} Int. Conf. on Software Testing, Verification
and Validation (ICST 2010)},
year = {2010},
pages = {479--488},
publisher = {IEEE Computer Society},
doi = {10.1109/ICST.2010.48},
isbn = {978-0-7695-3990-4},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Schwarzl&11,
author = {Christian Schwarzl and
Bernhard K. Aichernig and
Franz Wotawa},
title = {{{Compositional Random Testing Using Extended Symbolic Transition
Systems}}},
booktitle = {Testing Software and Systems - 23\textsuperscript{rd} IFIP WG 6.1 International
Conference, ICTSS 2011, Paris, France, November 7-10, 2011.
Proceedings},
year = {2011},
volume = {7019},
series = {Lecture Notes in Computer Science},
address = {Berlin, Heidelberg},
publisher = {Springer-Verlag},
isbn = {978-3-642-24579-4},
location = {Paris, France},
editor = {Burkhart Wolff and
Fatiha Za\"{\i}di},
pages = {179--194},
doi = {10.1007/978-3-642-24580-0_13},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{Wotawa2010,
author = {Wotawa, Franz and Nica, Mihai and Aichernig, Bernhard K.},
title = {{{Generating Distinguishing Tests using the {MINION} Constraint Solver}}},
booktitle = {ICSTW '10: Proceedings of the 2010 Third International Conference
on Software Testing, Verification, and Validation Workshops},
year = {2010},
pages = {325--330},
address = {Washington, DC, USA},
publisher = {IEEE Computer Society},
doi = {10.1109/ICSTW.2010.11},
isbn = {978-0-7695-4050-4},
timestamp = {2014.02.24},
originalfile = {/formal_methods/formal_methods.bib}
}
@article{Weiglhofer&09,
author = {Martin Weiglhofer and Bernhard Aichernig and Franz Wotawa},
title = {{{Fault-Based Conformance Testing in Practice}}},
journal = {International Journal of Software and Informatics},
year = 2009,
volume = 3,
number = {2--3},
pages = {375--411},
month = {June/September},
note = {Special double issue on Formal Methods of Program Development edited by Dines Bjoerner},
annote = {Copyright by Institute for Software,
Chinese Academy of Science.},
pdf = {http://www.ist.tugraz.at/aichernig/publications/papers/ijsi2009.pdf},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{FraserAichernig&07,
author = {Gordon Fraser and
Bernhard K. Aichernig and
Franz Wotawa},
title = {{{Handling Model Changes: Regression Testing and Test-Suite
Update with Model-Checkers}}},
booktitle = {Proceedings of the Third Workshop on Model Based Testing (MBT 2007)},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
volume = {190 (2)},
year = 2007,
pages = {33--46},
doi = {10.1016/j.entcs.2007.08.004},
originalfile = {/formal_methods/formal_methods.bib}
}
@inproceedings{st10a,
author = {Stephan Gspandl and Michael Reip and Gerald Steinbauer and
Franz Wotawa},
title = {{"{From Sketch to Plan}"}},
booktitle = {{24$^{th}$ International Workshop on Qualitative Reasoning
(QR)}},
address = {Portland, Oregon, USA},
year = {2010},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st10g,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"{On the Way to Automated Belief Repair for Autonomous
Robots}"}},
booktitle = {International Workshop on Principles of Diagnosis (DX)},
address = {Portland, Or, USA},
year = {2010},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st11c,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"{Evaluating the Robustness of the
Perception-Decision-Execution Cycle of Autonomous Robots}"}},
booktitle = {ICAR Workshop on Performance Measures for Quantifying Safe
and Reliable Operation of Professional Service Robots in
Unstructured, Dynamic Environments},
year = {2011},
address = {Tallinn, Estonia},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{Fraser04a,
author = {Gordon Fraser and Gerald Steinbauer and Franz Wotawa},
title = {{"Application of Qualitative Reasoning to Robotic Soccer."}},
booktitle = {18th International Workshop on Qualitative Reasoning.},
month = {August},
year = {2004},
address = {Illinois, USA},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st07e,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"Combining Quantitative and Qualitative Models with Active
Observations for better Diagnoses of Autonomous Mobile
Robots."}},
booktitle = {Proceedings of the 5$^{th}$ Workshop on Intelligent
Solutions in Embedded Systems},
year = {2007},
address = {Madrid, Spain},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st07f,
author = {Michael Hofbaur and Gerald Steinbauer and Franz Wotawa},
title = {{"Model-Based Reasoning for Fault-Tolerant Robot Hardware
and Software."}},
booktitle = {Proceedings of the 16$^{th}$ International Workshop on
Robotics in Alpe-Adria-Danube Region},
year = {2007},
address = {Ljubljana, Slovenia},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st08b,
author = {Alexander Kleiner and Gerald Steinbauer and Franz Wotawa},
title = {{"{Automated learning of communication model for robot
control software}"}},
booktitle = {MBS 2008 - Workshop on Model-Based Systems, 18th European
Conference on Artificial Intelligence (ECAI)},
address = {Patras, Greece},
year = {2008},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st09a,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"Comining Quantitative and Qualitative Models with Active
Observtions to Improve Diagnosis of Complex Systems."}},
booktitle = {Intelligent Technical Systems},
year = {2009},
series = {Lecture Notes in Electrical Engineering},
volume = {38},
originalfile = {/gstein/gstein.bib}
}
@article{st09b,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"Robust plan execution using model-based reasoning."}},
journal = {Journal of Advanced Robotics},
publisher = {The Robotics Society of Japan},
year = {2009},
volume = {23},
number = {10},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st09c,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"Towards Automated Generation of Repair Actions for the
Belief of Autonomous Agents."}},
booktitle = {{4$^{th}$ Austrian RoboCup Workshop}},
address = {Wels, Austria},
year = {2009},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st09d,
author = {Alexander Kleiner and Gerald Steinbauer and Franz Wotawa},
title = {{"Using Qualitative and Model-Based Reasoning for Sensor
Validation of Autonomous Robots"}},
booktitle = {Twentieth International Workshop on Principles of
Diagnosis (DX 2009)},
address = {Stockholm, Sweden},
year = {2009},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st09e,
author = {Ingo Pill and Gerald Steinbauer and Franz Wotawa},
title = {{"A Practical Approach for the Online Diagnosis of
Industrial Transportation Systems."}},
booktitle = {IFAC Symposium on Fault Detection, Supervision and Safety
for Technical Processes},
address = {Barcelona, Spain},
year = {2009},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st09g,
author = {{Harald Altinger and Stefan Galler and Stephan
M\"uhlbacher-Karrer and Gerald Steinbauer, Franz Wotawa and
Hubert Zangl}},
title = {{"Concept Evaluation of a Reflex Inspired Ball Handling
Device for Autonomous Soccer Robots."}},
booktitle = {RoboCup International Symposium},
address = {Graz, Austria},
year = {2009},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st09h,
author = {{Stefan Galler and Altinger Harald and Bergler Bernd and
Hieden Alexander and Hoppe Christof and Joham Thomas and
Magnet Thomas, Maier Michael, M\"uhlbacher-Karrer Stephan
and Muschick Daniel and Preschern Christopher and
Gerald Steinbauer and Unterberger Robert and Franz Wotawa}},
title = {{"Mostly Harmless: Team Description Paper 2009"}},
booktitle = {RoboCup International Symposium},
address = {Graz, Austria},
year = {2009},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st03d,
author = {Gerald Steinbauer and Arndt M{\"u}hlenfeld and Roland
Koholka and Robert R{\"o}her and Harald Hartl and Franz
Wotawa},
title = {{"Modulbasiertes Hardware-Design für Autonome Mobile
Mehrzweck-Roboter."}},
booktitle = {Informationstagung Mikroelektronik 2003},
year = {2003},
address = {Vienna, Austria},
publisher = {{\"OVE}},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st07g,
author = {Mathias Brandst{\"o}tter Michael Hofbaur and Gerald
Steinbauer and Franz Wotawa},
title = {{" Model-Based Fault Diagnosis and Reconfiguration of Robot
Drives."}},
booktitle = {Proceedings of the 2007 IEEE International Conference on
Intelligent Robots and Systems},
year = {2007},
address = {San Diego, CA, USA},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st04d,
author = {Gordon Fraser and Gerald Steinbauer and Franz Wotawa},
title = {{"A Modular Architecture for a Multi-purpose Mobile Robot."}},
booktitle = {Innovations in Applied Artificial Intelligence, 17th
Conference on Industrial and Engineering Applications of
Artificial Intelligence and Expert Systems, IEA/AIE},
year = {2004},
address = {Ottawa, Canada},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
volume = {3029},
editors = {Bob Orchard and Chunsheng Yang and Moonis Ali},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{gub08,
author = {Gerhard Gubisch and Gerald Steinbauer and Martin
Weiglhofer and Franz Wotawa},
title = {{"A Teleo-Reactive Architecture for Fast, Reactive and
Robust Control of Mobile Robots."}},
booktitle = {21st International Conference on Industrial, Engineering
and Other Applications of Applied Intelligent Systems},
year = {2008},
address = {Wroclaw, Poland},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
volume = {5027},
editors = {Ngoc Thanh Nguyen, Leszek Borzemski, Adam Grzech, and
Moonis Ali},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{stein08d,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"Enhancing Plan Execution in Dynamic Environments Unsing
Model-Based Reasoning"}},
booktitle = {First International Conference on Intelligent Robots and
Applications},
year = {2008},
address = {Wuhan,China},
publisher = {Springer},
series = lncs,
pages = {510--519},
volume = {5314},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{stein08c,
author = {Alexander Kleiner and Gerald Steinbauer and Franz Wotawa},
title = {{"Automated Learning of Diagnosis Models for
Component-Oriented Robot Control Software"}},
booktitle = {Proceedings of the Nineteens International Workshop on
Principles of Diagnosis},
year = {2008},
address = {Blue Mountains, Australia},
pages = {257--282},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{stein08e,
author = {Alexander Kleiner and Gerald Steinbauer and Franz Wotawa},
title = {{"Towards Automated Online Diagnosis of Robot Navigation
Software"}},
booktitle = {Proceedings of International Conference on Simulation,
Modeling and Programming for Autonomous Robots (SIMPAR
2008)},
year = {2008},
address = {Venice, Italy},
originalfile = {/gstein/gstein.bib}
}
@article{stein05,
author = {Gordon Fraser and Gerald Steinbauer and Franz Wotawa},
title = {{"Autonome mobile Roboter - Anwendung von AI zur
intelligenten Kontrolle"}},
journal = {{\"O}VE Verbandszeitschrift Elektrotechnik und
Informationstechnik (e\&i)},
number = {7/8},
volume = {\,},
year = {2005},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{steinbauer04e,
title = {{"Mobile robots in exhibitions. games and education. Do they
really help?"}},
author = {Gerald Steinbauer and Franz Wotawa},
year = {2004},
booktitle = {1st CLAWAR/Euron Workshop on Robots in Entertainment,
Leisure and Hobby},
address = {Vienna},
pages = {117-118},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{steinbauer05a,
title = {{"From the real-world to its qualitative representation -
Practical lessons learned."}},
author = {Gerald Steinbauer and J{\"o}rg Weber and Franz Wotawa},
year = {2005},
booktitle = {18th International Workshop on Qualitative Reasoning},
address = {Graz},
pages = {186-191},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{steinbauer05b,
title = {{"Detecting and locating faults in the control software of
autonomous mobile robots."}},
author = {Gerald Steinbauer and Franz Wotawa},
year = {2005},
booktitle = {16th International Workshop on Principles of Diagnosis},
address = {Monterey, USA},
pages = {13-18},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{steinbauer05c,
title = {{"Plan Execution in Dynamic Environments."}},
author = {Gordon Fraser and Gerald Steinbauer and Franz Wotawa},
year = {2005},
booktitle = {18th International Conference on Industrial and
Engineering Applications of Artificial Intelligence and
Expert Systems.},
address = {Bari, Italy},
pages = {208-217},
notes = {LNAI 3533},
publisher = {Springer},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{steinbauer05e,
title = {{"Real-Time Diagnosis and Repair of Faults of Robot Control
Software."}},
author = {Gerald Steinbauer and Martin M{\"o}rth and Franz Wotawa},
year = {2005},
booktitle = {Proceedings of the International RoboCup Symposium.},
address = {Osaka, Japan},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{steinbauer05f,
title = {{"Detecting and locating faults in the control software of
autonomous mobile robots."}},
author = {Gerald Steinbauer and Franz Wotawa},
year = 2005,
booktitle = {Proceedings of the $19^{th}$ International Joint
Conference on AI (IJCAI-05)},
address = {Edinburgh, UK},
pages = {1742-1743},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{sw05a,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"Challenges in runtime detecting and locating faults in
autonomous mobile robots"}},
booktitle = {Working Notes of the IJCAI-05 Workshop on Model-Based
Systems},
year = {2005},
address = {Edinburgh, Scotland},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{st06b,
author = {Michael Hofbaur and Johannes K{\"o}b and Gerald Steinbauer
and Franz Wotawa},
title = {{"Improving Robustness of Mobile Robots using Model-Based
Reasoning."}},
booktitle = {Proceedings of the ECAI-06 Workshop on Model-Based
Systems},
year = {2006},
address = {Riva del Garda, Italy},
originalfile = {/gstein/gstein.bib}
}
@article{st06e,
author = {Michael Hofbaur and Johannes K{\"o}b and Gerald Steinbauer
and Franz Wotawa},
title = {{"Improving Robustness of Mobile Robots using Model-Based
Reasoning."}},
journal = {Journal of Intelligent and Robotic Systems},
year = {2007},
volume = {48},
number = {1},
pages = {37--54},
publisher = {Springer},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{hofbaur06,
author = {Michael Hofbaur and Johannes K{\"o}b and Gerald Steinbauer
and Franz Wotawa},
title = {{"Improving Robustness of Mobile Robots using Model-Based
Reasoning"}},
booktitle = {2006 International Symposium on Model-Based Reasoning on
Engineering and Robotic Systems},
year = {2006},
address = {Guangzhou, China},
originalfile = {/gstein/gstein.bib}
}
@inbook{web07c,
author = {Gordon Fraser and Gerald Steinbauer and J{\"o}rg Weber and
Franz Wotawa},
title = {{"Architectural Design of Multi-Agent Systems: Technologies
and Techniques"}},
chapter = {Robust Intelligent Control of Mobile Robots},
year = {2007},
publisher = {Idea Group Reference},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{dx11,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{"On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems"}},
booktitle = {International Workshop on Principles of Diagnosis (DX)},
year = {2011},
address = {Murnau, Germany},
originalfile = {/gstein/gstein.bib}
}
@inproceedings{dx12a,
author = {Siegfried Podesser and Gerald Steinbauer and Franz Wotawa},
title = {{"{Selective Belief Management for High-Level Robot Programs}"}},
booktitle = {{International Workshop on Principles of Diagnosis (DX)}},
year = {2012},
address = {Great Malvern, UK},
originalfile = {/gstein/gstein.bib}
}
@incollection{mbrsas13,
author = {Gerald Steinbauer and Franz Wotawa},
title = {{{Model-Based Reasoning for Self-Adaptive Systems --- Theory and Practice}}},
booktitle = {Assurances for Self-Adaptive Systems},
pages = {187-213},
publisher = {Springer},
year = 2013,
editor = {Javier Camara and Rogerio de Lemos and Carlo Ghezzi and Antonia Lopes},
originalfile = {/gstein/gstein.bib}
}
This file was generated by bibtex2html 1.98.