Franz Wotawa‘s Publications

[1]

Gerald Steinbauer and Franz Wotawa. Model-Based Reasoning for Self-Adaptive Systems --- Theory and Practice. In Javier Camara, Rogerio de Lemos, Carlo Ghezzi, and Antonia Lopes, editors, Assurances for Self-Adaptive Systems, pages 187--213. Springer, 2013. [ bib ]

[2]

Siegfried Podesser, Gerald Steinbauer, and Franz Wotawa. "Selective Belief Management for High-Level Robot Programs". In International Workshop on Principles of Diagnosis (DX), Great Malvern, UK, 2012. [ bib ]

[3]

Christian Schwarzl, Bernhard K. Aichernig, and Franz Wotawa. Compositional Random Testing Using Extended Symbolic Transition Systems. In Burkhart Wolff and Fatiha Zaïdi, editors, Testing Software and Systems - 23^rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, volume 7019 of Lecture Notes in Computer Science, pages 179--194, Berlin, Heidelberg, 2011. Springer-Verlag. [ bib | DOI ]

[4]

Gerald Steinbauer and Franz Wotawa. "Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots". In ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments, Tallinn, Estonia, 2011. [ bib ]

[5]

Gerald Steinbauer and Franz Wotawa. "On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems". In International Workshop on Principles of Diagnosis (DX), Murnau, Germany, 2011. [ bib ]

[6]

Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, and Franz Wotawa. When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. In IEEE 3^rd Int. Conf. on Software Testing, Verification and Validation (ICST 2010), pages 479--488. IEEE Computer Society, 2010. [ bib | DOI ]

[7]

Franz Wotawa, Mihai Nica, and Bernhard K. Aichernig. Generating Distinguishing Tests using the MINION Constraint Solver. In ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, pages 325--330, Washington, DC, USA, 2010. IEEE Computer Society. [ bib | DOI ]

[8]

Stephan Gspandl, Michael Reip, Gerald Steinbauer, and Franz Wotawa. "From Sketch to Plan". In 24^th International Workshop on Qualitative Reasoning (QR), Portland, Oregon, USA, 2010. [ bib ]

[9]

Gerald Steinbauer and Franz Wotawa. "On the Way to Automated Belief Repair for Autonomous Robots". In International Workshop on Principles of Diagnosis (DX), Portland, Or, USA, 2010. [ bib ]

[10]

Martin Weiglhofer, Bernhard Aichernig, and Franz Wotawa. Fault-Based Conformance Testing in Practice. International Journal of Software and Informatics, 3(2--3):375--411, June/September 2009. Special double issue on Formal Methods of Program Development edited by Dines Bjoerner. [ bib | .pdf ]

[11]

Bernhard K. Aichernig, Harald Brandl, and Franz Wotawa. Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. Electron. Notes Theor. Comput. Sci., 253(2):53--69, 2009. [ bib | DOI ]

[12]

Gerald Steinbauer and Franz Wotawa. "Comining Quantitative and Qualitative Models with Active Observtions to Improve Diagnosis of Complex Systems.". In Intelligent Technical Systems, volume 38 of Lecture Notes in Electrical Engineering, 2009. [ bib ]

[13]

Gerald Steinbauer and Franz Wotawa. "Robust plan execution using model-based reasoning.". Journal of Advanced Robotics, 23(10), 2009. [ bib ]

[14]

Gerald Steinbauer and Franz Wotawa. "Towards Automated Generation of Repair Actions for the Belief of Autonomous Agents.". In 4^th Austrian RoboCup Workshop, Wels, Austria, 2009. [ bib ]

[15]

Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. "Using Qualitative and Model-Based Reasoning for Sensor Validation of Autonomous Robots". In Twentieth International Workshop on Principles of Diagnosis (DX 2009), Stockholm, Sweden, 2009. [ bib ]

[16]

Ingo Pill, Gerald Steinbauer, and Franz Wotawa. "A Practical Approach for the Online Diagnosis of Industrial Transportation Systems.". In IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Barcelona, Spain, 2009. [ bib ]

[17]

Harald Altinger and Stefan Galler and Stephan Mühlbacher-Karrer and Gerald Steinbauer, Franz Wotawa and Hubert Zangl. "Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots.". In RoboCup International Symposium, Graz, Austria, 2009. [ bib ]

[18]

Stefan Galler and Altinger Harald and Bergler Bernd and Hieden Alexander and Hoppe Christof and Joham Thomas and Magnet Thomas, Maier Michael, Mühlbacher-Karrer Stephan and Muschick Daniel and Preschern Christopher and Gerald Steinbauer and Unterberger Robert and Franz Wotawa. "Mostly Harmless: Team Description Paper 2009". In RoboCup International Symposium, Graz, Austria, 2009. [ bib ]

[19]

Bernhard K. Aichernig, Martin Weiglhofer, and Franz Wotawa. Improving Fault-based Conformance Testing. Electron. Notes Theor. Comput. Sci., 220(1):63--77, 2008. [ bib | DOI ]

[20]

Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. "Automated learning of communication model for robot control software". In MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI), Patras, Greece, 2008. [ bib ]

[21]

Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, and Franz Wotawa. "A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.". In 21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, volume 5027 of Lecture Notes in Artificial Intelligence, Wroclaw, Poland, 2008. Springer. [ bib ]

[22]

Gerald Steinbauer and Franz Wotawa. "Enhancing Plan Execution in Dynamic Environments Unsing Model-Based Reasoning". In First International Conference on Intelligent Robots and Applications, volume 5314, pages 510--519, Wuhan,China, 2008. Springer. [ bib ]

[23]

Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. "Automated Learning of Diagnosis Models for Component-Oriented Robot Control Software". In Proceedings of the Nineteens International Workshop on Principles of Diagnosis, pages 257--282, Blue Mountains, Australia, 2008. [ bib ]

[24]

Alexander Kleiner, Gerald Steinbauer, and Franz Wotawa. "Towards Automated Online Diagnosis of Robot Navigation Software". In Proceedings of International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2008), Venice, Italy, 2008. [ bib ]

[25]

Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, and Franz Wotawa. Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. In SEFM '07: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, pages 215--226, Washington, DC, USA, 2007. IEEE Computer Society. [ bib | DOI ]

[26]

Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, and Franz Wotawa. Test purpose generation in an industrial application. In A-MOST '07: Proceedings of the 3^rd international workshop on Advances in model-based testing, pages 115--125, New York, NY, USA, 2007. ACM. [ bib | DOI ]

[27]

Gordon Fraser, Bernhard K. Aichernig, and Franz Wotawa. Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), volume 190 (2) of Electronic Notes in Theoretical Computer Science, pages 33--46. Elsevier, 2007. [ bib | DOI ]

[28]

Gerald Steinbauer and Franz Wotawa. "Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots.". In Proceedings of the 5^th Workshop on Intelligent Solutions in Embedded Systems, Madrid, Spain, 2007. [ bib ]

[29]

Michael Hofbaur, Gerald Steinbauer, and Franz Wotawa. "Model-Based Reasoning for Fault-Tolerant Robot Hardware and Software.". In Proceedings of the 16^th International Workshop on Robotics in Alpe-Adria-Danube Region, Ljubljana, Slovenia, 2007. [ bib ]

[30]

Mathias Brandstötter Michael Hofbaur, Gerald Steinbauer, and Franz Wotawa. " Model-Based Fault Diagnosis and Reconfiguration of Robot Drives.". In Proceedings of the 2007 IEEE International Conference on Intelligent Robots and Systems, San Diego, CA, USA, 2007. [ bib ]

[31]

Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. "Improving Robustness of Mobile Robots using Model-Based Reasoning.". Journal of Intelligent and Robotic Systems, 48(1):37--54, 2007. [ bib ]

[32]

Gordon Fraser, Gerald Steinbauer, Jörg Weber, and Franz Wotawa. "Architectural Design of Multi-Agent Systems: Technologies and Techniques", chapter Robust Intelligent Control of Mobile Robots. Idea Group Reference, 2007. [ bib ]

[33]

Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. "Improving Robustness of Mobile Robots using Model-Based Reasoning.". In Proceedings of the ECAI-06 Workshop on Model-Based Systems, Riva del Garda, Italy, 2006. [ bib ]

[34]

Michael Hofbaur, Johannes Köb, Gerald Steinbauer, and Franz Wotawa. "Improving Robustness of Mobile Robots using Model-Based Reasoning". In 2006 International Symposium on Model-Based Reasoning on Engineering and Robotic Systems, Guangzhou, China, 2006. [ bib ]

[35]

Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. "Autonome mobile Roboter - Anwendung von AI zur intelligenten Kontrolle". ÖVE Verbandszeitschrift Elektrotechnik und Informationstechnik (e&i), (7/8), 2005. [ bib ]

[36]

Gerald Steinbauer, Jörg Weber, and Franz Wotawa. "From the real-world to its qualitative representation - Practical lessons learned.". In 18th International Workshop on Qualitative Reasoning, pages 186--191, Graz, 2005. [ bib ]

[37]

Gerald Steinbauer and Franz Wotawa. "Detecting and locating faults in the control software of autonomous mobile robots.". In 16th International Workshop on Principles of Diagnosis, pages 13--18, Monterey, USA, 2005. [ bib ]

[38]

Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. "Plan Execution in Dynamic Environments.". In 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems., pages 208--217, Bari, Italy, 2005. Springer. [ bib ]

[39]

Gerald Steinbauer, Martin Mörth, and Franz Wotawa. "Real-Time Diagnosis and Repair of Faults of Robot Control Software.". In Proceedings of the International RoboCup Symposium., Osaka, Japan, 2005. [ bib ]

[40]

Gerald Steinbauer and Franz Wotawa. "Detecting and locating faults in the control software of autonomous mobile robots.". In Proceedings of the 19^th International Joint Conference on AI (IJCAI-05), pages 1742--1743, Edinburgh, UK, 2005. [ bib ]

[41]

Gerald Steinbauer and Franz Wotawa. "Challenges in runtime detecting and locating faults in autonomous mobile robots". In Working Notes of the IJCAI-05 Workshop on Model-Based Systems, Edinburgh, Scotland, 2005. [ bib ]

[42]

Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. "Application of Qualitative Reasoning to Robotic Soccer.". In 18th International Workshop on Qualitative Reasoning., Illinois, USA, August 2004. [ bib ]

[43]

Gordon Fraser, Gerald Steinbauer, and Franz Wotawa. "A Modular Architecture for a Multi-purpose Mobile Robot.". In Innovations in Applied Artificial Intelligence, 17th Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE, volume 3029 of Lecture Notes in Artificial Intelligence, Ottawa, Canada, 2004. Springer. [ bib ]

[44]

Gerald Steinbauer and Franz Wotawa. "Mobile robots in exhibitions. games and education. Do they really help?". In 1st CLAWAR/Euron Workshop on Robots in Entertainment, Leisure and Hobby, pages 117--118, Vienna, 2004. [ bib ]

[45]

Gerald Steinbauer, Arndt Mühlenfeld, Roland Koholka, Robert Röher, Harald Hartl, and Franz Wotawa. "Modulbasiertes Hardware-Design für Autonome Mobile Mehrzweck-Roboter.". In Informationstagung Mikroelektronik 2003, Vienna, Austria, 2003. ÖVE. [ bib ]

This file was generated by bibtex2html 1.98.