Paola Spoletini

Available identifiers

zbMath Open spoletini.paolaMaRDI QIDQ2065547

List of research outcomes

Publication	Date of Publication	Type
TOrPEDO : witnessing model correctness with topological proofs	2022-01-11	Paper
Dealing with incompleteness in automata-based model checking	2020-01-03	Paper
A verification-driven framework for iterative design of controllers	2019-11-18	Paper
From Model Checking to a Temporal Proof for Partial Models	2019-09-16	Paper
Supporting verification-driven incremental distributed design of components	2019-09-16	Paper
Bounded variability of metric temporal logic	2017-10-13	Paper
Fuzzy Time in Linear Temporal Logic	2015-09-17	Paper
QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS	2010-04-22	Paper
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata	2009-03-10	Paper
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers	2009-01-27	Paper
On the Use of Alloy to Analyze Graph Transformation Systems	2008-11-27	Paper
Practical Efficient Modular Linear-Time Model-Checking	2008-11-20	Paper
Quantifying the Discord: Order Discrepancies in Message Sequence Charts	2008-07-03	Paper
Model Checking Temporal Metric Specifications with Trio2Promela	2008-07-01	Paper

Research outcomes over time

This page was built for person: Paola Spoletini