Research output per year
Research output per year
- 12 results
Search results
-
2015
BPEL Integration Testing
Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Accepted/In press) International Conference on Fundamental Approaches to Software Engineering. .Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Focussed Diagnosis for Failing Software Tests
Jehan, S., Pill, I. H., Hofer, B. G. & Wotawa, F., 2015, IEA/AIE 2015. ., p. 712-721Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Parse Tree Structure in LTL Requirements Diagnosis
Pill, I. H., Quaritsch, T. & Wotawa, F., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 100-107Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm
Pill, I. H. & Quaritsch, T., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 78-84Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Testing Diagnostics Components Supervising Functional Safety Requirements
Nica, M., Pill, I. H. & Wotawa, F., 2015, Proceedings of the Annual Conference of the Prognostics and Health Management Society 2015. ., p. 150-157Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
2012
An LTL SAT Encoding for Behavioral Diagnosis
Pill, I. H. & Quaritsch, T., 2012, Proceedings of the 23rd International Workshop on Principles of Diagnosis. p. 67-74Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Optimizations for the Boolean Approach to Computing Minimal Hitting Sets
Pill, I. H. & Quaritsch, T., 2012, ECAI 2012 - 20th European Conference on Artificial Intelligence: 27–31 August 2012, Montpellier, France – Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track. Raedt, L. D. (ed.). Amsterdam: IOS Press, p. 648-653 (Frontiers in Artificial Intelligence and Applications; vol. 242).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
2011
Belief Management for Autonomous Robots using History-Based Diagnosis
Gspandl, S., Pill, I. H., Reip, M. & Steinbauer, G., 2011, (Accepted/In press) International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. .Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Belief Management for High-Level Robot Programs
Gspandl, S., Pill, I. H., Reip, M., Steinbauer, G. & Ferrein, A., 2011, (Accepted/In press) International Joint Conference on Artificial Intelligence. .Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms
Pill, I. H., Quaritsch, T. & Wotawa, F., 2011, 22nd International Workshop on Principles of Diagnosis. p. 203-210Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
2010
On Classification and Modeling Issues in Distributed Model‐based Diagnosis
Wotawa, F. & Pill, I. H., 2010, Proceedings of the ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET). ., p. 27-32Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
2009
A Practical Approach for the Online Diagnosis of Industrial Transportation Systems
Pill, I. H., Steinbauer, G. & Wotawa, F., 2009, IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes. ., p. 1318-1323Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review