Bernhard Josef Peischl

Dipl.-Ing. Dr.techn.

20012018
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Forschungsoutput 2001 2018

2018

Diagnosis as a service

Wotawa, F., Peischl, B. & Koitz, R., 2018, Digital Marketplaces Unleashed. Springer Berlin - Heidelberg, S. 557-567 11 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

Monitoring
Electronic data interchange
Wind turbines
Large scale systems
Industry

Quality assurance methodologies for automated driving

Klück, F. S., Wotawa, F., Peischl, B. & Nica, M., 10 Jul 2018, e&i - Elektrotechnik und Informationstechnik, 135, 4-5, S. 322-327 6 S.

Publikation: Beitrag in Zeitung/MagazinArtikelForschungBegutachtung

Open Access
2016

Abductive Diagnosis based on Modelica Models

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, Band 9904 LNAI. S. 185-191 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9904 LNAI).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Modelica
Horn clause
Abduction
Fault
Deviation
2015

The fine art of user-centered software development

Peischl, B., Ferk, M. & Holzinger, A., 2015, in : Software quality journal. 23, 3, S. 509-536

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Open Access
Datei
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. ., S. 185-195

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei
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, S. 217-221

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

A Mobile Information System für Improved Navigation in Public Transport

Peischl, B., Ziefle, M. & Holzinger, A., 2012.

Publikation: KonferenzbeitragPosterForschung

Open Access
Datei

Automated Debugging of Verilog Designs

Peischl, B., Riaz, N. & Wotawa, F., 2012, in : International journal of software engineering and knowledge engineering. 22, 5, S. 695-723

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

B.90 Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the Basis of Real-Life Usability Research

Holzinger, A., Schlögl, M., Peischl, B. & Debevc, M., 2012, Springer Communications in Computer and Information Science, Vol. 222. 1 Aufl. Heidelberg, Berlin, London, New York: Springer, S. 97-111

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

Open Access
Datei

B.91 An Answer to “Who needs a stylus?” On Handwriting Recognition on Mobile Devices

Holzinger, A., Searle, G., Peischl, B. & Debevc, M., 2012, e-Business and Telecommunications CCIS 314. 1 Aufl. Heidelberg, Berlin, London, New York: Springer, S. 156-167

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

On complexity reduction of user interfaces for safety-critical systems

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

On Complexity Reduction of User Interfaces for Safety-Critical Systems

Holzinger, A., Popova, E., Peischl, B. & Ziefle, M., 2012, G. Quirchmayr et al. (Eds.): CD-ARES 2012, LNCS 7465, FIP International Federation for Information Processing 2012. 1 Aufl. Heidelberg, Berlin, New York: Springer, S. 108-122

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschung

Open Access
Datei

On complexity reduction of user interfaces for safety‐critical systems

Holzinger, A., Popova, E., Peischl, B. & Ziefle, M., 20 Aug 2012.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

Open Access
Datei

On Using Entropy for Enhancing Handwriting Preprocessing

Holzinger, A., Stocker, C., Peischl, B. & Simonic, K-M., 2012, in : Entropy. 14, 11, S. 2324-2350

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

2011

An Abstract Operational Framework for Dependence Models in Software Debugging

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 219-227

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

Modellbasiertes Testen (MBT) in der Softwareentwicklung

Aichernig, B., Peischl, B. & Wotawa, F., 2011, in : TU Graz research. 5, S. 16-18

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

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, S. 57-61

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei
2010

Constraint-based configuration of embedded automotive software

Nica, M., Peischl, B. & Wotawa, F., 2010, in : International journal of mass customisation. 3, 4

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Generation of Executable Test Cases Based on Behavioral UML System Models

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

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, S. 14-21

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

Static- and Dynamic Cosistency Analysis of UML State Chart Models

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 122-131

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 261-274

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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). ., S. 1-6

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei

GUI Savvy End-to-End Test mit Smart Monkey

Hofer, B. G. & Peischl, B., 9 Sep 2009.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

Recommending Effort Estimation Methods for Software Project Management.

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., Band WP09-08. S. 43-52 (CTIT Workshop Proceedings Series).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei
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, S. ---

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

A Generative Constraint Model for Optimizing Software Deployment

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Integrated E/E architecture design and optimization

Watzenig, D., Peischl, B. & Sobczyk, G., 15 Apr 2008.

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

MBS 2008 - Workshop on Model-Based Systems, 18th European Conference on Artificial Intelligence (ECAI)

Peischl, B. (Hrsg.), Snooke, N. (Hrsg.), Steinbauer, G. (Hrsg.) & Witteveen, C. (Hrsg.), 2008, .

Publikation: Buch/Bericht/KonferenzbandBuch (Herausgeberwerk)Forschung

2007

Executing Abstract Test Cases

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 215-224

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 115-125

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 115-125

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2006

Abstract Dependence Models in Software Debugging

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Automated Source Level Error Localization in Hardware Designs

Wotawa, F. & Peischl, B., 2006, in : IEEE design & test of computers. 23, 1, S. 8-19

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Lightweight fault localization with abstract dependencies

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Runtime Fault Detection and Localization in Component-oriented Software Systems

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Runtime Fault Detection and Localization in Component-oriented Software Systems

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. ?-?

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 43-48

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Lightweight debugging techniques

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2004

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

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Static and Dynamic Analysis in Automated Debugging

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 161-166

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 175-180 (DX Woskshop Series).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung