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.

Ezio Bartocci
SearchCollections
Map detail
Ezio Bartocci13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipEzio BartocciAEzio BartocciResearcherHypernode AutomataWHypernode Automatapreprint / 2024MORA -- Automatic Generation of Moment-Based InvariantsWMORA -- Automatic Gener...preprint / 2021Adaptive Testing for Specification CoverageWAdaptive Testing for Sp...preprint / 2021Analysis of Bayesian Networks via Prob-Solvable LoopsWAnalysis of Bayesian Ne...preprint / 2020Information-Flow InterfacesWInformation-Flow Interf...preprint / 2020Shape Calculus: Timed Operational Semantics and Well-formednessWShape Calculus: Timed O...preprint / 2010Proceedings First International Workshop on Hybrid Systems and BiologyWProceedings First Inter...preprint / 2012On the Robustness of Temporal Properties for Stochastic ModelsWOn the Robustness of Te...preprint / 2013Monitoring with uncertaintyWMonitoring with uncerta...preprint / 2013Sampling-based Decentralized Monitoring for Networked Embedded SystemsWSampling-based Decentra...preprint / 2013A temporal logic approach to modular design of synthetic biological circuitsWA temporal logic approa...preprint / 2013Learning Temporal Logical Properties Discriminating ECG models of Cardiac ArrhytmiasWLearning Temporal Logic...preprint / 2013
Person12 links

Ezio Bartocci

Researcher

PaperHypernode AutomataAuthorship / preprint / 2024PaperMORA -- Automatic Generation of Moment-Based InvariantsAuthorship / preprint / 2021PaperAdaptive Testing for Specification CoverageAuthorship / preprint / 2021PaperAnalysis of Bayesian Networks via Prob-Solvable LoopsAuthorship / preprint / 2020PaperInformation-Flow InterfacesAuthorship / preprint / 2020PaperShape Calculus: Timed Operational Semantics and Well-formednessAuthorship / preprint / 2010PaperProceedings First International Workshop on Hybrid Systems and BiologyAuthorship / preprint / 2012PaperOn the Robustness of Temporal Properties for Stochastic ModelsAuthorship / 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)