Jaime Arias

From MaRDI portal
Person:530857

Available identifiers

zbMath Open arias.jaimeMaRDI QIDQ530857

List of research outcomes





PublicationDate of PublicationType
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets2024-10-22Paper
Symbolic observation graph-based generation of test paths2023-12-12Paper
Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving2023-11-16Paper
Session-based concurrency, reactively2022-06-15Paper
Iterative bounded synthesis for efficient cycle detection in parametric timed automata2021-08-04Paper
A symbolic model for timed concurrent constraint programming2016-08-01Paper
Foundations for reliable and flexible interactive multimedia scores2015-08-20Paper

Research outcomes over time

This page was built for person: Jaime Arias

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:530857&oldid=6729413"
Powered by MediaWiki