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
-
Constrained Training of Recurrent Neural Networks for Automata Learning
Aichernig, B. K., König, S., Mateis, C., Pferscher, A., 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
-
Survey on mining signal temporal logic specifications
Bartocci, E., Mateis, C., Nesterini, E. & Nickovic, D., 2022, in: Quantum Information & Computation. 289, S. 1-21 21 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
CPSDebug: Automatic failure explanation in CPS models
Bartocci, E., Manjunath, N., Mariani, L., Mateis, C. & Nickovic, D., 2021, in: International Journal on Software Tools for Technology Transfer. 23, S. 783-796 14 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Mining Shape Expressions with ShapeIt
Bartocci, E., Deshmukh, J. V., Mateis, C., Nesterini, E., Nickovic, D. & Qin, X., 2021, Proceedings of 19th International Conference on Software Engineering and Formal Methods. Springer Nature, S. 110-117 8 S.Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung
Open Access
Aktivitäten
- 1 Vortrag ohne Tagungsband
-
Mining Shape Expressions
Ezio Bartocci (Autor), Jyotirmoy V. Deshmukh (Autor), Felix Gigler (Autor), Cristinel Mateis (Autor), Dejan Nickovic (Vortragender) & Xin Qin (Autor)
18 Mai 2021Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vortrag ohne Tagungsband