Cristinel Mateis

According to our database, Cristinel Mateis authored at least 30 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Mining Hyperproperties using Temporal Logics.

Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic

ACM Trans. Embed. Comput. Syst., October, 2023

Mining Specification Parameters for Multi-class Classification.

Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic

Proceedings of the Runtime Verification - 23rd International Conference, 2023

2022

Survey on mining signal temporal logic specifications.

Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic

Inf. Comput., 2022

Constrained Training of Recurrent Neural Networks for Automata Learning.

Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study.

Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2022

2021

Specifying and detecting temporal patterns with shape expressions.

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh

Int. J. Softw. Tools Technol. Transf., 2021

CPSDebug: Automatic failure explanation in CPS models.

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

Int. J. Softw. Tools Technol. Transf., 2021

Sampling of Shape Expressions.

Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic

CoRR, 2021

Mining Shape Expressions with ShapeIt.

Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Sampling of shape expressions with ShapEx.

Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

2020

Mining Shape Expressions From Positive Examples.

Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

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

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Weakness Monitors for Fail-Aware Systems.

Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Learning and statistical model checking of system response times.

Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi

Softw. Qual. J., 2019

Automatic Failure Explanation in CPS Models.

Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Shape Expressions for Specifying and Extracting Signal Features.

Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh

Proceedings of the Runtime Verification - 19th International Conference, 2019

2017

Exponential pattern recognition for deriving air change rates from CO2 data.

Florian Wenig, Peter Klanatsky, Christian Heschl, Cristinel Mateis, Dejan Nickovic

Proceedings of the 26th IEEE International Symposium on Industrial Electronics, 2017

2000

Quantitative Disjunctive Logic Programming: Semantics and Computation.

Cristinel Mateis

AI Commun., 2000

Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project.

Cristinel Mateis, Markus Stumptner, Franz Wotawa

Proceedings of the Intelligent Problem Solving, 2000

JADE - AI Support for Debugging Java Programs.

Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Modeling Java Programs for Diagnosis.

Cristinel Mateis, Markus Stumptner, Franz Wotawa

Proceedings of the ECAI 2000, 2000

Model-Based Debugging of Java Programs.

Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1999

Extending Disjunctive Logic Programming by T-norms.

Cristinel Mateis

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1998

The KR System dlv: Progress Report, Comparisons and Benchmarks.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Progress Report on the Disjunctive Deductive Database System <tt>dlv</tt>.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

1997

The dlv System: Model Generator and Advanced Frontends (system description).

Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the Twelfth Workshop Logic Programming, 1997

A Deductive System for Non-Monotonic Reasoning.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

The Architecture of a Disjunctive Deductive Database System.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Unification of Bounded Simple Set Terms in Deductive Databases.

Sergio Greco, Cristinel Mateis, Eugenio Spadafora

Proceedings of the Logic in Databases, 1996

The Complexity of Weak Unification of Bounded Simple Set Terms.

Sergio Greco, Cristinel Mateis, Eugenio Spadafora

Proceedings of the Database and Expert Systems Applications, 7th International Conference, 1996