Publikationen pro Jahr
Publikationen pro Jahr
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
-
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
-
Constrained Training of Recurrent Neural Networks for Automata Learning
Aichernig, B. K., König, S., Mateis, C., Pferscher, A. (Vortragende:r), Schmidt, D. & Tappler, M., 2022, Software Engineering and Formal Methods. Springer, S. 155-172 18 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Open Access -
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - A Bandgap Case Study
Bloem, R., Larrauri, A., Lengfeldner, R., Mateis, C., Nickovic, D. & Ziegler, B., 2022, Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022. Institute of Electrical and Electronics Engineers Inc., S. 21-24 4 S. (Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022).Publikation: Beitrag in Buch oder Tagungsband › Buchkapitel › 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