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.

Marielle Stoelinga
SearchCollections
Map detail
Marielle Stoelinga5 visible / 5 total nodes / 4 links

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

AuthorshipAuthorshipAuthorshipAuthorshipMarielle StoelingaAMarielle StoelingaResearcherTime Dependent Analysis with Dynamic Counter Measure TreesWTime Dependent Analysis...preprint / 2015Automatic inference of fault tree models via multi-objective evolutionary algorithmsWAutomatic inference of ...preprint / 2022Modeling and Verification of the Bitcoin ProtocolWModeling and Verificati...preprint / 2015BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault TreesWBDDs Strike Back: Effic...preprint / 2022
Person4 links

Marielle Stoelinga

Researcher

PaperTime Dependent Analysis with Dynamic Counter Measure TreesAuthorship / preprint / 2015PaperAutomatic inference of fault tree models via multi-objective evolutionary algorithmsAuthorship / preprint / 2022PaperModeling and Verification of the Bitcoin ProtocolAuthorship / preprint / 2015PaperBDDs Strike Back: Efficient Analysis of Static and Dynamic Fault TreesAuthorship / preprint / 2022

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)