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.

Sylvain Hallé
SearchCollections
Map detail
Sylvain Hallé10 visible / 10 total nodes / 9 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipSylvain HalléASylvain HalléResearcherExplainable Queries over Event LogsWExplainable Queries ove...preprint / 2020Fault Localization in Web Applications via Model FindingWFault Localization in W...preprint / 2016Efficient Offline Monitoring of Linear Temporal Logic with Bit VectorsWEfficient Offline Monit...preprint / 2020Runtime Enforcement With Partial ControlWRuntime Enforcement Wit...preprint / 2015Towards Continuous Systematic Literature Review in Software EngineeringWTowards Continuous Syst...preprint / 2022Open Source Software Development Process: A Systematic ReviewWOpen Source Software De...preprint / 2020A Tertiary and Secondary Study CanvasWA Tertiary and Secondar...preprint / 2020Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web SoftwareWProceedings Fourth Inte...preprint / 2010An Alternating Automaton for First-Order Linear Temporal Logic--Tech ReportWAn Alternating Automato...preprint / 2016
Person9 links

Sylvain Hallé

Researcher

PaperExplainable Queries over Event LogsAuthorship / preprint / 2020PaperFault Localization in Web Applications via Model FindingAuthorship / preprint / 2016PaperEfficient Offline Monitoring of Linear Temporal Logic with Bit VectorsAuthorship / preprint / 2020PaperRuntime Enforcement With Partial ControlAuthorship / preprint / 2015PaperTowards Continuous Systematic Literature Review in Software EngineeringAuthorship / preprint / 2022PaperOpen Source Software Development Process: A Systematic ReviewAuthorship / preprint / 2020PaperA Tertiary and Secondary Study CanvasAuthorship / preprint / 2020PaperProceedings Fourth International Workshop on Testing, Analysis and Verification of Web SoftwareAuthorship / 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)