1. Aichernig, B. K., Bauerstätter, P., Jöbstl, E., Kann, S., Korosec, R., Krenn, W., Mateis, C., Schlick, R., & Schumi, R. (2019). Learning and statistical model checking of system response times. Software Quality Journal, 27(2), 757–795.
2. AIM. (2018). Artificial Intelligence Mission Austria (AIM AT) 2030—Die Zukunft der Künstlichen Intelligenz in Österreich gestalten. Bundesministerium für Verkehr, Innovation und Technologie (BMVIT) und Bundesministerium für Digitalisierung und Wirtschaftsstandort (BMDW), Wien. https://www.bmk.gv.at/themen/innovation/publikationen/ikt/ai/aimat.html. Last access 19 Nov 2021.
3. Bartocci, E., Deshmukh, J., Gigler, F., Mateis, C., Ničković, D, & Qin, X. (2020, September 20–25). Mining shape expressions from positive examples. In International conference on embedded software (EMSOFT), Hamburg, Germany.
4. Bartocci, E., Ferrère, T., Manjunath, N., & Ničković, D. (2018, April). Localizing faults in Simulink/Stateflow models with STL. In Proceedings of the 21st international conference on hybrid systems: Computation and control HSCC ‘18, part of CPS Week (pp. 197–206). https://doi.org/10.1145/3178126.3178131. Last access 19 Nov 2021.
5. Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., & Nickovic, D. (2019) Automatic failure explanation in CPS models. In SEFM 2019 (pp. 69–86).