!!Research output per year
!!Research output per year
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Cristinel Mateis aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Publikationen
-
LTLGUARD: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
Andresel, M., Mateis, C. (Autor:in und Vortragende:r), Nickovic, D., Kounoupidis , S., Katsaros, P. & Tripakis , S., 2026, (Angenommen/Im Druck) 3rd International Conference on Neuro-Symbolic Systems (NeuS), University of Southern California, June 16-18, 2026.. 15 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
-
Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems
Grosse, S., Molin, A. (Autor:in und Vortragende:r), 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. (Hrsg.). S. 464-475 12 S. (Ieee International Conference On Software Testing Verification And Validation Workshops).Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
-
Learning minimal automata with recurrent neural networks
Aichernig, B. K., König, S., Mateis, C., Pferscher, A. & Tappler, M., 21 März 2024, in: Software and Systems Modeling. 23, 3, S. 625-655 31 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Mining Hyperproperties using Temporal Logics
Bartocci, E., Mateis, C., Nesterini, E. & Nickovic, D., 2023, in: Transactions on Embedded Computing Systems. 22, 5, S. 1-26 26 S., 156.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Mining Specification Parameters for Multi-class Classification
Aguilar Lozano, E. A., Bartocci, E., Mateis, C., Nesterini, E. (Vortragende:r) & Nickovic, D., 3 Okt. 2023, Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings. Katsaros, P. & Nenzi, L. (Hrsg.). Springer Nature Switzerland AG, Band 14245. S. 86-105Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Aktivitäten
- 1 Präsentation auf einer wissenschaftlichen Konferenz / Workshop
-
Mining Shape Expressions
Bartocci, E. (Autor), Deshmukh, J. V. (Autor), Gigler, F. (Autor), Mateis, C. (Autor), Nickovic, D. (Vortragender) & Qin, X. (Autor)
18 Mai 2021Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop