Inventors list |
Assignees list |
Classification tree browser |
Top 100 Inventors |
Top 100 Assignees |
Lustig
Frank Lustig, Stuttgart DE
| Patent application number | Description | Published |
|---|---|---|
| 20090307454 | Method and device for switching over in a memory for a control device - A method and device for switching over in a memory for a control device, a first storage area in the control unit being overlaid by a second storage area; the second storage area including at least one memory page, and each of the memory pages being able to overlay the first storage area; switching over being able to be performed between the memory pages and the overlaying being able to be switched on/switched off, and the switching over of the memory pages and the switching on/switching off of the overlaying of the second storage area being automatically carried out and/or triggered by the software of the control unit. | 12-10-2009 |
Petr Lustig, Pardubice CZ
| Patent application number | Description | Published |
|---|---|---|
| 20090203914 | PROCESS FOR THE PREPARATION OF SOLIFENACIN - A process for the preparation of (1S)-QR)-I -azabicyclo[2.2.2.]oct-3-yl 3,4-dihydro-1-phenyl- 2(1H)-isoquino-line carboxylate by reacting (1S)-alkyl 1-phenyl-1,2,3,4-tetrahydro-2-isoquinoline carboxylate with 3-(R)-quinuclidol in an inert solvent, where a primary alkyl ester of the carboxylate whose alkyl length is C | 08-13-2009 |
| 20110082299 | METHOD FOR THE PREPARATION OF DABIGATRAN - A method for the manufacture of dabigatran of formula VIII, in which the product of a reaction of 4-ethylamino-3-nitrobenzoic acid chloride with ethyl-3-(pyridin-2-ylamino)propanoate, is converted to the hydrochloride using a hydrogen chloride solution producing the compound of formula III-HCl, in which the nitro group is reduced by means of a reaction with sodium dithionite, and the resulting compound of formula IV is subjected to a reaction with [(4-cyanophenyl)amino] acetic acid and oxalic acid, the product of this reaction VI-oxal is then subjected to hydrolysis and a reaction with ammonium carbonate to produce the intermediate of formula VII-HCl, which is then converted to dabigatran by means of a reaction with hexyl chloroformate. | 04-07-2011 |
Shlomo Lustig, Ramat Gan IL
| Patent application number | Description | Published |
|---|---|---|
| 20100021484 | Compositions, Methods and Kits Relating to Poxvirus Subunit Vaccines - The invention is directed to a poxvirus vaccine comprising a soluble truncated poxvirus envelope protein. The invention is also directed to a vaccine comprising a nucleic acid encoding such proteins. Also included is an antibody which specifically binds to the proteins and nucleic acid encoding the same, as well as methods of preventing and treating a poxvirus infection using the afore-mentioned vaccine, antibody, protein, and nucleic acid encoding them. | 01-28-2010 |
Yoad Lustig, Jerusalem IL
| Patent application number | Description | Published |
|---|---|---|
| 20100324881 | SATISFIABILITY (SAT) BASED BOUNDED MODEL CHECKERS - A method uses a SAT solver operating to cycle k to find bugs in a model having finite computation paths therein, wherein said bugs are on computation paths of less than length k. Another method includes adding an additional state variable to a model to be checked, where a governing state machine of the additional variable has a “sink” state. The method includes having a translation using the additional variable whenever a state indicates a bad state and performing satisfiability solving with the model and the translation. | 12-23-2010 |
Yoad Lustig, Nesher IL
| Patent application number | Description | Published |
|---|---|---|
| 20110213605 | Satisfiability (SAT) Based Bounded Model Checkers - Systems and methods that use a solver to find bugs in a target model of a computing system having one or more finite computation paths are provided. The bugs on computation paths of less than a predetermined length are detected by translating the target model to include a state variable AF for one or more states of the target model, wherein AF(S) represents value of the state variable AF at state S; and solving the translated version of the target model that satisfies predetermined constrains. | 09-01-2011 |