Ingo Pill
Ingo Pill
Silicon Austria Labs GmbH, Inffeldgasse 33, 8010 Graz
Zweryfikowany adres z silicon-austria.com
Tytuł
Cytowane przez
Cytowane przez
Rok
Formal analysis of hardware requirements
I Pill, S Semprini, R Cavada, M Rovers, R Bloem, A Cimatti
2006 43rd ACM/IEEE Design Automation Conference, 821-826, 2006
682006
The route to success—A performance comparison of diagnosis algorithms
I Nica, I Pill, T Quaritsch, F Wotawa
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
552013
RAT: A tool for the formal analysis of requirements
R Bloem, R Cavada, I Pill, M Roveri, A Tchaltsev
International Conference on Computer Aided Verification, 263-267, 2007
422007
Behavioral diagnosis of LTL specifications at operator level
I Pill, T Quaritsch
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
392013
Belief management for high-level robot programs
S Gspandl, I Pill, M Reip, G Steinbauer, A Ferrein
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
372011
Optimizations for the boolean approach to computing minimal hitting sets
I Pill, T Quaritsch
ECAI 2012, 648-653, 2012
352012
Automata construction algorithms optimized for PSL
S Ben-David, R Bloem, D Fisman, A Griesmayer, I Pill, S Ruah
Property-Based System Design (PROSYD), Deliverable 3.2 4, 2005
312005
Symbolic implementation of alternating automata
R Bloem, A Cimatti, I Pill, M Roveri, S Semprini
International Conference on Implementation and Application of Automata, 208-218, 2006
232006
From conflicts to diagnoses: An empirical evaluation of minimal hitting set algorithms
I Pill, T Quaritsch, F Wotawa
22nd Int. Workshop on the Principles of Diagnosis, 203-210, 2011
222011
Functional SOA testing based on constraints
S Jehan, I Pill, F Wotawa
2013 8th International Workshop on Automation of Software Test (AST), 33-39, 2013
192013
Simultate: A toolset for fault injection and mutation testing of simulink models
I Pill, I Rubil, F Wotawa, M Nica
2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016
182016
Pymbd: A library of mbd algorithms and a light-weight evaluation platform
T Quaritsch, I Pill
Proceedings of Dx-2014, 2014
182014
Symbolic implementation of alternating automata
B Roderick, A Cimatti, P Ingo, M Roveri
World Scientific Publishing 18 (4), 727-743, 2007
182007
RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm
I Pill, T Quaritsch
2015 IEEE International Symposium on Software Reliability Engineering …, 2015
142015
SOA Grey Box Testing--A Constraint-Based Approach
S Jehan, I Pill, F Wotawa
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
142013
Fifty shades of grey in SOA testing
F Wotawa, M Schulz, I Pill, S Jehan, P Leitner, W Hummer, S Schulte, ...
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
142013
Automated generation of (F) LTL oracles for testing and debugging
I Pill, F Wotawa
Journal of Systems and Software 139, 124-141, 2018
122018
SOA testing via random paths in BPEL models
S Jehan, I Pill, F Wotawa
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
102014
Exploiting observations from combinatorial testing for diagnostic reasoning
I Pill, F Wotawa
International Workshop on Principles of Diagnosis (DX), 2019
82019
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation.
I Pill, F Wotawa
DX@ Safeprocess, 2018
82018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20