Viviana Mascardi

MaRDI QIDQ2026782zbMATH OpenFDO

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
Bridging the gap between single- and multi-model predictive runtime verification Formal Methods in System Design	2023-06-29	Paper
scientific article; zbMATH DE number 7455726 (Why is no real title available?) (available as arXiv preprint)	2022-01-11	Paper
scientific article; zbMATH DE number 7455726 (Why is no real title available?)	2022-01-11	Paper
scientific article; zbMATH DE number 7453961 (Why is no real title available?) (available as arXiv preprint)	2022-01-07	Paper
scientific article; zbMATH DE number 7453961 (Why is no real title available?)	2022-01-07	Paper
Comparing trace expressions and linear temporal logic for runtime verification	2021-05-20	Paper
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? Lecture Notes in Computer Science	2010-07-20	Paper
Logic-based specification languages for intelligent software agents Theory and Practice of Logic Programming	2004-09-24	Paper
scientific article; zbMATH DE number 2080358 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1926620 (Why is no real title available?)	2003-06-11	Paper

Research outcomes over time

This page was built for person: Viviana Mascardi