25 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"IT10 papers
- University of AmsterdamNL6 papers
- University of FlorenceIT2 papers
- University of PisaIT2 papers
- Alibaba Group (Cayman Islands)KY1 paper
- Amsterdam University of Applied SciencesNL1 paper
- Chinese Academy of Medical Sciences & Peking Union Medical CollegeCN1 paper
- Chinese Academy of SciencesCN1 paper
- Chinese University of Hong KongHK1 paper
- Comenius University BratislavaSK1 paper
- Czech Academy of Sciences, Institute of Computer ScienceCZ1 paper
- Guangdong Institute of Intelligent ManufacturingCN1 paper
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 8 cited
On-the-fly Probabilistic Model Checking
Diego Latella, Michele Loreti, Mieke Massink
Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal logic formula f, and…
cs.PL2014★ 15 cited
Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink +1
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of…