Ingo Hans Pill

Dipl.-Ing. Dr.techn.

20002019
If you made any changes in Pure these will be visible here soon.

Research Output 2003 2019

Filter
Poster
2014

Functional Diagnosis of a SOA's BPEL Processes

Jehan, S., Hofer, B. G., Pill, I. H. & Wotawa, F., 2014.

Research output: Contribution to conferencePosterResearch

2013

And Yet Another Variant of Reiter's Hitting Set Algorithm

Pill, I. H. & Quaritsch, T., 2013.

Research output: Contribution to conferencePosterResearch

Behavioral Diagnosis of LTL Specifications at Operator Level

Pill, I. H. & Quaritsch, T., 2013.

Research output: Contribution to conferencePosterResearch

The Route to Success - A Performance Comparison of Diagnosis Algorithms

Nica, I-D., Pill, I. H., Quaritsch, T. & Wotawa, F., 2013.

Research output: Contribution to conferencePosterResearch

2011

From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Pill, I. H., Quaritsch, T. & Wotawa, F., 2011.

Research output: Contribution to conferencePosterResearch