Search Results - "Pill, Ingo"

Editorial “special issue on artificial intelligence in practice – from theory to application” by Ali, Moonis, Friedrich, Gerhard, Pill, Ingo, Wotawa, Franz

Get full text

AALpy: an active automata learning library by Muškardin, Edi, Aichernig, Bernhard K., Pill, Ingo, Pferscher, Andrea, Tappler, Martin

“…AALpy is an extensible open-source Python library providing efficient implementations of active automata learning algorithms for deterministic,…”
Get full text

Pursuing Intelligent Behavior in Cyber−Physical Systems by Lightweight Diagnosis by Zimmermann, Martin, Wotawa, Franz, Pill, Ingo

“…Intelligence in its decisions is a trait that people have grown to expect from a cyber−physical system, in particular that it makes the right choices at…”
Get full text

On the Practical Performance of Minimal Hitting Set Algorithms from a Diagnostic Perspective by Pill, Ingo, Quaritsch, Thomas, Wotawa, Franz

“…Minimal hitting sets (MHSs) meliorate our reasoning in many applications, including AI planning, CNF/DNF conversion, and program debugging. When following…”
Get full text

Automated generation of (F)LTL oracles for testing and debugging by Pill, Ingo, Wotawa, Franz

“…•Generate FLTL test oracles automatically.•Test oracle provides also diagnostic information on subformulae.•Polynomial SAT encoding.•Open-source Python…”
Get full text

Active model learning of stochastic reactive systems (extended version) by Muškardin, Edi, Tappler, Martin, Aichernig, Bernhard K., Pill, Ingo

“…Black-box systems are inherently hard to verify. Many verification techniques, like model checking, require formal models as a basis. However, such models…”
Get full text

Extracting Knowledge using Machine Learning for Anomaly Detection and Root-Cause Diagnosis by Moddemann, Lukas, Steude, Henrik Sebastian, Diedrich, Alexander, Pill, Ingo, Niggemann, Oliver

“…Root-cause diagnosis techniques, such as consistency-based and abductive diagnosis, offer essential support in explaining symptoms in a cyber-physical system…”
Get full text

Synthesizing adaptive test strategies from temporal logic specifications by Bloem, Roderick, Fey, Goerschwin, Greif, Fabian, Könighofer, Robert, Pill, Ingo, Riener, Heinz, Röck, Franz

“…Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet…”
Get full text

Extending Automated FLTL Test Oracles with Diagnostic Support by Pill, Ingo, Wotawa, Franz

“…Testing is a versatile and in practice also dominant technique when it comes to verifying whether a system meets our expectations. After executing a test case,…”
Get full text

Spectrum-Based Fault Localization for Logic-Based Reasoning by Pill, Ingo, Wotawa, Franz

“…When obtaining a full-fledged model for diagnostic and debugging purposes is out of reach, abstract logic models might allow us to fall back to abductive…”
Get full text

Reinforcement Learning under Partial Observability Guided by Learned Environment Models by Muskardin, Edi, Tappler, Martin, Aichernig, Bernhard K, Pill, Ingo

“…In practical applications, we can rarely assume full observability of a system's environment, despite such knowledge being important for determining a reactive…”
Get full text

An Automated (F) LTL Test Oracle for Testing with Requirements by Pill, Ingo, Wotawa, Franz

“…Especially for safety-critical systems, we might want to express desired system properties in precise formal requirements. Verifying that a system then adheres…”
Get full text

RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm by Pill, Ingo, Quaritsch, Thomas

“…For a wide selection of problems, characterizing them as a group of sets allows us to derive desired solutions by computing their minimal hitting sets. For his…”
Get full text

On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth by Muškardin, Edi, Tappler, Martin, Pill, Ingo, Aichernig, Bernhard K, Pock, Thomas

“…We examine the assumption that the hidden-state vectors of recurrent neural networks (RNNs) tend to form clusters of semantically similar vectors, which we dub…”
Get full text

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models by Pill, Ingo, Rubil, Ivan, Wotawa, Franz, Nica, Mihai

“…The advantages of fault injection techniques and related methodologies like mutation testing have been gaining in attention also from industry, as is evident…”
Get full text

Synthesizing adaptive test strategies from temporal logic specifications by Bloem, Roderick, Konighofer, Robert, Pill, Ingo, Rock, Franz

“…Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet…”
Get full text

Parse tree structure in LTL requirements diagnosis by Pill, Ingo, Quaritsch, Thomas, Wotawa, Franz

“…Automated assistance in ensuring a product's reliability and functional correctness is certainly a powerful asset, but also requires us to express our…”
Get full text

Functional SOA testing based on constraints by Jehan, Seema, Pill, Ingo, Wotawa, Franz

“…In the fierce competition on today's software market, Service-Oriented Architectures (SOAs) are an established design paradigm. Essential concepts like…”
Get full text

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications by Bloem, Roderick, Fey, Goerschwin, Greif, Fabian, Koenighofer, Robert, Pill, Ingo, Riener, Heinz, Roeck, Franz

“…Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet…”
Get full text

SOA Testing via Random Paths in BPEL Models by Jehan, Seema, Pill, Ingo, Wotawa, Franz

“…Service oriented architectures (SOAs) allow for interesting and flexible software designs for complex problems. Such complex designs, however, require us to…”
Get full text