The following pages link to Paola Spoletini (Q2065547):
Displayed 14 items.
- TOrPEDO : witnessing model correctness with topological proofs (Q2065548) (← links)
- Dealing with incompleteness in automata-based model checking (Q2281650) (← links)
- Supporting verification-driven incremental distributed design of components (Q2324188) (← links)
- A verification-driven framework for iterative design of controllers (Q2335947) (← links)
- Bounded variability of metric temporal logic (Q2408743) (← links)
- Fuzzy Time in Linear Temporal Logic (Q2946742) (← links)
- Model Checking Temporal Metric Specifications with Trio2Promela (Q3508543) (← links)
- Quantifying the Discord: Order Discrepancies in Message Sequence Charts (Q3510808) (← links)
- Practical Efficient Modular Linear-Time Model-Checking (Q3540089) (← links)
- On the Use of Alloy to Analyze Graph Transformation Systems (Q3541969) (← links)
- QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS (Q3552521) (← links)
- Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata (Q3614855) (← links)
- From Model Checking to a Temporal Proof for Partial Models (Q5194652) (← links)
- Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers (Q5505598) (← links)