Projects per year
Fingerprint
- 1 Similar Profiles
Projects
- 1 Active
-
SAL-DC: Silicon Austria Labs Doctoral College
Bernhard, H., Hofbauer, C. & Pill, I.
1/01/19 → …
Project: Research
-
AALpy: An Active Automata Learning Library
Muskardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., 18 Oct 2021, (Accepted/In press) Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021: , Gold Coast, Australia, October 18-22, 2021, Proceedings.Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review
-
Active Model Learning of Stochastic Reactive Systems.
Tappler, M., Muskardin, E., Aichernig, B. & Pill, I., 2021, Software Engineering and Formal Methods : Lecture Notes in Computer Science (LNCS), volume 13085. p. 481-500 20 p.Research output: Conference proceeding/Chapter in Book/Report/ › Conference Paper › peer-review
-
Automata Learning Enabling Model-Based Diagnosis
Muskardin, E., Pill, I., Tappler, M. & Aichernig, B., 13 Sep 2021.Research output: Contribution to conference (No Proceedings) › Paper › peer-review
-
Pursuing Intelligent Behavior in Cyber−Physical Systems by Lightweight Diagnosis
Zimmermann, M., Wotawa, F. & Pill, I., 2021, (E-pub ahead of print) In: Advanced Intelligent Systems. 11 p., 2100224.Research output: Contribution to journal › Article › peer-review
-
CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems.
Muskardin, E., Pill, I. & Wotawa, F., 2020, p. 267-276.Research output: Contribution to conference (No Proceedings) › Paper › peer-review
Prizes
-
-
-
-
-
Best Paper Award SEFM'21
Tappler, M. (Recipient), Muskardin, Edi (Recipient), Aichernig, B. (Recipient) & Pill, Ingo (Recipient), 2021
Prize
-
MBD of Sequential Behavior - LTL + ...
Ingo Pill (Speaker)
10 Jan 2022Activity: Talk or presentation › Invited talk
-
32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems
Ingo Pill (Organiser), Franz Wotawa (Organiser), Gerhard Friedrich (Organiser), Roxane Koitz-Hristov (Organiser) & Moonis Ali (Organiser)
2019Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
28th International Workshop on Principles of Diagnosis
Marina Zanella (Organiser), Ingo Pill (Organiser) & Alessandro Cimatti (Organiser)
2017 → 2018Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
25th Int. Workshop on Principles of Diagnosis (2014)
Ingo Pill (Organiser) & Franz Wotawa (Organiser)
2014Activity: Participating in or organising an event › Organising a conference, workshop, ...