Republicação - classificação IPC
#15.11
Procedimento automático de reclassificação. A classificação IPC anterior era G06F 9/45.
03/27/2018
RPI 2464
Back to search
Official data from INPI
PROCESSO DE VERIFICAÇÃO DE UM TRANSFORMADOR DE CÓDIGO, E, APLICAÇÃO DO PROCESSO DE VERIFICAÇÃO
ArquivadaInvention PatentPCT · FR2000001815
Application data
Number
PI0006883Type
Invention Patent
Filing
06/28/2000
Publication
06/12/2001
PCT
FR2000001815 Progress at the INPI
- Filing06/28/00
- Publication06/12/01
- Examination
- Allowance06/21/16
- Abandoned
- In force
The application was allowed on 06/21/2016 but abandoned for failure to pay the grant fee (art. 38 of the Brazilian IP Act). The letters patent were never issued.
Talk to a specialistLatest action published by the INPI: 03/27/2018. We update with every new RPI gazette, published weekly.
Applicants and inventors
Applicants
Bull CP8
FR
CP8 Technologies
FR
Institut National de La Recherche En Informatique Et En Automatique
FR
Le Centre National de La Recherche Scientifique (CNRS)
FR
Inventors
C. G. (pessoa física)
FR
D. M. (pessoa física)
FR
E. D. (pessoa física)
FR
P. F. (pessoa física)
FR
T. J. (pessoa física)
FR
Technical data
IPC Classification
Priority claims
FR
99/08460 · 07/01/1999
Abstract
"PROCESSO DE VERIFICAÇÃO DE UM TRANSFORMADOR DE CÓDIGO, E, APLICAÇÃO DO PROCESSO DE VERIFICAÇÃO". A invenção refere-se a um processo de verificação de um transformador de código fonte e um código transformado destinado a um sistema incorporado (7). O processo compreende pelo menos as etapas de determinação de uma máquina virtual única fatorizando o comportamento destes dois códigos (1, 3), de diversas funções ditas auxiliares representando diferenças residuais entre citados códigos fonte (1) e transformado (3) e uma etapa consistindo na verificação de uma propriedade de correspondência entre as funções auxiliares, a verificação do transformador de código (2) sendo obtida a partir desta última etapa. A invenção é notadamente aplicada aos cartões com chip integrado (7).
Prosecution history
Publications in the Brazilian Industrial Property Gazette (RPI).
Arquivamento - Art. 38 §2° da LPI
#11.4
07/04/2017
RPI 2426
100
Recorrente: O depositante. @ Despacho: Recurso conhecido e provido. Reformada a decisão recorrida e deferido o pedido. Desta data corre o prazo de 60 (sessenta) dias para o pagamento da retribuição para expedição da Carta-Patente. [100]
06/21/2016
RPI 2372
Petição de recurso
#12.2
11/11/2014
RPI 2288
Indeferimento
#9.2
Indefiro o pedido de acordo com o artigo 8º combinado com artigo 13 e artigo 25 da LPI.
02/18/2014
RPI 2250
Conhecimento de parecer técnico
#7.1
08/06/2013
RPI 2222
Transferência deferida
#25.1
Transferido de: Institut National de La Recherche En Informatique Et En Automatique (INRIA) e Le Centre National de La Recherche Scientifique (CNRS)
09/11/2012
RPI 2175
Transferência em exigência
#25.3
Afim de atender a Transferência requerida através da Petição nº 020100098468/RJ de 21/10/2010, apresente o documento de cessão correspondente ao ato requerido notarizado.
11/01/2011
RPI 2130
Transferência em exigência
#25.3
A fim de atender a transferência solicitada na pet. N°020100098468/RJ de 21/10/2010 reapresente o documento de cessão devidamente notarizado.
04/19/2011
RPI 2102
Alteração de sede deferida
#25.7
Sede alterada conforme solicitado na Petição nº 020070004926/RJ de 12/01/2007.
04/03/2007
RPI 1891
Transferência deferida
#25.1
Transferido de: Bull CP8
03/20/2007
RPI 1889
Notificação de entrada na fase nacional - PCT
#1.3
06/12/2001
RPI 1588
Related
From the same holder
MÉTODO PARA AUTENTICAR UM OBJETO PORTÁTIL, OBJETO PORTÁTIL CORRESPONDENTE E APARELHO PARA UTILIZAR O MÉTODOMÉTODO PARA O CARREGAMENTO DE APLICAÇÕES EM UM SISTEMA DE MULTI-APLICAÇÕES SOBRE PLATAFORMA EQUIPADO COM RECURSOS DE PROCESSAMENTO DE DADOS, SISTEMA E MÉTODO DE EXECUÇÃO CORRESPONDENTESSistemas e métodos de assinatura de chave públicaMÉTODO DE VERIFICAÇÃO DE ASSINATURA OU DE AUTENTICAÇÃOCIRCUITO INTEGRADO INTELIGENTEPROCESSO DE COMPACTAÇÃO DE UM PROGRAMA DE TIPO CÓDIGO OBJETO INTERMEDIÁRIO EXECUTÁVEL EM UM SISTEMA EMBARCADO MUNIDO DE RECURSOS DE TRATAMENTO DE DADOS, SISTEMA COMPACTADOR E SISTEMA EMBARCADO DE MULTIAPLICATIVOS CORRESPONDENTESSUBSTRATO PARA CIRCUITO ELETRÔNICO COMPREENDENDO MEIOS ANTI-REMOÇÃO
Same category
PP1101194PEPTÍDEO PARA DIAGNOSTICAR E IMUNIZAR CONTRA INFECÇÃO POR T.CRUZI ENSAIO DE DIAGNÓSTICO ELISA PARA DETECTAR ANTICORPOS ESPECÍFICOS DA INFECÇÃO POR T.CRUZI NO SANGUE MÉTODO DE DETECÇÃO DA DOENÇA DE CHARGAS OU INFECÇÃO POR T.CRUZI, E VACINA PARA IMUNIZAR UM INDÍVIDUO CONTRA A DOENÇA DE CHAGASMEIOS PARA A DOSAGEM QUANTITATIVA DE RETROVIRUS, PROCESSO PARA SUA PREPARAÇÃO E KIT DE DIAGNÓSTICO COMPORTANDO O DITO MEIOMÉTODO PARA A DETECÇÃO DE ANTICORPOS PARA UM ANTÍGENO 230 Kd PRESENTE NA LEISHMANIA CHAGASI E LEISHMANIA DONOVANI; KIT; DNA ISOLADO; ANTÍGENO 230 Kd ISOLADO; E COMPOSIÇÃO DE VACINACOMPOSIÇÃO DE ANTÍGENOCOMPOSIÇÃO PARA INTRODUZIR COMPLEXOS DE ÁCIDO NUCLÉICO EM CÉLULAS EUCARIÓTICAS SUPERIORESNOVAS PROTEINAS DE SALIVA DE ECTOPARASITAS E APARELHO PARA COLHER ESSAS PROTEINASTRATAMENTO DE SOLUÇÕES DE CÉLULAS VERMELHAS DO SANGUE COM AGENTES ANTI-VIRÓTICOS
Patent monitoring
Track this patent in real time.
Receive alerts on INPI events, decisions, and expiry dates for your portfolio.