No photo of Cristinel Mateis

Cristinel Mateis

 https://orcid.org/0000-0001-7502-0688
    • 9 Conference Proceedings with Oral Presentation
    • 8 Article
    • 2 Conference Proceedings without Presentation
    • 1 Book chapter
    Filter
    Conference Proceedings with Oral Presentation

    Search results

    • 2023

      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

    • 2022

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

      Mining Shape Expressions with ShapeIt

      Bartocci, E., Deshmukh, J. V., Mateis, C., Nesterini, E. (Speaker), Nickovic, D. & Qin, X., 2021, Proceedings of 19th International Conference on Software Engineering and Formal Methods. Springer Nature, p. 110-117 8 p.

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

      Open Access

    • Sampling of Shape Expressions with ShapEx

      Basset, N., Dang, T., Gigler, F. (Speaker), Mateis, C. & Nickovic, D., 2021, Proceedings of 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. Arun-Kumar, S., Mery, D., Saha, I. & Zhang, L. (eds.). p. 118-125 8 p.

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

      Open Access
    • 2020

      CPSDebug: a tool for explanation of failures in cyber-physical systems

      Bartocci, E. (Author, Invited), Manjunath, N. (Speaker, Invited), Mariani, L. (Author, Invited), Mateis, C. (Author, Invited), Nickovic, D. (Author, Invited) & Pastore, F. (Author, Invited), 2020, ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. p. 569-572 4 p.

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

    • Weakness monitors for Fail-Aware Systems

      Granig, W. (Author, Invited), Jaksic, S. (Speaker, Invited), Lewitschnig, H. (Author, Invited), Mateis, C. (Author, Invited) & Nickovic, D. (Author, Invited), 2020, 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Springer, p. 283-301 19 p.

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

    • 2019

      Automatic Failure Explanation in CPS Models

      Bartocci, E., Manjunath, N. (Speaker), Mariani, L., Mateis, C. & Nickovic, D., 2019, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. p. 69-85 17 p.

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

    • Shape Expressions for Specifying and Extracting Signal Features

      Nickovic, D. (Speaker, Invited), Qin, X. (Author, Invited), Ferrère, T. (Author, Invited), Mateis, C. (Author, Invited) & Deshmukh, J. V. (Author, Invited), 2019, Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings. p. 292-309 18 p.

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

    • 2017

      Exponential pattern recognition for deriving air change rates from CO2 data

      Heschl, C., Klanatsky, P., Mateis, C., Nickovic, D. & Wenig, F. (Speaker), 2017, 2017 IEEE 26th International Symposium on Industrial Electronics (ISIE). p. 1507-1512 6 p.

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