Kein Foto von Cristinel Mateis

Cristinel Mateis

 https://orcid.org/0000-0001-7502-0688
    • 9 Vortrag mit Beitrag in Tagungsband
    • 8 Artikel
    • 2 Beitrag in Tagungsband ohne Präsentation
    • 1 Buchkapitel
    Filter
    Vortrag mit Beitrag in Tagungsband

    Suchergebnisse

    • 2023

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

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2022

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

      Mining Shape Expressions with ShapeIt

      Bartocci, E., Deshmukh, J. V., Mateis, C., Nesterini, E. (Vortragende:r), 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

    • Sampling of Shape Expressions with ShapEx

      Basset, N., Dang, T., Gigler, F. (Vortragende:r), 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. (Hrsg.). S. 118-125 8 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

      Open Access
    • 2020

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

      Bartocci, E. (Autor:in, eingeladen), Manjunath, N. (Vortragende:r, eingeladen), Mariani, L. (Autor:in, eingeladen), Mateis, C. (Autor:in, eingeladen), Nickovic, D. (Autor:in, eingeladen) & Pastore, F. (Autor:in, eingeladen), 2020, ISSTA 2020: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. S. 569-572 4 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband

    • Weakness monitors for Fail-Aware Systems

      Granig, W. (Autor:in, eingeladen), Jaksic, S. (Vortragende:r, eingeladen), Lewitschnig, H. (Autor:in, eingeladen), Mateis, C. (Autor:in, eingeladen) & Nickovic, D. (Autor:in, eingeladen), 2020, 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings. Springer, S. 283-301 19 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2019

      Automatic Failure Explanation in CPS Models

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

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • Shape Expressions for Specifying and Extracting Signal Features

      Nickovic, D. (Vortragende:r, eingeladen), Qin, X. (Autor:in, eingeladen), Ferrère, T. (Autor:in, eingeladen), Mateis, C. (Autor:in, eingeladen) & Deshmukh, J. V. (Autor:in, eingeladen), 2019, Runtime verification - 19th International Conference, RV 2019, Porto, Portugal, Octiber 8-11, 2019, Proceedings. S. 292-309 18 S.

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

    • 2017

      Exponential pattern recognition for deriving air change rates from CO2 data

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

      Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung