Fingerprint
Dive into the research topics where Cristinel Mateis is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
-
Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems
Grosse, S., Molin, A. (Author and Speaker), Nickovic, D., Gambi, A. & Mateis, C., 2025, 2025 IEEE Conference on Software Testing, Verification and Validation, ICST 2025. Fasolino, A., Panichella, S., Aleti, A. & Mesbah, A. (eds.). p. 464-475 12 p. (Ieee International Conference On Software Testing Verification And Validation Workshops).Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
Learning minimal automata with recurrent neural networks
Aichernig, B. K., König, S., Mateis, C., Pferscher, A. & Tappler, M., 21 Mar 2024, In: Software and Systems Modeling. 23, 3, p. 625-655 31 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Mining Hyperproperties using Temporal Logics
Bartocci, E., Mateis, C., Nesterini, E. & Nickovic, D., 2023, In: Transactions on Embedded Computing Systems. 22, 5, p. 1-26 26 p., 156.Research output: Contribution to journal › Article › peer-review
Open Access -
Mining Specification Parameters for Multi-class Classification
Aguilar Lozano, E. A., Bartocci, E., Mateis, C., Nesterini, E. (Speaker) & Nickovic, D., 3 Oct 2023, Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (eds.). Springer Nature Switzerland AG, Vol. 14245. p. 86-105Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
-
Constrained Training of Recurrent Neural Networks for Automata Learning
Aichernig, B. K., König, S., Mateis, C., Pferscher, A. (Speaker), Schmidt, D. & Tappler, M., 2022, Software Engineering and Formal Methods. Springer, p. 155-172 18 p.Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review
Open Access
Activities
- 1 Presentation at a scientific conference / workshop
-
Mining Shape Expressions
Bartocci, E. (Author), Deshmukh, J. V. (Author), Gigler, F. (Author), Mateis, C. (Author), Nickovic, D. (Speaker) & Qin, X. (Author)
18 May 2021Activity: Talk or presentation / Lecture › Presentation at a scientific conference / workshop