6 citations · 15 across the 12 of their papers we have counts for
5 papers · 1 filter
From model checking to a temporal proof for partial models: preliminary example
A. Bernasconi, C. Menghi, P. Spoletini +2
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed fo…
Bounded Variability of Metric Temporal Logic
Carlo A. Furia, Paola Spoletini
Previous work has shown that reasoning with real-time temporal logics is often simpler when restricted to models with bounded variability---where no more than v events may occur ev…
Fuzzy Time in LTL
Achille Frigeri, Liliana Pasquale, Paola Spoletini
In the last years, the adoption of active systems has increased in many fields of computer science, such as databases, sensor networks, and software engineering. These systems are…
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions
Filippo Bonchi, Davide Grohmann, Paola Spoletini +1
This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a sa…
On Relaxing Metric Information in Linear Temporal Logic
Carlo A. Furia, Paola Spoletini
Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric L…