Cristinel Mateis

38 papers A* 1A 3B 8C 4Misc 1Journal 14Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Declarative Scenario-based Testing with RoadLogic.
CoRR
Ezio Bartocci, Alessio Gambi, Felix Gigler, Cristinel Mateis, Dejan Nickovic
2026 J jnl
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning.
CoRR
Medina Andresel, Cristinel Mateis, Dejan Nickovic, Spyridon Kounoupidis, Panagiotis Katsaros, Stavros Tripakis
2025 — conf
From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis.
ASAIL@ICAIL
Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni
2025 J jnl
From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis.
CoRR
Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni
2025 A conf
Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems.
ICST
Selma Grosse, Adam Molin, Dejan Nickovic, Alessio Gambi, Cristinel Mateis
2024 J jnl
Learning minimal automata with recurrent neural networks.
Softw. Syst. Model.
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
2023 J jnl
Mining Hyperproperties using Temporal Logics.
ACM Trans. Embed. Comput. Syst.
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2023 B conf
Mining Specification Parameters for Multi-class Classification.
RV
Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2022 B conf
Constrained Training of Recurrent Neural Networks for Automata Learning.
SEFM
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler
2022 Misc conf
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget - a Bandgap Case Study.
CODES+ISSS
Roderick Bloem, Alberto Larrauri, Roland Lengfeldner, Cristinel Mateis, Dejan Nickovic, Björn Ziegler
2022 J jnl
Survey on mining signal temporal logic specifications.
Inf. Comput.
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
2021 J jnl
CPSDebug: Automatic failure explanation in CPS models.
Int. J. Softw. Tools Technol. Transf.
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2021 B conf
Mining Shape Expressions with ShapeIt.
SEFM
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
2021 J jnl
Mining Shape Expressions with ShapeIt.
CoRR
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
2021 J jnl
Sampling of Shape Expressions.
CoRR
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
2021 C conf
Sampling of shape expressions with ShapEx.
MEMOCODE
Nicolas Basset, Thao Dang, Felix Gigler, Cristinel Mateis, Dejan Nickovic
2021 J jnl
Specifying and detecting temporal patterns with shape expressions.
Int. J. Softw. Tools Technol. Transf.
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
2020 A conf
CPSDebug: a tool for explanation of failures in cyber-physical systems.
ISSTA
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
2020 J jnl
Mining Shape Expressions From Positive Examples.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin
2020 — conf
Weakness Monitors for Fail-Aware Systems.
FORMATS
Wolfgang Granig, Stefan Jaksic, Horst Lewitschnig, Cristinel Mateis, Dejan Nickovic
2019 B conf
Automatic Failure Explanation in CPS Models.
SEFM
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2019 J jnl
Automatic Failure Explanation in CPS Models.
CoRR
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
2019 J jnl
Learning and statistical model checking of system response times.
Softw. Qual. J.
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
2019 B conf
Shape Expressions for Specifying and Extracting Signal Features.
RV
Dejan Nickovic, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy V. Deshmukh
2017 — conf
Exponential pattern recognition for deriving air change rates from CO2 data.
ISIE
Florian Wenig, Peter Klanatsky, Christian Heschl, Cristinel Mateis, Dejan Nickovic
2000 B conf
JADE - AI Support for Debugging Java Programs.
ICTAI
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
2000 C conf
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project.
IEA/AIE
Cristinel Mateis, Markus Stumptner, Franz Wotawa
2000 — conf
Model-Based Debugging of Java Programs.
AADEBUG
Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
2000 A conf
Modeling Java Programs for Diagnosis.
ECAI
Cristinel Mateis, Markus Stumptner, Franz Wotawa
2000 J jnl
Quantitative Disjunctive Logic Programming: Semantics and Computation.
AI Commun.
Cristinel Mateis
1999 B conf
Extending Disjunctive Logic Programming by T-norms.
LPNMR
Cristinel Mateis
1998 C conf
Progress Report on the Disjunctive Deductive Database System
FQAS
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1998 A* conf
The KR System dlv: Progress Report, Comparisons and Benchmarks.
KR
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 B conf
A Deductive System for Non-Monotonic Reasoning.
LPNMR
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 — conf
The Architecture of a Disjunctive Deductive Database System.
APPIA-GULP-PRODE
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997 — conf
The dlv System: Model Generator and Advanced Frontends (system description).
WLP
Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1996 C conf
The Complexity of Weak Unification of Bounded Simple Set Terms.
DEXA
Sergio Greco, Cristinel Mateis, Eugenio Spadafora
1996 — conf
Unification of Bounded Simple Set Terms in Deductive Databases.
Logic in Databases
Sergio Greco, Cristinel Mateis, Eugenio Spadafora