Bernhard Josef Peischl

Research output

Research output per year 2001 2003 2006 2009 2010 2012 2022

• 37 Conference paper
• 10 Article
• 4 Chapter
• 4 (Old data) Lecture or Presentation
• 3 More
  • 1 Anthology
  • 1 Other report
  • 1 Poster

Research output per year

Research output per year

Search results

• 2022

  EVOLVE: Towards Converging Big-Data, High-Performance and Cloud-Computing Worlds

  Tzenetopoulos, A., Masouros, D., Koliogeorgi, K., Xydis, S., Soudris, D., Chazapis, A., Kozanitis, C., Bilas, A., Pinto, C., Nguyen, H. N., Louloudakis, S., Gardikis, G., Vamvakas, G., Aubrun, M., Symeonidou, C., Spitadakis, V., Xylogiannopoulos, K., Peischl, B., Kalayci, T. E., Stocker, A., & 1 othersAcquaviva, J. T., 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Bolchini, C., Verbauwhede, I. & Vatajelu, I. (eds.). Institute of Electrical and Electronics Engineers, p. 975-980 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • High Performance Computing 100%
  • High-Performance Computing 100%
  • Big Data Processing 33%
• 2016

  Abductive Diagnosis based on Modelica Models

  Peischl, B. J., Pill, I. P. & Wotawa, F., 2016, 27th International Workshop on Principles of Diagnosis. 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Using modelica programs for deriving propositional horn clause abduction problems

  Peischl, B., Pill, I. & Wotawa, F., 2016, Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings. Springer-Verlag Italia, Vol. 9904 LNAI. p. 185-191 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9904 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Fault Model 100%
  • Physical System 66%
  • Cyber-Physical Systems 50%
  • Additional Training 50%
  • modeling language 33%
• 2014

  Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations

  Peischl, B., Ferk, M. & Holzinger, A., 2014, International Joint Conference on e-Business and Telecommunications. ., p. 185-195

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
• 2012

  A Mobile Information System for Improved Navigation in Public Transport User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap Application

  Peischl, B., Ziefle, M. & Holzinger, A., 2012, Proceedings of the International Conference on Data Communication Networking, e-Business and Optical Communication Systems. Setubal: SciTec Press, p. 217-221

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• On complexity reduction of user interfaces for safety-critical systems

  Holzinger, A., Popova, E., Peischl, B. & Ziefle, M., 2012, (Accepted/In press) IFIP Cross Domain Conference, Lecture Notes in Computer Science. Heidelberg, Berlin, New York: Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2011

  An Abstract Operational Framework for Dependence Models in Software Debugging

  Peischl, B. & Wotawa, F., 2011, (Accepted/In press) Proceedings of the ICST Workshop on Testing and Debugging (TeBug). Institute of Electrical and Electronics Engineers

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Handwriting Recognition on Mobile Devices: State of the art technology, usability and business analysis

  Holzinger, A., Basic, L., Peischl, B. & Debevc, M., 2011, Proceedings of the 8th International Conference on electronic Business and Telecommunications. ., p. 219-227

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Rapid Prototyping on the example of Software Development in the automotive industry: The Importance of their Provision for Software Projects at the Correct Time

  Holzinger, A., Waclick, OI., Kappe, F., Lenhart, S., Orasche, G. & Peischl, B., 2011, Proceedings of the 8th International Conference on electronic Business and Telecommunications. Setubal (Lisbon, Portugal): SciTec, p. 57-61

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
• 2010

  Generation of Executable Test Cases Based on Behavioral UML System Models

  Schwarzl, C. & Peischl, B., 2010, AST 2010. ., p. 1-4

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Preferences of Handwriting Recognition on Mobile Information Systems in Medicine: Improving handwriting algorithm on the basis of real-life usability research

  Holzinger, A., Schlögl, M., Peischl, B. & Debevc, M., 2010, Proceedings of the International Conference on E-Business (ICE-B 2010), Athens. New York: Institute of Electrical and Electronics Engineers, p. 14-21

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Static- and Dynamic Cosistency Analysis of UML State Chart Models

  Schwarzl, C. & Peischl, B., 2010, Model Driven Engineering Languages and Systems. ., p. 151-165

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems

  Schwarzl, C. & Peischl, B., 2010, Proceedings in Quality Software (QSIC) 2010. ., p. 122-131

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2009

  Challenges in Applying Mutation Analysis on EJB-based Business Applications

  Nica, S. A. & Peischl, B., 2009, Metrikon 2009 Praxis der Software-Messung. Magdeburg: Shaker-Verlag GmbH, p. 261-274

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• From UML Statecharts to LOTOS: A Semantic Preserving Model Transformation

  Chimisliu, V. C., Schwarzl, C. & Peischl, B., 2009, The 8th Int. Conference on Quality Software 2009 (QSIC '09). ., p. 1-6

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Recommending Effort Estimation Methods for Software Project Management.

  Peischl, B., Nica, M., Zanker, M. & Schmid, W., 2009, (Accepted/In press) Workshop on Web Personalization, Reputation and Recommender Systems 09. .

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Test Case Generation for Embedded Automotive Systems: A Semantics Preserving Model Transformation

  Chimisliu, V. C., Schwarzl, C. & Peischl, B., 2009, Model-based Testing in Practice. ., Vol. WP09-08. p. 43-52 (CTIT Workshop Proceedings Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File
• 2008

  A Constraint Model for Automated Deployment of Automotive Control Software

  Nica, M., Peischl, B. & Wotawa, F., 2008, Proceedings of 2008 International Conference on Software Engineering and Knowledge Engineering. Redwood City: Knowledge Systems Institute, p. ---

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• A Generative Constraint Model for Optimizing Software Deployment

  Nica, M., Peischl, B. & Wotawa, F., 2008, ECAI 2008 Workshop on Configuration Systems. ., p. ---

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2007

  Executing Abstract Test Cases

  Peischl, B., Weiglhofer, M. & Wotawa, F., 2007, Proceedings of the 37th Annual Congress of the Gesellschaft fuer Informatik. ., p. 421-426

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Protocol Conformance Testing a SIP Registrar: An Industrial Application of Formal Methods

  Aichernig, B., Peischl, B., Weiglhofer, M. & Wotawa, F., 2007, Proceedings of the 5th International Conference on Software Engineering and Formal Methods. Institute of Electrical and Electronics Engineers, p. 215-224

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Protocol Conformance Testing of a SIP Registrar: An Industrial Application of Formal Methods

  Peischl, B., 2007, Proceedings of the 5th International Conference on Software Engineering and Formal Methods. ., p. 115-125

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Test purpose generation in an industrial application

  Aichernig, B., Peischl, B., Weiglhofer, M. & Wotawa, F., 2007, Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery, p. 115-125

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2006

  Abstract Dependence Models in Software Debugging

  Wotawa, F., Peischl, B. & Soomro, S., 2006, International Workshop on Principles of Diagnosis. ., p. ?-?

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Lightweight fault localization with abstract dependencies

  Wotawa, F., Peischl, B. & Soomro, S., 2006, IEEE International Conference on Engineering of Intelligent Systems. ., p. ?-?

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Runtime Fault Detection and Localization in Component-oriented Software Systems

  Wotawa, F., Peischl, B. & Weber, J., 2006, MONET Workshop on Model-Based Systems. ., p. ?-?

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Runtime Fault Detection and Localization in Component-oriented Software Systems

  Wotawa, F., Peischl, B. & Weber, J., 2006, International Workshop on Principles of Diagnosis. ., p. 203-210

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Towards lightweight fault localization in procedural programs debugging techniques

  Wotawa, F., Peischl, B. & Soomro, S., 2006, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Springer, p. ?-?

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2005

  Error traces in model-based debugging of hardware description languages

  Wotawa, F. & Peischl, B., 2005, International Workshop on Automated Debugging. Association of Computing Machinery, p. 43-48

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Lightweight debugging techniques

  Wotawa, F., Peischl, B. & Soomro, S., 2005, Working Notes of the IJCAI-05 Workshop on Model-Based Systems. ., p. ?-?

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2004

  Are Error Traces Enough for Automated Fault Localization in VHDL Designs?

  Wotawa, F. & Peischl, B., 2004, Workshop on Intelligent Solutions in Embedded Systems. ., p. 49-60

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Static and Dynamic Analysis in Automated Debugging

  Wotawa, F., Chen, R., Köb, D. & Peischl, B., 2004, European Conference on Artificial Intelligence. ., p. 3-8

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Towards a Model for Automated Fault Localization in VHDL Designs: Exploring Counterexamples Using a Model-Based Diagnosis Approach

  Wotawa, F. & Peischl, B., 2004, International Workshop on Principles of Diagnosis. ., p. 161-166

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2003

  Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

  Peischl, B. & Wotawa, F., 2003, DX-03, Proceedings of the 14th International Workshop on Principles of Diagnosis 2003. ., p. 175-180 (DX Woskshop Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Debugging VHDL Designs Using Temporal Process Instances

  Peischl, B., Wotawa, F. & Köb, D., 2003, Developments in Artificial Intelligence. Chung, P. W. H., Hinde, C. & Ali, M. (eds.). Berlin, Heidelberg: Springer, Vol. 2718. p. 402-415 (Lecture notes in computer science : Lecture Notes in Artificial Intelligence).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Modeling State in Software Debugging of VHDL-RTL Designs - A Model-based Diagnosis Approach

  Wotawa, F. & Peischl, B., 2003, Proceedings of the Fifth International Workshop on Automated Debugging (AADEBUG). ., p. 197-210

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs

  Peischl, B. & Wotawa, F., 2003, Towards a Framework for Automated Debugging: Abstracting the Temporal Behavior of VHDL-RTL Programs. ., Vol. 14. p. 181-186 (DX Workshop Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review