15 citations · 21 across the 3 of their papers we have counts for
3 papers
cs.SE2013★ 15 cited
Distributed CTL Model Checking in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The recent extensive availability of "big data" platforms calls for a more widespread adoption by the formal verification community. In fact, formal verification requires high perf…
cs.SE2012★ 2 cited
State Space Exploration of RT Systems in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra +1
The growing availability of distributed and cloud computing frameworks make it possible to face complex computational problems in a more effective and convenient way. A notable exa…
cs.SE2011★ 4 cited
Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach
Carlo Bellettini, Lorenzo Capra
We introduce a technique for reachability analysis of Time-Basic (TB) Petri nets, a powerful formalism for real- time systems where time constraints are expressed as intervals, rep…