Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
9 links
Frédéric Herbreteau
Researcher
PaperUsing non-convex approximations for efficient analysis of timed automataAuthorship / preprint / 2011PaperLazy abstractions for timed automataAuthorship / preprint / 2013PaperImproving search order for reachability testing in timed automataAuthorship / preprint / 2015PaperCoarse abstractions make Zeno behaviours difficult to detectAuthorship / preprint / 2013PaperBetter abstractions for timed automataAuthorship / preprint / 2016PaperCertifying Emptiness of Timed Büchi AutomataAuthorship / preprint / 2020PaperFast detection of cycles in timed automataAuthorship / preprint / 2014PaperReachability of Communicating Timed ProcessesAuthorship / preprint / 2012