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

Filter
Beitrag in einem Konferenzband
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
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

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

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

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

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

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

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

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

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. (Hrsg.). Berlin, Heidelberg: Springer, Band 2718. S. 402-415 (Lecture notes in computer science : Lecture Notes in Artificial Intelligence).

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

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). ., S. 197-210

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

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. ., Band 14. S. 181-186 (DX Workshop Series).

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