Republicação - classificação IPC
#15.11
Procedimento automático de reclassificação. A classificação IPC anterior era G06F 9/45.
27/03/2018
RPI 2464
Voltar para busca
Dado oficial do INPI
PROCESSO DE VERIFICAÇÃO DE UM TRANSFORMADOR DE CÓDIGO, E, APLICAÇÃO DO PROCESSO DE VERIFICAÇÃO
ArquivadaPatente de InvençãoPCT · FR2000001815
Dados do pedido
Número
PI0006883Tipo
Patente de Invenção
Depósito
28/06/2000
Publicação
12/06/2001
PCT
FR2000001815 Andamento no INPI
- Depósito28/06/00
- Publicação12/06/01
- Exame
- Deferimento21/06/16
- Arquivado
- Em vigor
Pedido deferido em 21/06/2016, mas arquivado por falta do pagamento da concessão (art. 38 da LPI). A carta-patente nunca foi emitida.
Falar com um especialistaÚltima movimentação publicada pelo INPI: 27/03/2018. Atualizamos a cada nova RPI, publicada semanalmente.
Depositantes e inventores
Depositantes
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
Inventores
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
Dados técnicos
Classificação IPC
Prioridades unionistas
FR
99/08460 · 01/07/1999
Resumo técnico
"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).
Histórico de despachos
Publicações na Revista da Propriedade Industrial (RPI).
Arquivamento - Art. 38 §2° da LPI
#11.4
04/07/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]
21/06/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.
18/02/2014
RPI 2250
Conhecimento de parecer técnico
#7.1
06/08/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)
11/09/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.
01/11/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.
19/04/2011
RPI 2102
Alteração de sede deferida
#25.7
Sede alterada conforme solicitado na Petição nº 020070004926/RJ de 12/01/2007.
03/04/2007
RPI 1891
Transferência deferida
#25.1
Transferido de: Bull CP8
20/03/2007
RPI 1889
Notificação de entrada na fase nacional - PCT
#1.3
12/06/2001
RPI 1588
Relacionados
Do mesmo titular
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
Da mesma categoria
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
Monitoramento de patentes
Acompanhe esta patente em tempo real.
Receba alertas de despachos, decisões e vencimentos do INPI para o seu portfólio.