The present invention relates to bicyclic himbacine derivatives of the formula or a pharmaceutically acceptable salt thereof wherein: R1 is halo; —CN; alkyl; cycloalkyl; alkoxy; phenyl, which is optionally substituted one or twice independently by alkyl, halo, or —CN; or a thiophene ring, which is optionally substituted once or twice independently by alkyl. The compounds of the invention are effective inhibitors of the PAR-1 receptor. The inventive compounds may be used for the treatment or prophylaxis of disease states such as ASC, secondary prevention of myocardial infarction or stroke, or PAD.