Concepedia

Ingo Pill

IP

16

Publications

398

Citations

12

H-Index

2006

Active since

Affiliations

Graz University of Technology(Current)

Fondazione Bruno Kessler

Construction Technologies Institute

Ingo Pill is an author at Graz University of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal VerificationSystems EngineeringFormal MethodsSoftware AnalysisVerificationProgram AnalysisSoftware TestingAutomated Reasoning

Publications per year

2006–2022

16

Publications

16

28th International Workshop on Principles of Diagnosis (DX'17)

Marina Zanella, Ingo Pill, Alessandro Cimatti · 2018 · 57 citations

Medical Imaging, Differential Diagnosis, International Workshop +6

Formal analysis of hardware requirements

Ingo Pill, S. Semprini, Roberto Cavada et al. · 2006 · 52 citations

Hardware Modeling, Engineering, Hardware Verification Language +22

AALpy: an active automata learning library

Edi Muškardin, Bernhard K. Aichernig, Ingo Pill et al. · Innovations in Systems and Software Engineering · 2022 · 48 citations · Full text

Artificial Intelligence, Engineering, Complex Systems +17

The route to success: a performance comparison of diagnosis algorithms

Iulia Nica, Ingo Pill, Thomas Quaritsch et al. · International Joint Conference on Artificial Intelligence · 2013 · 44 citations

Artificial Intelligence, Engineering, Intelligent Diagnostics +26

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models

Ingo Pill, Ivan Rubil, Franz Wotawa et al. · 2016 · 27 citations

Engineering, Mutation Testing, Verification +19

Rows per page

1–5 of 16