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.

Axel Legay
SearchCollections
Map detail
Axel Legay13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAxel LegayAAxel LegayResearcherAutomatic Verification of LLVM CodeWAutomatic Verification ...preprint / 2020Statistical Model Checking : An OverviewWStatistical Model Check...preprint / 2010Proceedings Foundations for Interface TechnologiesWProceedings Foundations...preprint / 2011A Few Considerations on Structural and Logical Composition in Specification TheoriesWA Few Considerations on...preprint / 2011Scalable Verification of Markov Decision ProcessesWScalable Verification o...preprint / 2014Lightweight Monte Carlo Verification of Markov Decision Processes with RewardsWLightweight Monte Carlo...preprint / 2015Malware Analysis with Symbolic Execution and Graph KernelWMalware Analysis with S...preprint / 2022Quantitative Security Risk Modeling and Analysis with RisQFLanWQuantitative Security R...preprint / 2021Featured GamesWFeatured Gamespreprint / 2020Cross-entropy optimisation of importance sampling parameters for statistical model checkingWCross-entropy optimisat...preprint / 2012Proceedings Quantities in Formal MethodsWProceedings Quantities ...preprint / 2012A Robust Specification Theory for Modal Event-Clock AutomataWA Robust Specification ...preprint / 2012
Person12 links

Axel Legay

Researcher

PaperAutomatic Verification of LLVM CodeAuthorship / preprint / 2020PaperStatistical Model Checking : An OverviewAuthorship / preprint / 2010PaperProceedings Foundations for Interface TechnologiesAuthorship / preprint / 2011PaperA Few Considerations on Structural and Logical Composition in Specification TheoriesAuthorship / preprint / 2011PaperScalable Verification of Markov Decision ProcessesAuthorship / preprint / 2014PaperLightweight Monte Carlo Verification of Markov Decision Processes with RewardsAuthorship / preprint / 2015PaperMalware Analysis with Symbolic Execution and Graph KernelAuthorship / preprint / 2022PaperQuantitative Security Risk Modeling and Analysis with RisQFLanAuthorship / preprint / 2021

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)