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.

Ahmed Bouajjani
SearchCollections
Map detail
Ahmed Bouajjani13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAhmed BouajjaniAAhmed BouajjaniResearcherData-driven Numerical Invariant Synthesis with Automatic Generation of AttributesWData-driven Numerical I...preprint / 2022Checking Robustness against TSOWChecking Robustness aga...preprint / 2012Lazy TSO ReachabilityWLazy TSO Reachabilitypreprint / 2015On Reducing Linearizability to State ReachabilityWOn Reducing Linearizabi...preprint / 2015A Generic Framework for Reasoning about Dynamic Networks of Infinite-State ProcessesWA Generic Framework for...preprint / 2009Parametric Verification of a Group Membership AlgorithmWParametric Verification...preprint / 2005On Verifying Causal ConsistencyWOn Verifying Causal Con...preprint / 2016Automated Synthesis of AsynchronizationsWAutomated Synthesis of ...preprint / 2022Checking Robustness Between Weak Transactional Consistency ModelsWChecking Robustness Bet...preprint / 2021Model checking Branching-Time Properties of Multi-Pushdown Systems is HardWModel checking Branchin...preprint / 2012Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of ThreadsWContext-Bounded Analysi...preprint / 2011Checking Causal Consistency of Distributed DatabasesWChecking Causal Consist...preprint / 2021
Person12 links

Ahmed Bouajjani

Researcher

PaperData-driven Numerical Invariant Synthesis with Automatic Generation of AttributesAuthorship / preprint / 2022PaperChecking Robustness against TSOAuthorship / preprint / 2012PaperLazy TSO ReachabilityAuthorship / preprint / 2015PaperOn Reducing Linearizability to State ReachabilityAuthorship / preprint / 2015PaperA Generic Framework for Reasoning about Dynamic Networks of Infinite-State ProcessesAuthorship / preprint / 2009PaperParametric Verification of a Group Membership AlgorithmAuthorship / preprint / 2005PaperOn Verifying Causal ConsistencyAuthorship / preprint / 2016PaperAutomated Synthesis of AsynchronizationsAuthorship / 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)