List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets Fundamenta Informaticae | 2024-10-22 | Paper |
| Symbolic observation graph-based generation of test paths | 2023-12-12 | Paper |
| Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving | 2023-11-16 | Paper |
| Session-based concurrency, reactively Formal Techniques for Distributed Objects, Components, and Systems | 2022-06-15 | Paper |
| Iterative bounded synthesis for efficient cycle detection in parametric timed automata | 2021-08-04 | Paper |
| A symbolic model for timed concurrent constraint programming | 2016-08-01 | Paper |
| Foundations for reliable and flexible interactive multimedia scores Mathematics and Computation in Music | 2015-08-20 | Paper |
Research outcomes over time
This page was built for person: Jaime Arias
