Cristinel Mateis

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 20

Top Topics

Ordinal Classification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
Learning minimal automata with recurrent neural networks. Softw. Syst. Model. 23 (3) (2024)
Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Specification Parameters for Multi-class Classification. RV (2023)
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Hyperproperties using Temporal Logics. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler
Constrained Training of Recurrent Neural Networks for Automata Learning. SEFM (2022)
Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study. CODES+ISSS (2022)
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Survey on mining signal temporal logic specifications. Inf. Comput. 289 (Part) (2022)
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
Sampling of shape expressions with ShapEx. MEMOCODE (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. CoRR (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. SEFM (2021)
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
Sampling of Shape Expressions. CoRR (2021)
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
Specifying and detecting temporal patterns with shape expressions. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic
Weakness Monitors for Fail-Aware Systems. FORMATS (2020)
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin
Mining Shape Expressions From Positive Examples. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA (2020)
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
Learning and statistical model checking of system response times. Softw. Qual. J. 27 (2) (2019)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. CoRR (2019)
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh
Shape Expressions for Specifying and Extracting Signal Features. RV (2019)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. SEFM (2019)
Florian Wenig, Peter Klanatsky, Christian Heschl, Cristinel Mateis, Dejan Nickovic
Exponential pattern recognition for deriving air change rates from CO2 data. ISIE (2017)
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
JADE - AI Support for Debugging Java Programs. ICTAI (2000)
Cristinel Mateis, Markus Stumptner, Franz Wotawa
Modeling Java Programs for Diagnosis. ECAI (2000)
Cristinel Mateis
Quantitative Disjunctive Logic Programming: Semantics and Computation. AI Commun. 13 (4) (2000)
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
Model-Based Debugging of Java Programs. AADEBUG (2000)
Cristinel Mateis, Markus Stumptner, Franz Wotawa
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. IEA/AIE (2000)
Cristinel Mateis
Extending Disjunctive Logic Programming by T-norms. LPNMR (1999)
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
. FQAS (1998)
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
The KR System dlv: Progress Report, Comparisons and Benchmarks. KR (1998)
Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
The dlv System: Model Generator and Advanced Frontends (system description). WLP (1997)
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
A Deductive System for Non-Monotonic Reasoning. LPNMR (1997)
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
The Architecture of a Disjunctive Deductive Database System. APPIA-GULP-PRODE (1997)
Sergio Greco, Cristinel Mateis, Eugenio Spadafora
Unification of Bounded Simple Set Terms in Deductive Databases. Logic in Databases (1996)
Sergio Greco, Cristinel Mateis, Eugenio Spadafora
The Complexity of Weak Unification of Bounded Simple Set Terms. DEXA (1996)