Publications

Scientific Journals

Co-authored articles in peer-reviewed scientific journals.

Conferences & Workshops

Contributions to refereed conferences and workshops in areas such as software engineering, quality assurance and model-based systems.

Editorials, Magazines & Books

Original contributions to books, edited conference proceedings, and contributions to professional journals and magazines.

Refereed Scientific Journals

  1. B. Peischl, O. Tatzl, F. Wotawa, Testing anticipatory systems: A systematic mapping study on the state of the art, Journal of Systems and Software, June 2022, 111387, Elsevier, Journal Pre-proof, pdf (doi:10.1016/j.jss.2022.111387).
  2. F. Wotawa, B. Peischl, F. Klück, M. Nica, Quality Assurance Methodologies for Automated Driving, e & i Elektrotechnik und Informationstechnik, vol. 135, no. 4/5, pp. 322-327, 2018, Österreichischer Verband für Elektrotechnik, ISSN: 1613-7620 (Online), pdf (doi:10.1007/s00502-018-0630-7).
  3. B. Peischl, M. Ferk, A. Holzinger, The Fine Art of User-centered Software Development on the example of Mobile Medical Apps, Software Quality Journal, p. 1-28, ISSN 0963-9314 (Print), 0963-9314 (Online), 2014, Springer International Publishing, pdf (doi:10.1007/s11219-014-9239-1).
  4. Peischl, N. Riaz, F. Wotawa, On Exploiting Passing and Failing Test Cases in Debugging Hardware Description Languages, International Journal On Advances in Software, pp. 289-301, vol. 7, no. 1 & 2, 2014, IARIA, ISSN 1942-2628 (Online), pdf
  5. A. Holzinger, C. Stocker, B. Peischl, K.-M. Simonic, On Using Entropy for Enhancing Handwriting Preprocessing, Entropy, vol. 14, pp.2324-2350, ISSN 1099-4300, 2012, MDPI, pdf (doi:10.3390/e14112324).
  6. B. Peischl, N. Riaz, F. Wotawa, Automated Debugging of Verilog Designs, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), pp. 695-723, vol. 5, no. 22, Aug. 2012, World Scientific, ISSN 0218-1940, pdf (doi:10.1142/S0218194012500209).
  7. B. Peischl, M. Zanker, M. Nica and W. Schmid, Constrained-based Recommendation for Software Effort Estimation, Special Issue of the Journal of Emerging Technologies in Web Intelligence, vol. 2, no. 4, p. 282-290, Nov. 2010, ISSN 1798-0461, Academy Publisher, pdf (doi:10.4304/jetwi.2.4.282-290).
  8. M. Nica, B. Peischl and F. Wotawa, Constrained-based Configuration of Embedded Automotive Software, International Journal of Mass Customisation, vol. 3, no. 4, p. 368-388, 2010, Iderscience Publishers, pdf (doi:10.1504/IJMASSC.2010.037651).
  9. B. Peischl and F. Wotawa, Automated Source Level Error Localization in Hardware Designs, IEEE Design & Test of Computers , p. 8-19, January / February 2006, Vol. 23, No. 1, IEEE Computer Society, ISSN 0740-7475, pdf (doi:10.1109/MDT.2006.5).
  10. B. Peischl and F. Wotawa, Model-Based Diagnosis or Reasoning from First Principles, IEEE Intelligent Systems, p. 32-37, May / June 2003, Vol. 18, No. 3, IEEE Computer Society, ISSN 1541-1672, pdf (doi:10.1109/MIS.2003.1200725).

Refereed Scientific Conferences

  1. Achilleas Tzenetopoulos, Dimosthenis Masouros, Konstantina Koliogeorgi, Sotirios Xydis, Dimitrios Soudris, Antony Chazapis, Christos Kozanitis, Angelos Bilas, Christian Pintol, Huy-Nam Nguyen, Stelios Louloudakis, Georgios Gardikis, George Vamvakas, Michelle Aubrun, Christy Symeonidou, Vassilis Spitadakis, Konstantinos Xylogiannopoulos, Bernhard Peischl, Tahir Emre Kalayci, Alexander Stocker, Jean-Thomas Acquaviva, EVOLVE: Towards Converging Big-Data,High-Performance and Cloud-Computing Worlds, Design, Automation and Test in Europe Conference - The European Event for Electronic System Design and Test, (DATE 2022)
  2. Patrick Damme, Marius Birkenbach, Constantinos Bitsakos, Matthias Boehm,Philippe Bonnet, Florina Ciorba, Mark Dokter1, Pawel Dowgiallo, Ahmed Eleliemy, Christian Faerber, Georgios Goumas, Dirk Habich, Niclas Hedam, Marlies Hofer, Wenjun Huang, Kevin Innerebner, Vasileios Karakostas, Roman Kern, Tomaž Kosar, Daniel Krems, Andreas Laber, Wolfgang Lehner, Eric Mier, Marcus Paradies, Bernhard Peischl, Gabrielle Poerwawinata, Stratos Psomadakis,Tilmann Rabl, Piotr Ratuszniak, Andreas Starzacher, Pedro Silva, Nikolai Skuppin, Benjamin Steinwender, Ilin Tolovski, Pinar Tözün, Wojciech Ulatowski,Yuanyuan Wang, Izajasz Wrosz, Aleš Zamuda, Ce Zhang, Xiao Xiang Zhu, DAPHNE: An Open and Extensible System Infrastructure for Integrated Data Analysis Pipelines, The Conference on Innovative Data Systems Research 2022, (CIDR 2022)
  3. E. Armengaud, B. Peischl, P. Priller, O. Veledar, Automtoive meets ICT - enabling the shift of value creation supported by European R&D, Energy Consumption and Autonomous Driving, 4th International Conference on Automotive Electronics Congress (SIA CESA 5.0) 2018, December 2018, Société des Ingénieurs de l'Automobile. (SIA CESA 5.0)
  4. B. Peischl, On Business Drivers for Firmware Test: A wake-up call for software engineering research?, 2017 IEEE International Conference on Software Quality, Reliability & Security Companion (QRS 2017), p. 593-594, July 2017, ISBN 978-1-5386-2072-4/17, IEEE Computer Society, pdf (doi: 10.1109/QRS-C.2017.109)
  5. B. Peischl, M. Felderer, A. Beer, Testing Security Requirements with Non-Experts: Approaches and Empirical Investigations, 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), p. 254-261, ISBN 978-1-5090-4127-5, Aug. 2016, IEEE Computer Society, pdf (doi: 10.1109/QRS.2016.37)
  6. B. Peischl, I. Pill, F. Wotawa, Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems, KI 2016: Advances in Artificial Intelligence: 39th Annual German Conference on AI, Lecture Notes in Computer Science, vol. 9904, p. 185-191, Sept. 2016, ISBN 978-3-319-46073-4, Springer International Publishing, pdf (doi: 10.1007/978-3-319-46073-4_18)
  7. B. Peischl, H. Schantl, A. Holzinger, Energizing People‘s Work: Transforming Organizations through Gamification, 11th International Joint Conference on e-Business and Telecommunications (ICE-B 2014), p. 201-208, Aug. 2014, ISBN 978-9-8985-6598-3, IEEE Computer Society, pdf
  8. M. Felderer, A. Beer, B. Peischl, On the Role of Defect Taxonomy Types for Testing Requirements: Results of a Controlled Experiment, 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014) , p. 377-384, Aug. 2014, ISSN 1089-6503, IEEE Computer Society, pdf (doi: 10.1109/SEAA.2014.37)
  9. A. Kalchauer, S. Lang, B. Peischl, V. Rodela Torrents, Business Intelligence in Software Quality Monitoring: Experiences and Lessons Learnt from an Industrial Case Study, Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering: 6th International Conference, SWQD 2014, p. 34-47, ISBN 978-3-319-03602-1, Jan. 2014, Springer International Publishing, pdf (doi:10.1007/978-3-319-03602-1_3)
  10. B. Peischl, N. Riaz, F. Wotawa, Using Filtering to Improve Value-Level Debugging of Verilog Designs, Fifth International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), p. 49-54, Oct. 2013, ISBN 978-1-61208-307-0, IARIA, pdf
  11. B. Peischl, M. Ferk, A. Holzinger, Integrating User-Centred Design in an Early Stage of Mobile Medical Application Prototyping: A case study on Data Acquistion in Health Organisations, 10th International Joint Conference on e-Business and Telecommunications (ICE-B 2013) , p. 1-11, ISBN 978-9-8975-8128-1, July 2013, IEEE Computer Society, pdf
  12. B. Peischl, S. M. Lang, What can we learn from in-process metrics on issue management?, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, Testing: Academic and Industrial Conference on Practice and Research Techniques (TAIC PART), p 124-125, March 2013, ISBN 978-0-7695-4993-4, IEEE Computer Society, pdf (doi: 10.1109/ICSTW.2013.74)
  13. S. M. Lang, B. Peischl, Nachhaltiges Software Management durch Lebenszyklus-übergreifende Überwachung von Qualitätskennzahlen, Tagungsband der Fachtagung Software Management 2012, Nachhaltiges Software Management , Nov. 2012, Gesellschaft für Informatik (GI), pdf (ToC)
  14. A Holzinger, E. Popova, B. Peischl, M. Ziefle, On complexity reduction of user interfaces for safety-critical systems, International Conference on Availability, Reliability and Security 2012 (CD-ARES 2012), Springer Lecture Notes in Computer Science (LNCS) , vol. 7465, p. 108-122, August 2012, Springer International Publishing, pdf (doi:10.1007/978-3-642-32498-7_9)
  15. B. Peischl, M. Ziefle, A. Holzinger, A Mobile Information System for Improved Navigation in Public Transport: User Centered Design, Development, Evaluation and e-Business Scenarios of a mobile Roadmap Application, International Conference on e-Business 2012 (ICE-B 2012) , p. 217-221, July 2012, SciTe Press, pdf
  16. A. Holzinger, G. Searle, B. Peischl, M. Debevc, An Answer to "Who needs a stylus?" On Handwriting Recognition on Mobile Devices, Eighth International Joint Conference on e-Business and Telecommunications (ICE-B 2011) - Revised Selected Papers, Communications in Computer and Information Science , vol. 314, p. 156-167, July 2011, ISBN 978-3-642-35755-8, Springer International Publishing, pdf (doi: 10.1007/978-3-642-35755-8_12)
  17. A. Holzinger, L. Basic, B. Peischl, M. Debevc, Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysis, Seventh International Joint Conference on e-Business and Telecommunications (ICE-B 2010), Revised Selected Papers , p. 219-227, July 2010, ISBN 978-989-8425-17-1, SciTech Press, pdf
  18. B. Peischl, R. Ramler, T. Ziebermayr, S. Mohacsi, C. Preschern, Requirements and Solutions for Tool Integration in Software Test Automation, Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011) , p. 71-77, Nov. 2011, ISBN 978-1-61208-168-7, Xpert Publishing Services, pdf
  19. B. Peischl, R. Ramler, T. Ziebermayr, Solution Concepts for an Integrated Test Automation Framework, 37th Euromicro Conference on Software Engineering and Advanced Applications (SEAA/DSD 2011), Proceedings of the Work in Progress Session, p. 97-111, Aug. 2011, ISBN 978-3-902457-30-1, SEA Publications.
  20. A. Holzinger, L. Basic, B. Peischl, M. Debevc, Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysis, International Conference on e-Business and Telecommunications (ICE-B 2011) , p. 219-227, July 2011, 978-989-8425-70-6, SciTe Press, pdf, Best Paper Award
  21. A. Holzinger, O. Waclik, F. Kappe, S. Lenhart, G. Orasche and B. Peischl, Rapid Prototyping on the Example of Software Development in Automotive Industry: The Importance of their Provision for Software Projects at the Correct Time, International Conference on e-Business and Telecommunications 2011 (ICE-B 2011) , p. 57-61, July 2011, ISBN 978-989-8425-70-6, SciTe Press, pdf
  22. A. Holzinger, M. Schlögl, B. Peischl, M. Debevc, Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the basis of real-life Usability Research, Proceedings of Communications in Computer and Information Science (CCIS), Selected Papers from ICE-B 2010 , p. 97-111, 2010, Vol. 222, ISBN 978-3-642-25205-1, Springer International Publishing, pdf (doi:10.1007/978-3-642-25206-8_6)
  23. A. Beer and B. Peischl, Testing of Safety-Critical Systems: A Structural Approach to Test Case Design, Proceedings of the 19th Safety-critical Systems Symposium , p. 187-211, Jan. 2011, Springer International Publishing, pdf (doi:10.1007/978-0-85729-133-2_12)
  24. B. Peischl, Das Softnet Integrationsprojekt: Kennzahl-gestützte kontinuierliche QS im Software Engineering, Software Quality Days 2011 , Jan. 2011.
  25. B. Peischl, Integration von Prozess-, Modell- und Produktmetriken, MetriKon 2011 - Praxis der Software-Messung : Tagungsband des DASMA Software Metrik Kongresses , Nov. 2010, Stuttgart, Deutschland, ISBN 978-3-8440-0557-8, Shaker Verlag, PDF,
  26. C. Schwarzl and B. Peischl, Static- and Dynamic Consistency Analysis of UML State Chart Models, ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), Lecture Notes in Computer Science (LNCS) , vol. 6395, p. 151-165, Oct. 2010, ISBN 978-3-642-16128-5, Springer International Publishing, pdf (doi:10.1007/978-3-642-16145-2_11)
  27. A. Holzinger, M. Schlögl, B. Peischl and M. Debevc, Preferences of Handwriting Recognition on Mobile Information Systems in Medicine, Proceedings of the International Conference on e-Business and Telecommunications 2010 , p. 14-21, July 2010, ISBN 978-3-642-14263-5, SciTe Press, PDF, Best Paper Award
  28. C. Schwarzl and B. Peischl, Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems, Proceedings of the Tenth International Conference on Software Quality , p. 122-131, July 2010, IEEE Computer Society, pdf (doi:10.1109/QSIC.2010.22)
  29. B. Peischl, N. Riaz and F. Wotawa, Employing Test Suites for Verilog Fault Localization, Current Topics in Artificial Intelligence - CAEPIA 2009 Selected Pap&/ers, Lecture Notes in Artificial Intelligence (LNAI) , p. 1-10, Nov. 2009, Sevilla, Spain, ISBN 978-3-642-14263-5, Springer International Publishing, pdf (doi:10.1007/978-3-642-14264-2_1)
  30. S. Nica and B. Peischl, Challenges in Applying Mutation Analysis on EJB-based Business Applications, Metrikon 2009: Praxis der Software Messung, Tagungsband des DASMA Software Metrik Kongresses , p. 261-274, Nov. 2009, ISBN 978-3-8322-8649-1, Shaker Verlag, pdf
  31. B. Peischl, N. Riaz and F. Wotawa, Employing Test Suites for Verilog Fault Localization, 13th International Conference for of the Spanish Association for Artificial Intelligence (CAEPIA-09) , Nov. 2009. pdf (doi: 10.1007/978-3-642-14264-2_1)
  32. V. Chimisliu, B. Peischl and C. Schwarzl, From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation, p. 173-178, Aug. 2009, Proceedings of the Ninth International Conference on Quality Software , IEEE Computer Society, pdf (doi:10.1109/QSIC.2009.31)
  33. B. Peischl, N. Riaz and F. Wotawa, Test Patterns for Verilog Design Error Localization, Proceedings of the Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART) , p. 111-120, Sept. 2009, ISBN 978-0-7695-3820-4, IEEE Computer Society, pdf (doi:10.1109/TAICPART.2009.37)
  34. S. J. Galler, B. Peischl and F. Wotawa, Challenging Automatic Test Case Generation Tools with Real World Applications, IASTED International Conference on Software Engineering and Applications , Nov. 2008, USA, ISBN 978-0-88986-775-8, ACTA Press, Abstract, PDF
  35. B. Peischl, N. Riaz and F. Wotawa, Advances in Automated Debugging of Verilog Designs, In New Challenges in Applied Intelligence Technologies, Studies in Computational Intelligence , p. 363-372, Vol. 134, June 2008, ISBN 363-372-672, Springer International Publishing, (doi:10.1007/978-3-540-79355-7_35)
  36. B. Peischl, M. Nica and F. Wotawa, A Constraint Model for Automated Deployment of Automotive Control Software, International Conference on Software Engineering and Knowledge Engineering (SEKE 2008) , p. 819-904, July 2008, Knowledge Institute Graduate School, pdf
  37. B. K. Aichernig, B. Peischl, M. Weiglhofer and F. Wotawa, Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods, Fifth International Conference on Software Engineering and Formal Methods (SEFM 2007) , p. 215-224, ISBN 978-0-7695-2884-7, IEEE Computer Society, pdf (doi:10.1109/SEFM.2007.31)
  38. B. Peischl, S. Soomro and F. Wotawa, Towards Lightweight Fault Localization in Procedural Programs, 19th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE'06) , p. 660-667, June 2006, ISBN 3-540-35453-0, Springer International Publishing, pdf (doi:10.1007/11779568_71)
  39. B. Peischl, S. Soomro and F. Wotawa, Lightweight Fault Localization with Abstract Dependences, International Conference on Engineering of Intelligent Systems (ICEIS'06) , p. 300-306, IEEE Computer Society, pdf (doi:10.1109/ICEIS.2006.1703183)
  40. B. Peischl and F. Wotawa, Error Traces in Model-Based Debugging of Hardware Description Languages, Proceedings of the Sixth International Symposium on Automated and Analysis-Driven Debugging (AADEBUG 2005) , p. 43-48, Monterey, California, USA, September 2005, ISBN 1-59593-050-7, ACM Press, pdf (doi:10.1145/1085130.1085136)
  41. D. Köb, B. Peischl and F. Wotawa, Debugging VHDL Designs Using Temporal Process Instances, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE 2003) , Lecture Notes in Artificial Intelligence, Vol. 2718, p. 402-415, June 2003, ISBN 3-540-40455-4, Springer Verlag, pdf (doi:10.1007/3-540-45034-3_41)

Refereed Scientific Workshops

  1. B. Peischl, O. A. Tazl, F. Wotawa, Testing of Artificial intelligence Applicaitons: A State of the Art Survey, Workshop AS-IT-IC, Information Society 2017, p. 23-26, pdf
  2. B. Peischl, O. A. Tazl, F. Wotawa, Open Questions of Technology Usage in the Field of Tourism, Workshop AS-IT-IC, Information Society 2017, p. 19-22, pdf
  3. B. Peischl, I. Pill, F. Wotawa, Abductive Diagnosis based on Modelica Models, 27th International Workshop of Principles of Diagnosis (DX-2016) , Oct. 4-7, 2016, DX-workshop series
  4. F. Reinfrank, G. Ninaus, B. Peischl, F. Wotawa, A Goal-Question-Metrics Model for Configuration Knowledge Bases, 17th International Configuration Workshop 2015, CEUR Workshop Proceedings, p. 123-130, June 2015, pdf
  5. B. Peischl, Software Quality Research: from Processes to Model-based Techniques, Software Quality Research: from Processes to Model-based Techniques, Testing: Academic & Industrial Conference: Practice and Research Techniques, April 2015, IEEE Computer Society p. 1-6, ISBN 978-1-4799-1885-0, pdf (doi:10.1109/ICSTW.2015.7107475)
  6. Peischl, M. Ferk, A. Holzinger, On the Success Factors for Mobile Data Acquisition in Healthcare, Human Aspects in Mobile Apps Engineering at the British HCI '13, Sept. 2013
  7. B. Peischl, N. Riaz, F. Wotawa, Exploiting Passing Tests for Value-Level Debugging of Verilog Designs, 24th International Workshop of Principles of Diagnosis (DX-2013) , Oct. 1-4, 2013, DX-workshop series
  8. B. Peischl and F. Wotawa, An Abstract Operational Framework for Dependence Models in Software Debugging, ICSTW11 Proceedings of the IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, March 2011, Berlin, ISBN 978-0-7695-4345-1, IEEE Computer Society, pdf (doi:10.1109/ICSTW.2011.62)
  9. C. Schwarzl and B. Peischl, Generation of Executable Test Cases Based on Behavioral UML Models, Fifth International Workshop on the Automation of Software Tests , p. 31-34, May 2010, ISBN 978-1-60558-970-1, ACM, pdf (doi:10.1145/1808266.1808271)
  10. B. Peischl, M. Nica and M. Zanker, W. Schmid, Constrained-based Recommendation of Effort Estimation Methods for Software Project Management, Workshop on Web Personalization, Reputation and Recommender Systems for IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology , vol. 3, p. 77-80, Sept. 2009, Milano, Italy, ISBN 978-0-7695-3801-3, pdf (doi:10.1109/WI-IAT.2009.235)
  11. V. Chimisliu, C. Schwarzl and B. Peischl, Test Case Generation for Embedded Automotive Systems: A Semantics Preserving Model Transformation, Second International Workshop on Model-based Testing in Practice (MoTiP 2009) , p. 363-372, June 2009, ISSN 0929-0682, CTIT Workshop Proceedings Series
  12. B. Hofer, B. Peischl and F. Wotawa, GUI Savvy End-to-End Testing with Smart Monkeys, Fourth International Workshop on the Automation of Software Test , p. 130-137, May 2009, IEEE Computer Society, pdf (doi:10.1109/IWAST.2009.5069051)
  13. B. Peischl, M. Nica and F. Wotawa, A Generative Constraint Model for Optimizing Software Deployment,
  14. ECAI 08 Workshop on Configuration Systems , p. 13-18, June 2008, ISBN 978-960-6843-01-3, IOS Press.
  15. B. Peischl, N. Riaz and F. Wotawa, Model-based Reasoning with Multiple Test Cases and its Application to Debugging, 19th International Workshop on Principles of Diagnosis, p. 315-322, Sept. 2008, DX-workshop series
  16. B. K. Aichernig, B. Peischl, M. Weiglhofer and F. Wotawa, On Test Purposes in an Industrial Application, Third Workshop on Advances in Model Based Testing (A-MOST 2007), p. 115-125, ISBN 978-1-69593-850-3, ACM, pdf (doi:10.1145/1291535.1291547)
  17. B. Peischl, M. Weiglhofer and F. Wotawa, Executing Abstract Test Cases, Informatik 2007: Informatik trifft Logistik, Band 2, Beiträge zur 37. Jahrestagung der Gesellschaft füƒr Informatik (GI) , p. 416-421, Sept. 2007, ISBN 978-3-88579-204-8, Gesellschaft für Informatik, pdf
  18. B. Peischl, J. Weber and F. Wotawa, Runtime Fault Detection and Localization in Component-oriented Software Systems, Third MONET Workshop on Model-Based Systems , p. 62-66, August 2006.
  19. B. Peischl, J. Weber and F. Wotawa, Runtime Fault Detection and Localization in Component-oriented Software Systems, 17th International Workshop on Principles of Diagnosis (DX-06) , p. 203-210, June 2006, pdf (arXiv:cs/0311001v1)
  20. B. Peischl, S. Soomro and F. Wotawa, Dependence in Verification and Debugging, 17th International Workshop on Principles of Diagnosis (DX-06), p. 195-202, June 2006, pdf (arXiv:cs/0311001v1)
  21. B. Peischl, S. Soomro, and F. Wotawa, Lightweight Debugging Techniques, IJCAI-05 Workshop on Model-Based Systems , p. 54-58, July 2005.
  22. B. Peischl and F. Wotawa, Modeling State in Software Debugging of VHDL-RTL Designs: A Model Based Diagnosis Approach, Fifth International Workshop on Automated and Algorithmic Debugging (AADEBUG 2003) , p. 197-210, Computer Research Repository (CoRR) pdf (arXiv:cs/0311001v1)
  23. B. Peischl and F. Wotawa, Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Counterexamples Using a Model-Based Diagnosis Approach, 15th International Workshop on Principles of Diagnosis (DX-04) , p. 161-166, June 2004, DX-workshop series
  24. B. Peischl and F. Wotawa, Are Error Traces Enough for Automated Fault Localization in VHDL Designs?, Second Workshop of Intelligent Solutions in Embedded Systems (WISES 2004) , p. 49-60, June 2004.
  25. R. Chen, D. Köb, B. Peischl and F. Wotawa, Static and Dynamic Analysis in Automated Debugging, MONET Workshop on Model-Based Systems at ECAI 2004 , p. 3-8, August 2004.
  26. B. Peischl and F. Wotawa, Computing Diagnosis Efficiently: A Fast Theorem Prover for Propositional Horn Theories, 14th International Workshop on Principles of Diagnosis (DX-03) , p. 175-180, June 2003, Washington DC, USA. DX-workshop series
  27. B. Peischl and F. Wotawa, Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs, 14th International Workshop on Principles of Diagnosis (DX-03) , DX-workshop series p. 181-186, June 2003.

Original Contributions to Books

  1. F. Wotawa, B. Peischl, R. Koitz, Diagnosis as a Service, Digital Marketplaces Unleashed, ISBN 978-3-662-49274-1, Spinger Verlag, buy book at Springer.
  2. D. Wuksch, B. Peischl, Message from the Chairs - ASQT 2015, IEEE Eight International Conference on Software Testing, Verification and Validation Workshops (ICSTW), April 2015, ISBN 978-3-85403-303-5, IEEE Computer Society, pdf
  3. D. Wuksch, B. Peischl, Ch. Kop, Selected Topics to the 11th User Conference on Software Quality, Test and Innovation , Editorial, 11th User Conference on Software Quality, Test and Innovation (ASQT 2013) , ISBN 978-3-85403-303-5, Österreichische Computergesellschaft (OCG), May 2014.
  4. Ch. Kop, B. Peischl, D. Wuksch, Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation , Editorial, Anwenderkonferenz für Softwarequalität und Test 2012 (ASQT 2012) , ISBN 978-3-85403-295-3, Österreichische Computergesellschaft (OCG), Oct. 2013.
  5. B. Peischl et al., Cloud Migration, Dr. Tobias Höllwarth (Herausgeber), Nov. 2013.
  6. B. Peischl et al., Der Weg in die Cloud, Dr. Tobias Höllwarth (Herausgeber), Nov. 2012.
  7. B. Peischl, D. Wuksch, Anwenderkonferenz für Softwarequalität und Test, Editorial, Anwenderkonferenz für Softwarequalität und Test 2011 (ASQT 2011), Österreichische Computergesellschaft (OCG), Mai 2012.
  8. B. Peischl, Source-Level Debugging of VHDL: Models, Methods and Techniques, VDM Verlag Dr. Müller, Aug. 2008.
  9. B. Peischl and G. Steinbauer, Editorial, ECAI Workshop on Model-based Systems, IOS Press, July 2008.

Edited Conference Proceedings / Special Issues

  1. B. Peischl, B. Eberhardinger Guest Editorial: Special issue on quality of adaptive software systems, Software Quality Journal, Guest Editorial, Vol. 28, 1187-1188, Springer, Sept. 2020 ( doi: doi.org/10.1007/s11219-020-09526-x )
  2. I. Nica, B. Peischl, Quality Assurance in Computer Vision & Digital Eco-Systems , Joint Proceedings of the International Workshop on Quality Assurance in Computer Vision and the International Workshop on Digital Eco-Systems, CEUR Workshop Proceedings, Vol. 1711, ISSN 1613-0073, Oct. 2016
  3. B. Peischl, C. Kop, D. Wuksch, Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität, Test und Innovation 2014 (ASQT 2014) , Österreichische Computer Gesellschaft , Post-Proceedings, Vol. 310, books@ocg.at, ISBN 978-3-85403-310-3, May 2015.
  4. B. Peischl, C. Kop, D. Wuksch, Selected Topics to the User Conference on Software Quality, Test and Innovation 2013 (ASQT 2013) , Österreichische Computer Gesellschaft , Post-Proceedings, Vol. 303, books@ocg.at, ISBN 978-3-85403-303-5, April 2014.
  5. B. Peischl, C. Kop, D. Wuksch, Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität, Test und Innovation 2012 (ASQT 2012) , Österreichische Computer Gesellschaft , Post-Proceedings, Vol. 295, books@ocg.at, ISBN 978-3-8440-1272-9, Oct. 2013.
  6. B. Peischl, Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität, Test und Innovation 2011 (ASQT 2011) , Österreichische Computer Gesellschaft , Post-Proceedings, Vol. 283, books@ocg.at, ISBN 978-3-85403-283-0, May 2012.
  7. B. Peischl, N. Snooke, G. Steinbauer, C. Witteveen, 4th International Workshop on Model-Based Systems, Workshop Proceedings, Juli 2008.

Professional Journals and Magazines

  1. B. Bierzynski, C. Alonso, G. Kaustubb, N. Lehmet, D. Mayer, A. Nackaerts, R. Neul, B. Peischl, N. Rix, H. Röhm, S. Rzepka, I. Seifert, B. Stree, T. Salvatore, O. Veledar, B. Wilsch, Artificial Intelligence at the Edge , EPoSS e. V. , April 2021.
  2. S. Gruenefelder, B. Peischl, Automatische Erzeugung von Modultestfällen: Das Beste aus zwei Test-Strategien, Elektronik, Fachmedium für industrielle Anwender und Entwickler (in German language), Vol. 23, Nov. 2015.
  3. B. Peischl, D. Wuksch, 11. Anwenderkonferenz für Softwarequalität, Test und Innovation, Softwaretechnik Trends, Gesellschaft für Informatik, Band 34/2, 2014.
  4. B. Peischl, D. Wuksch, Kosten-/Aufwandsabschätzung bei komplexen Software Projekten als Basis moderner IT-Governance, Management der Anwendungsentwicklung und -wartung, 33. WI-MAW Rundbrief, vol. 19, no. 1, March 2013, Ruhndbrief Heft 1/13 (in German language).
  5. B. Peischl, Models in Software Quality Assurance:Testing and Debugging, SCCH Magazin, 2012, Software Competence Center Hagenberg, pdf
  6. B. Peischl, R. Ramler, V. Turlo, S. Mohacsi, V. Safronau, T. Walter, A Practioner's Guide to Integrating Model-Based Testing in a Project's Tool Landscape, Testing Experience: The Magazine for professional testers , March 2012, ISSN 1866-5705, Diaz Hilterscheid, pdf
  7. B. K. Aichernig, B. Peischl, F. Wotawa, Modellbasiertes Testen in der Softwareentwicklung. Reserch Journal, Graz University of Technology , 2011.
  8. B. Peischl, COMET K-Projekte Softnet II - Kompetenznetzwerk in Next Generation Software Engineering, Management der Anwendungsentwicklung und -wartung, 31. WI-MAW Rundbrief , vol. 17, no.1, p. 60-74, March 2011, ISSN 1610-5753, Deutsche Gesellschaft für Informatik, Rundbrief Heft 1/11 (in German language).
  9. B. Peischl und F. Wotawa, Kennzahl-gestützte, kontinuierliche Qualitätssicherung im Software Engineering, Management der Anwendungsentwicklung und -wartung, 29. WI-MAW-Rundbrief , vol. 16, no. 1, p. 66-78, March 2010, ISSN 1610-5753, Deutsche Gesellschaft für Informatik, Rundbrief Heft 1/10 (in German language).
  10. B. Peischl, Modell-basierter Test: Methodischer überblick und Industrielle Anwendung, Management der Anwendungsentwicklung und -wartung, 27. WI-MAW Rundbrief , vol. 15, no. 1, p 24-35, March 2009, ISSN 1610-5753, Deutsche Gesellschaft für Informatik, Rundbrief Heft 1/09 (in German language).
  11. B. Peischl and F. Wotawa, Fixing Faults in VHDL-RTL Programs: An Application of Model-based Diagnosis to Digital Circuit Designs, Journal of the Austrian Society of Artificial Intelligence (ÖGAI-Journal), p. 6-17, no. 4, Dec. 2002.

Community Services

I have chaired/co-chaired a number of conferences in the field of software quality and software testing, have been a PC member for the following conferences and I am regularly providing reviews for a number of scientific journals in my areas of expertise.

Conference Chair/Co-Chair

  • VVASS 2018, IEEE International Workshop on Verification and Validation of Adaptive Systems, Vienna, July 2018, Co-Chair.
  • ASQT 2017 - 15th User Symposium on Software Quality, Test and Innovation, Graz University of Technology, 21st-23rd Sept. 2017, Co-Chair.
  • DECOSYS 2016, Workshop on Digital Eco-Systems, Oct. 2016, Co-Chair.
  • VVASS 2016, IEEE International Workshop on Verification and Validation of Adaptive Systems, Vienna, Aug. 2016, Co-Chair.
  • ASQT 2016 - 14th User Conference on Software Quality, Test and Innovation, Alpe-Adria University Klagenfurt, 21st-23rd Sept. 2016, Co-Chair.
  • ASQT 2015 - 13th User Symposium on Software Quality, Test and Innovation, Congress Graz, 15th-16th April 2015, Co-Chair.
  • 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), April 2015, Finance Chair.
  • 11th International Joint Conference on e-Business and Telecommunications (ICETE 2014), Aug. 2014, Industrial Track Chair.
  • ASQT 2014 - 12th User Conference on Software Quality, Test and Innovation, Alpe-Adria University Klagenfurt, Sept. 2014, Co-Chair.
  • ASQT 2013 - 11th User Conference on Software Quality, Test and Innovation, Graz University of Technology, Oct. 2013, Co-Chair.
  • ASQT 2012 - 10th User Conference on Software Quality, Test and Innovation, Alpe-Adria University Klagenfurt, Sept. 2012, Co-Chair.
  • ASQT 2011 - 9th User Conference on Software Quality, Test and Innovation, Graz University of Technology, Oct. 2011, Co-Chair.
  • 4. Fachkonferenz Software Testing, General Chair, Institute for International Research (IIR), Mai 2009.
  • MBS 2008 - 4th International Workshop on Model-Based Systems, Co-Chair, Juli 2008.

Program Committees

  • IJCAI-PRICAI 2020, 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, PC member
  • IJCAI 2019, 28th International Joint Conference on Artificial Intelligence, PC-Member
  • CTRQ 2019, The Eleventh International Conference on Communication Theory, Reliability, and Quality of Service, PC-Member
  • iCCECE'19, International Conference on Computing, Electronics & Communications Engineering 2019, PC-Member
  • iCETiC'19, The International Conference on Emerging Technologies in Computing 2019
  • AS-IT-IC Workshop 2018, The 2018 AS-IT-IC Workshop at 21th International Conference of Information Society (IS 2018), PC-Member
  • VVASS 2018 IEEE International Workshop on Verification and Validation of Adaptive Systems, Co-Chair, PC-Member
  • AAAI 2018, Thirty-Second AAAI Conference on Artificial Intelligence, PC-Member
  • CTRQ 2018, The Eleventh International Conference on Communication Theory, Reliability, and Quality of Service, PC-Member
  • DBKDA 2018, The Tenth International Conference on Advances in Databases, Knowledge, and Data Applications, PC-Member
  • ICCGI 2018, The Thirteenth International Multi-Conference on Computing in the Global Information Technology, PC-Member
  • iCCECE'18, International Conference on Computing, Electronics & Communications Engineering 2018, PC-Member
  • iCETiC'18, The International Conference on Emerging Technologies in Computing 2018
  • AS-IT-IC Workshop 2017, The 2017 AS-IT-IC Workshop at 20th International Conference of Information Society (IS 2017), PC-Member
  • QA4SASO 2017, Forth Edition of the IEEE Workshop on Quality Assurance for Self-Adaptive, Self-Organising Systems, PC-Member
  • DBKDA 2017, The Ninth International Conference on Advances in Databases, Knowledge, and Data Applications, PC-Member
  • CTRQ 2017, The Tenth International Conference on Communication Theory, Reliability, and Quality of Service, PC-Member
  • ICCGI 2017, The Twelfth International Multi-Conference on Computing in the Global Information Technology, PC-Member
  • DECOSYS 2016, Workshop on Digital Eco-Systems, Co-Chair, PC-Member
  • QACV 2016, The 1st Workshop on Quality Assurance in Computer Vision, PC-Member
  • VVASS 2016 IEEE International Workshop on Verification and Validation of Adaptive Systems, Co-Chair, PC-Member
  • ECAI 2016, European Conference on Artificial Intelligence, PC-Member
  • QA4SASO 2016, Third Edition of the IEEE Workshop on Quality Assurance for Self-Adaptive, Self-Organising Systems, PC-Member
  • VALID 2016, Eighth International Conference on Advances in System Testing and Validation Lifecycle, PC-Member
  • ICCGI 2016, The Eleventh International Conference on Computing in the Global Information Technology, PC-Member
  • DBKDA 2016, The Eigth International Conference on Advances in Databases, Knowledge, and Data Applications, PC-Member
  • CTRQ 2016, The Ninth International Conference on Communication Theory, Reliability, and Quality of Service, PC-Member
  • ASQT 2015, 13th User Symposium on Software Quality, Test and Innovation, 15th-16th April 2015, Co-Chair, OC-Member, PC-Member
  • VALID 2015, Seventh International Conference on Advances in System Testing and Validation Lifecycle, Nov. 15-20, 2015, PC-Member
  • WI 2015, 12th International Conference on Wirtschaftsinformatik - Smart Enterprise Engineering, PC-Member, March 4th-6th 2015, PC-Member
  • AAAI 2015, The Twenty-Ninth AAAI Conference, January 25-29, 2015, PC-Member
  • ICETE 2014, 11th International Joint Conference on E-Business and Telecommunications, Industrial Track Chair
  • VALID 2014, Sixth International Conference on Advances in System Testing and Validation Lifecycle, Oct. 12-15, 2014, PC-Member
  • DX-2013, 24th International Workshop on Principles of Diagnosis, PC-Member
  • VALID 2013, Fifth International Conference on Advances in System Testing and Validation Lifecycle, Nov. 18-23, 2013, PC-Member
  • VALID 2012, Fourth International Conference on Advances in System Testing and Validation Lifecycle, Nov. 18-23, 2012, PC-Member
  • Anwenderkonferenz für Softwarequalität, Test und Innovation (ASQT), PC-Member.
    • ASQT 2017, ASQT 2016, ASQT 2015, ASQT 2014, ASQT 2013, ASQT 2012, ASQT 2011
  • 4th IIR Software Testing Conference, Chair, May 2009
  • 4th Workshop on Model-Based Systems, July 2008, Co-Chair
  • 18th European Conference on Artificial Intelligence, July 2008, PC-Member
  • MICAI 2006: Advances in Artificial Intelligence, Nov. 2006, PC-Member
  • 3rd MONET Workshop on Model-based Systems, Aug. 2006, OC-Member

Reviews for Journals

Expertise & References

I have managed project portfolios and large projects (among others I was in charge of the industrial competence network Softnet Austria and the competence center for excellent technologies COMET Softnet II) as well as various IT-related projects (interim management tasks such as re-structuring development- and verification teams as well as technical due diligence for transferring patents or equity). With over 15 years of professional experience, I look forward to share my insights with you (a full list of projects and talks is provided upon request).

Talks & Impulse Statements

In various projects I have experienced that the production of software-intensive products takes place according to different rules than those of industrial goods. We thus have to rethink work organization. Such impetus for a new work culture has emerged in the software engineering field but today comes from many sides: Global competition calls for a networked collaboration across time and cultural boundaries and the pressure to innovate calls for automation to implement fast feedback cycles among the stakeholders. In such a setting, the development a software-intensive product brings to light several questions:

  • Your mission is clear, your vision is evident and your strategy is ready?
  • Your key performance indicators support your strategic goals and provide you with valid data to reliably govern your company?
  • Your quality management system provides you with information about the quality of your product and its continuous improvement?
  • Your R&D resources are spent on differentiating functionality rather than on commodity functionality - things that no customer will use as an argument to buy your solution rather than one of your competitor?
Congratulations - I probably can't do anything for you! But you can do something for me: get in touch with me, you can serve as a benchmark for other companies.

Project- and Interim-Management

Few projects fail because of the technology. More often than not, an inexperienced project manager does not succeed in promptly questioning the expectations of all stakeholders involved and in establishing a realistic consensus among all project participants at an early stage.

The safest way to a successful project is through a project manager who can understand and balance the expectations of all stakeholders, who can form and motivate a suitable team, who can negotiate change requests fairly without hardened fronts and who acts with foresight and can anticipate imminent hazards in good time.

Do you feel addressed on some points? - Then pls. do not hesitate to ask for references and get it touch with me.

Research

Software Quality Engineering & Testing

Software is integrated more frequently into every aspect of our lives, its size doubles approximately every 5 to 10 years, and its failure in operations causes increasingly devastating consequences. Schedules and budgets are continually reduced despite the need for continuous quality. Software development has advanced from an art to an engineering discipline - a discipline that is very much impacted by human, domain, and organizational factors. In my research I am exploring the spectrum from process improvement to evidence-based techniques for testing, verification and validation.

Fault Isolation & Diagnosis

One major origin of the complexity of software-enabled systems (e.g., functionally complex but energy-efficient firmware) lies in the required complex interaction with its context - an often uncontrolled and dynamically changing environment. This context can be established by (groups of) users, an organized work process, other software systems, and engineered physical systems. In my research I am exploring techniques that aid in reducing and mastering today's system complexity, such as the application of model-based diagnosis and test automation to detect and isolate faults in software-enabled systems.

Software Engineering for Electronic-based Systems

In (intelligent) electronic-based systems (e.g., systems exhibiting anticipatory behavior) one has to adress two types of failures: Systematic (software) failures are mistakes or oversights in the design that are primarily a result of human error somewhere along the development process. By contrast, random (hardware) failures are failures that occur unpredictably during the lifecycle of the hardware. Whereas the engineering of electronic-based systems puts more emphasizes on random faults, software engineering typically focuses on detection of systematic faults. In my research I explore how to cope with both types of failures in the presence of quality attributes such as high availability and reliability of safety-relevant functions.

Teaching

Lectures

Iam offering seminars covering state-of-the practice topics in software engineering and quality assurance such as tools for software engineering, test process improvement, test automation and continuous software engineering. The topics are motivated by over 10 years of collaborative and ongoing work with a number of companies. Topics are primarily of interest for students of computer science, software engineering and management, as well as information and computer engineering. The working language is English. In the summer term, the seminar on tools in software technology (in german: Softwaretechnolige Tools) is broadcasted to the Alpen-Adria Universität Klagenfurt. Students thus have access to an extended portfolio of topics at Graz University of Technology as well as the Alpen-Adria Universität. In the academic year 2017/18 students may choose from a this list of lectures.

Thesis

Ioffer numerous topics for bachelor, master and PhD theses in my areas of research. The topics range from conceptual to empirically motivated topics both in a methodical but also in an empirical context mostly in collaboration with companies. Please find a list of running and finished thesis I have supervised / co-supervised. For sure, I am open to your own topic proposals as long as these are within my areas of expertise. Do not hesitate to get in touch with me, it is a pleasure for me to provide further information.

Expert Exchange

In areas where the pace of the development is very fast, such as in lean product development, or in the field of scalable web architectures for the modern enterprise, a moderated exchange of experience at the expert level fosters the learning from and with each other. Therefore I am offering moderated exchange circles under the framework of the Value-Network Süd - IT-enabled eco-systems qualification network.

Upcoming Events / Announcements

I have to pleasure to act as a co-chair of the VVASS 2018 workshop at QRS 2018

2nd IEEE Workshop on Verification and Validation of Adaptive Software Systems (VVASS 2018).

I have the pleasure to act as a guest editor for Springer's Software Quality Journal.

CfP, Special Issue on Adaptive Software Systems

On Tue., 24th of April, V-NET moderated expert exchange "Skills shortage in Information Technology".

Place: Stremayrgasse 16, ground floor, room BMTEG038, Time: 14.00 - 18.00

On Tue., 24th of April, V-NET moderated expert exchange "Software Architecture".

Place: Stremayrgasse 16, ground floor, room BMTEG038, Time: 9.00 - 13.00

Master thesis (contract work) in collaboration with the Virtual Vehicle Competence Center on detection of security incidents with a centralized logging infrastructure.

Pls. get in touch with me!

On Thu., 3rd of May, V-NET course "Twin-Peaks model / Software Architecture".

Place: Seminar room at the Institute for Software Technology, Time: 9:00 - 17:00

On Fr., 18th of May, V-NET course "Data as a Service".

Place: Seminar room at the Institute for Software Technology, Time: 9:00 - 17:00

Thesis

Some students attained awards for their thesis under my supervision or managed to publish parts of their thesis, others even started their own company (e.g., CodeWort). Pls. find the title, name of the student and the status of the (co)-supervised thesis below.

Thesis Title Student Type Status

 
 
    
A test automation tool for indoor localization frameworks David Ganster   Master    running

 
 
    
Software Development Process in Start-Up Companies: Empirical Analysis and Improvement Actions   Markus Kammerhofer   Master   running

 
 
    
Teststrategien für Legacy Projekte im Webumfeld   Peter Ebelsberger   Master   running

 
 
    
Konzeption einer webbasierten Entwicklungsplattform zur Erstellung von Software-Demonstratoren, dargestellt am Beispiel der Automobilindustrie   Lukas
Gruessing		   Master   finished

 
 
    
A Firmware Test Automation Framework   Alexander Buchegger   Master   running

 
 
    
Konzeption und Entwicklung einer gelegentlich verbundenen mobilen Applikation
für die Datenerfassung in Gesundheitsorganisationen		   Michaela Ferk   Master   finished

 
 
    
Monitoring of software process KPIs using a web-enabled dashboard   Kalchauer Alexander   Master   finished

 
 
    
Development and optimization of a web-enabled OLAP-based software dashboard   Vanessa
Rondela Torrents		   Master   finished

 
 
    
User-Centered Design and Development of a Mobile Application for Improving Navigation on Public Transport Systems   Michael Kober   Master   finished

 
 
    
Symbolic Model-based Test Case Generation for Distributed Systems   Christian Schwarzl   PhD   finished

 
 
    
Design and Development of a Mobile User Interface for Adaptive Handwriting Recognition
to Improve Data Input into a Medical Information System		   Martin Schlögl   Master   finished

 
 
    
Static Analysis of Java Programs   Soomro Safeeullah   PhD   finished

 
 
    
Design and Prototypical Development of a Smart Test Monkey for Graphical User Interface Testing   Birgit Hofer   Master   finished

 
 
    
Automated Source-Level Debugging of Synthesizable Verilog Designs   Naveed Riaz   PhD   finished

 
 
    
Fault Localization in VHDL Programs using Logical Models and Artificial Intelligence Techniques   Daniel Köb   Master   finished

 
 
    
Minimizing Test Cases and Isolating Cause-Effect Chains of VHDL Programs   Stefan Staber   Master   finished

 
 
    

Get in Touch

Address & Publisher

Back to top