| 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 | 108 | 2022 |
| 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 | 79 | 2006 |
| The Route to Success-A Performance Comparison of Diagnosis Algorithms. I Nica, I Pill, T Quaritsch, F Wotawa IJCAI 13, 1039-1045, 2013 | 74 | 2013 |
| Behavioral Diagnosis of LTL Specifications at Operator Level. I Pill, T Quaritsch IJCAI, 1053-1059, 2013 | 56 | 2013 |
| RAT: A Tool for the Formal Analysis of Requirements: (Tool Paper) R Bloem, R Cavada, I Pill, M Roveri, A Tchaltsev International Conference on Computer Aided Verification, 263-267, 2007 | 45 | 2007 |
| 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 | 44 | 2016 |
| Optimizations for the boolean approach to computing minimal hitting sets I Pill, T Quaritsch ECAI 2012, 648-653, 2012 | 40 | 2012 |
| Belief management for high-level robot programs S Gspandl, I Pill, M Reip, G Steinbauer, A Ferrein IJCAI Proceedings-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 | 33 | 2005 |
| 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 | 27 | 2015 |
| 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 | 22 | 2011 |
| 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 | 22 | 2006 |
| Efficient model-based diagnosis of sequential circuits A Feldman, I Pill, F Wotawa, I Matei, J De Kleer Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2814-2821, 2020 | 21 | 2020 |
| Learning finite state models from recurrent neural networks E Muškardin, BK Aichernig, I Pill, M Tappler International Conference on Integrated Formal Methods, 229-248, 2022 | 20 | 2022 |
| Pymbd: A library of mbd algorithms and a light-weight evaluation platform T Quaritsch, I Pill Proceedings of Dx-2014, 2014 | 20 | 2014 |
| 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 |
| 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 (2), 103-135, 2019 | 19 | 2019 |
| Active model learning of stochastic reactive systems M Tappler, E Muškardin, BK Aichernig, I Pill International Conference on Software Engineering and Formal Methods, 481-500, 2021 | 17 | 2021 |
| Automated generation of (F) LTL oracles for testing and debugging I Pill, F Wotawa Journal of Systems and Software 139, 124-141, 2018 | 17 | 2018 |
| Reinforcement learning under partial observability guided by learned environment models E Muškardin, M Tappler, BK Aichernig, I Pill International Conference on Integrated Formal Methods, 257-276, 2023 | 16 | 2023 |
Franz WotawaProfessor of Computer Science, Graz University of Technology, AustriaVerified email at ist.tugraz.at
