The way WordPress uses to find a plugin in repository is not public AFAIK.
As per Otto answer in question you linked it involves plugin url header alongside plugin name.
BTW, remove the plugin from the list of plugin to update is the best way to ensure this problem is not going to happen again: once the matching method is not public you can’t know if it is going to change in future.