research
∙
07/31/2023
Decidable Fragments of LTLf Modulo Theories (Extended Version)
We study Linear Temporal Logic Modulo Theories over Finite Traces (LTLfM...
share
research
∙
11/30/2022
Monitoring Arithmetic Temporal Properties on Finite Traces
We study monitoring of linear-time arithmetic properties against finite ...
research
∙
06/15/2022
Conformance Checking with Uncertainty via SMT (Extended Version)
Logs of real-life processes often feature uncertainty pertaining the rec...
research
∙
05/18/2022
CTL* model checking for data-aware dynamic systems with arithmetic
The analysis of complex dynamic systems is a core research topic in form...
research
∙
03/28/2022
Soundness of Data-Aware Processes with Arithmetic Conditions
Data-aware processes represent and integrate structural and behavioural ...
research
∙
03/15/2022
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Combined modeling and verification of dynamic systems and the data they ...
research
∙
03/18/2021
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Conformance checking is a key process mining task for comparing the expe...
research
∙
12/11/2020
Runtime Complexity Analysis of Logically Constrained Rewriting
Logically constrained rewrite systems (LCTRSs) are a versatile and effic...
research
∙
02/28/2020
Tools in Term Rewriting for Education
Term rewriting is a Turing complete model of computation. When taught to...
research
∙
12/26/2019
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
These are the post-proceedings of the second ARCADE workshop, which took...
research
∙
11/15/2019
Smarter Features, Simpler Learning?
Earlier work on machine learning for automated reasoning mostly relied o...
research
∙
05/25/2018
Certified Ordered Completion
On the one hand, ordered completion is a fundamental technique in equati...
research
∙
02/23/2018