BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Diego Latella
SearchCollections
Map detail
Diego Latella12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDiego LatellaADiego LatellaResearcherOn-the-fly Fast Mean-Field Model-Checking: Extended VersionWOn-the-fly Fast Mean-Fi...preprint / 2013Stochastically timed predicate-based communication primitives for autonomic computingWStochastically timed pr...preprint / 2014On-the-fly Probabilistic Model CheckingWOn-the-fly Probabilisti...preprint / 2014A Definition Scheme for Quantitative BisimulationWA Definition Scheme for...preprint / 2015On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended AbstractWOn Formal Methods for C...preprint / 2016Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic CharacterisationsWTowards Spatial Bisimil...preprint / 2020Refined Mean Field Analysis of the Gossip Shuffle Protocol -- extended version --WRefined Mean Field Anal...preprint / 2020Specifying and Verifying Properties of Space - Extended VersionWSpecifying and Verifyin...preprint / 2014From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical ImagingWFrom Collective Adaptiv...preprint / 2016Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model CheckingWWeak Simplicial Bisimil...preprint / 2026CARMA: Collective Adaptive Resource-sharing Markovian AgentsWCARMA: Collective Adapt...preprint / 2015
Person11 links

Diego Latella

Researcher

PaperOn-the-fly Fast Mean-Field Model-Checking: Extended VersionAuthorship / preprint / 2013PaperStochastically timed predicate-based communication primitives for autonomic computingAuthorship / preprint / 2014PaperOn-the-fly Probabilistic Model CheckingAuthorship / preprint / 2014PaperA Definition Scheme for Quantitative BisimulationAuthorship / preprint / 2015PaperOn Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended AbstractAuthorship / preprint / 2016PaperTowards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic CharacterisationsAuthorship / preprint / 2020PaperRefined Mean Field Analysis of the Gossip Shuffle Protocol -- extended version --Authorship / preprint / 2020PaperSpecifying and Verifying Properties of Space - Extended VersionAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)