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.

Nathalie Bertrand
SearchCollections
Map detail
Nathalie Bertrand13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipNathalie BertrandANathalie BertrandResearcherParameterized safety verification of round-based shared-memory systemsWParameterized safety ve...preprint / 2022Holistic Verification of Blockchain ConsensusWHolistic Verification o...preprint / 2022Probabilistic regular graphsWProbabilistic regular g...preprint / 2010Emptiness and Universality Problems in Timed Automata with Positive FrequencyWEmptiness and Universal...preprint / 2013Solving Stochastic Büchi Games on Infinite Arenas with a Finite AttractorWSolving Stochastic Büch...preprint / 2013Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and SystemsWProceedings Twelfth Int...preprint / 2014Bounded Satisfiability for PCTLWBounded Satisfiability ...preprint / 2012Stochastic Timed AutomataWStochastic Timed Automatapreprint / 2014Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and SystemsWProceedings Thirteenth ...preprint / 2015Off-line test selection with test purposes for non-deterministic timed automataWOff-line test selection...preprint / 2012Verifying nondeterministic probabilistic channel systems against $ω$-regular linear-time propertiesWVerifying nondeterminis...preprint / 2006Use of 3D classified topographic data with FullSWOF for high resolution simulation of a river flood event over a dense urban areaWUse of 3D classified to...preprint / 2016
Person12 links

Nathalie Bertrand

Researcher

PaperParameterized safety verification of round-based shared-memory systemsAuthorship / preprint / 2022PaperHolistic Verification of Blockchain ConsensusAuthorship / preprint / 2022PaperProbabilistic regular graphsAuthorship / preprint / 2010PaperEmptiness and Universality Problems in Timed Automata with Positive FrequencyAuthorship / preprint / 2013PaperSolving Stochastic Büchi Games on Infinite Arenas with a Finite AttractorAuthorship / preprint / 2013PaperProceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and SystemsAuthorship / preprint / 2014PaperBounded Satisfiability for PCTLAuthorship / preprint / 2012PaperStochastic Timed AutomataAuthorship / 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)