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.

Michele Loreti
SearchCollections
Map detail
Michele Loreti13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichele LoretiAMichele LoretiResearcherEvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical SystemsWEvTL: A Temporal Logic ...preprint / 2022On-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 / 2014Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTemsWProceedings of the Work...preprint / 2016Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process CalculiWUniform Labeled Transit...preprint / 2011The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic ProcessesWThe Spectrum of Strong ...preprint / 2013A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"WA Companion of "Relatin...preprint / 2013Specifying and Verifying Properties of Space - Extended VersionWSpecifying and Verifyin...preprint / 2014Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic ProcessesWRevisiting Trace and Te...preprint / 2014On the Power of Attribute-based CommunicationWOn the Power of Attribu...preprint / 2016CARMA: Collective Adaptive Resource-sharing Markovian AgentsWCARMA: Collective Adapt...preprint / 2015
Person12 links

Michele Loreti

Researcher

PaperEvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical SystemsAuthorship / preprint / 2022PaperOn-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 / 2014PaperProceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTemsAuthorship / preprint / 2016PaperUniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process CalculiAuthorship / preprint / 2011PaperThe Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic ProcessesAuthorship / preprint / 2013PaperA Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"Authorship / preprint / 2013

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)