56 citations · 114 across the 13 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009★ 11 cited
A Theory of Sampling for Continuous-time Metric Temporal Logic
Carlo A. Furia, Matteo Rossi
This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiabili…
cs.LO2009★ 8 cited
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella +1
Complex systems typically have many different parts and facets, with different characteristics. In a multi-paradigm approach to modeling, formalisms with different natures are used…