4 citations · 8 across the 3 of their papers we have counts for
3 papers
cs.LO2014★ 2 cited
Verification of Reachability Problems for Time Basic Petri Nets
Matteo Camilli
Time-Basic Petri nets, is a powerful formalism for model- ing real-time systems where time constraints are expressed through time functions of marking's time description associated…
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.SI2012★ 4 cited
Preserving Co-Location Privacy in Geo-Social Networks
Matteo Camilli
The number of people on social networks has grown exponentially. Users share very large volumes of personal informations and content every days. This content could be tagged with g…