Skip to main navigation Skip to search Skip to main content
No photo of Cristinel Mateis

Cristinel Mateis

 https://orcid.org/0000-0001-7502-0688

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
View full fingerprint
  • 11 Conference Proceedings with Oral Presentation
  • 8 Article
  • 2 Conference Proceedings without Presentation
  • 1 Book chapter

  • LTLGUARD: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning

    Andresel, M., Mateis, C. (Author and Speaker), Nickovic, D., Kounoupidis , S., Katsaros, P. & Tripakis , S., 2026, (Accepted/In press) 3rd International Conference on Neuro-Symbolic Systems (NeuS), University of Southern California, June 16-18, 2026.. 15 p.

    Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

  • 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-105

    Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

View all 22 research outputs
  • 1 Presentation at a scientific conference / workshop