Cristinel Mateis

Search results

• 2023

  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

  • Temporal Logic 100%
  • Formal Specification 33%
  • Security Policy 33%
  • Specification Mining 33%
  • Embedded Knowledge 33%

• 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

  • Specification Mining 100%
  • Multi Class Classification 100%
  • Multiclass Classification 100%
  • Case Study 100%
  • Application Domain 100%
• 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

• 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., p. 21-24 4 p. (Proceedings - 2022 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2022).

  Research output: Chapter in Book or Conference Proceedings › Book chapter › peer-review

  • Case Study 100%
  • Learning System 100%
  • Neural Network 100%
  • Machine Learning 50%
  • Development Stage 50%

• Survey on mining signal temporal logic specifications

  Bartocci, E., Mateis, C., Nesterini, E. & Nickovic, D., 2022, In: Quantum Information & Computation. 289, p. 1-21 21 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access
• 2021

  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, p. 783-796 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• 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

• Specifying and Detecting Temporal Patterns with Shape Expressions

  Nickovic, D., Qin, X., Ferrère, T., Mateis, C. & Deshmukh, J. V., 2021, In: International Journal on Software Tools for Technology Transfer. 23, 4, p. 565-577 13 p.

  Research output: Contribution to journal › Article › 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

• Mining Shape Expressions From Positive Examples

  Bartocci, E., Deshmukh, J. V., Gigler, F., Mateis, C. & Nickovic, D., 2020, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39, 11, p. 3809-3820 12 p.

  Research output: Contribution to journal › Article › peer-review

• 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

  Artificial Intelligence Landscape - An Introduction in Technology Fields & Research Areas

  Leopold, H., Krenn, W., Mateis, C. & King, R. C., 2019, Artificial Intelligence Landscape - An Introduction in Technology Fields & Research Areas. p. 14 1 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings without Presentation

• 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

• Künstliche Intelligenz - eine Einführung in Technologiefelder & Forschungsbereiche

  Leopold, H., Krenn, W., King, R. C. & Mateis, C., 2019, Künstliche Intelligenz - eine Einführung in Technologiefelder & Forschungsbereiche. p. 1-17 17 p.

  Research output: Chapter in Book or Conference Proceedings › Conference Proceedings without Presentation

• Learning and statistical model checking of system response times

  Aichernig, B., Bauerstätter, P., Jöbstl, E., Kann, S., Korosec, R., Krenn, W., Mateis, C., Schlick, R. & Schumi, R., 2019, In: Software Quality Journal. 27, p. 757-795 39 p.

  Research output: Contribution to journal › Article › 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