- 12 Ergebnisse
Suchergebnisse
-
2015
BPEL Integration Testing
Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Angenommen/In Druck) International Conference on Fundamental Approaches to Software Engineering. .Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Focussed Diagnosis for Failing Software Tests
Jehan, S., Pill, I. H., Hofer, B. G. & Wotawa, F., 2015, IEA/AIE 2015. ., S. 712-721Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Parse Tree Structure in LTL Requirements Diagnosis
Pill, I. H., Quaritsch, T. & Wotawa, F., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., S. 100-107Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. ., S. 78-84Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. ., S. 150-157Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2012
An LTL SAT Encoding for Behavioral Diagnosis
Pill, I. H. & Quaritsch, T., 2012, Proceedings of the 23rd International Workshop on Principles of Diagnosis. S. 67-74Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. (Hrsg.). Amsterdam: IOS Press, S. 648-653 (Frontiers in Artificial Intelligence and Applications; Band 242).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
2011
Belief Management for Autonomous Robots using History-Based Diagnosis
Gspandl, S., Pill, I. H., Reip, M. & Steinbauer, G., 2011, (Angenommen/In Druck) International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. .Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Belief Management for High-Level Robot Programs
Gspandl, S., Pill, I. H., Reip, M., Steinbauer, G. & Ferrein, A., 2011, (Angenommen/In Druck) International Joint Conference on Artificial Intelligence. .Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. S. 203-210Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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). ., S. 27-32Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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. ., S. 1318-1323Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung