CM
Cristinel Mateis
cs.LOcs.SEcs.AIcs.CYcs.CLcs.FL
On Valency
published · living versionsW_wdqhkpst·v1 · currentpublished
Formal Specifications with Data-Driven Signal Analysis
with Roderick Bloem, Benedikt Maderbacher, Dejan Ničković, Sergii Tkachov +1
1 version
Preprints & journals
6 papers in the corpus · 2019–2026Declarative Scenario-based Testing with RoadLogic2603.09455v2 · Ezio Bartocci, Alessio Gambi, Felix Gigler et al.2026 · 0 citationsarXiv
LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning2603.05728v1 · Medina Andresel, Cristinel Mateis, Dejan Nickovic et al.2026 · 0 citationsarXiv
Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs2506.08899v3 · Elias Horner, Cristinel Mateis, Guido Governatori et al.2025 · 1 citationarXiv
Mining Shape Expressions with ShapeIt2109.11999v2 · Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis et al.2021 · 7 citationsarXiv
Sampling of Shape Expressions2106.11041v1 · Nicolas Basset, Thao Dang, Felix Gigler et al.2021 · 0 citationsarXiv
Automatic Failure Explanation in CPS Models1903.12468v1 · Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani et al.2019 · 29 citationsarXiv
Career total: 54 works. 6 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.