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
6 links
Timothy Wang
Researcher
PaperA graphical environment to express the semantics of control systemsAuthorship / preprint / 2011PaperCredible Autocoding of Fault Detection ObserversAuthorship / preprint / 2013PaperAutomated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car ControllerAuthorship / preprint / 2013PaperFrom Design to Implementation: an Automated, Credible Autocoding Chain for Control SystemsAuthorship / preprint / 2013PaperCredible Autocoding of Convex Optimization AlgorithmsAuthorship / preprint / 2014PaperVerifiable Control System Development for Gas Turbine EnginesAuthorship / preprint / 2013