| Formal analysis of hardware requirements I Pill, S Semprini, R Cavada, M Roveri, R Bloem, A Cimatti Proceedings of the 43rd annual Design Automation Conference, 821-826, 2006 | 72 | 2006 |
| 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 | 59 | 2013 |
| Behavioral diagnosis of LTL specifications at operator level I Pill, T Quaritsch Twenty-Third International Joint Conference on Artificial Intelligence, 2013 | 44 | 2013 |
| Optimizations for the boolean approach to computing minimal hitting sets I Pill, T Quaritsch ECAI 2012, 648-653, 2012 | 43 | 2012 |
| RAT: A Tool for the Formal Analysis of Requirements: (Tool Paper) R Bloem, R Cavada, I Pill, M Roveri, A Tchaltsev Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 43 | 2007 |
| 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 | 39 | 2011 |
| 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 | 32 | 2005 |
| 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 | 28 | 2016 |
| Symbolic implementation of alternating automata R Bloem, A Cimatti, I Pill, M Roveri, S Semprini Implementation and Application of Automata: 11th International Conference …, 2006 | 25 | 2006 |
| 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 | 24 | 2011 |
| 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 | 20 | 2013 |
| Pymbd: A library of mbd algorithms and a light-weight evaluation platform T Quaritsch, I Pill Proceedings of Dx-2014, 2014 | 19 | 2014 |
| 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 | 18 | 2015 |
| AALpy: an active automata learning library E Muškardin, BK Aichernig, I Pill, A Pferscher, M Tappler Innovations in Systems and Software Engineering 18 (3), 417-426, 2022 | 16 | 2022 |
| Symbolic implementation of alternating automata B Roderick, A Cimatti, P Ingo, M Roveri International Journal of Foundations of Computer Science 18 (4), 727-743, 2007 | 15 | 2007 |
| SOA Grey Box Testing--A Constraint-Based Approach S Jehan, I Pill, F Wotawa 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 14 | 2013 |
| 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 | 14 | 2013 |
| Synthesizing adaptive test strategies from temporal logic specifications R Bloem, G Fey, F Greif, R Könighofer, I Pill, H Riener, F Röck Formal methods in system design 55, 103-135, 2019 | 13 | 2019 |
| Automated generation of (F) LTL oracles for testing and debugging I Pill, F Wotawa Journal of Systems and Software 139, 124-141, 2018 | 12 | 2018 |
| SOA testing via random paths in BPEL models S Jehan, I Pill, F Wotawa 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 10 | 2014 |
Franz WotawaProfessor of Computer Science, Graz University of Technology, AustriaVerified email at ist.tugraz.at
