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.

Annabelle McIver
SearchCollections
Map detail
Annabelle McIver13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAnnabelle McIverAAnnabelle McIverResearcherCorrectness by construction for probabilistic programsWCorrectness by construc...preprint / 2020Compositional closure for Bayes Risk in probabilistic noninterferenceWCompositional closure f...preprint / 2010Weak Concurrent Kleene Algebra with Application to Algebraic VerificationWWeak Concurrent Kleene ...preprint / 2013An Event Structure Model for Probabilistic Concurrent Kleene AlgebraWAn Event Structure Mode...preprint / 2013Probabilistic Concurrent Kleene AlgebraWProbabilistic Concurren...preprint / 2013Probabilistic Rely-guarantee CalculusWProbabilistic Rely-guar...preprint / 2015Reasoning with failuresWReasoning with failurespreprint / 2020An expectation transformer approach to predicate abstraction and data independence for probabilistic programsWAn expectation transfor...preprint / 2010Model exploration and analysis for quantitative safety refinement in probabilistic BWModel exploration and a...preprint / 2011Failure Mode Reasoning in Model Based Safety AnalysisWFailure Mode Reasoning ...preprint / 2020A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODVWA Process Algebra for W...preprint / 2013Conditioning in Probabilistic ProgrammingWConditioning in Probabi...preprint / 2015
Person12 links

Annabelle McIver

Researcher

PaperCorrectness by construction for probabilistic programsAuthorship / preprint / 2020PaperCompositional closure for Bayes Risk in probabilistic noninterferenceAuthorship / preprint / 2010PaperWeak Concurrent Kleene Algebra with Application to Algebraic VerificationAuthorship / preprint / 2013PaperAn Event Structure Model for Probabilistic Concurrent Kleene AlgebraAuthorship / preprint / 2013PaperProbabilistic Concurrent Kleene AlgebraAuthorship / preprint / 2013PaperProbabilistic Rely-guarantee CalculusAuthorship / preprint / 2015PaperReasoning with failuresAuthorship / preprint / 2020PaperAn expectation transformer approach to predicate abstraction and data independence for probabilistic programsAuthorship / preprint / 2010

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)