Listar Cinvestav-GUADALAJARA por Director
Mostrando ítems 1-19 de 19
-
Comprobación de modelos explícita basada en autómatas de Búchi y lógica temporal lineal
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
Control supervisor para sistemas de eventos discretos con especificaciones de seguridad y vivacidad
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
Criptoanálisis lógico-algebraico a cifrados de flujo basados en autómatas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2015) -
Demostración y búsqueda de modelos automáticas para lógica de primer orden
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2013) -
Estudio e implementación de la interpolación de Craig en la comprobación de modelos acotada
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2008) -
Estudio y aplicación de nuevas técnicas para verificación modular de sistemas de eventos discretos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005) -
Generación heurística de funciones booleanas con buenas propiedades criptográficas
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2015) -
Generación y uso de abstracciones en la comprobación de modelos simbólica
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2009) -
Localización de errores de diseño en circuitos secuenciales sincrónicos mediante métodos formales de satisfacibilidad
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2009) -
Lógicas temporales lineales para la verificación formal de sistemas de tiempo real
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2007) -
Modelado y verificación por comprobación de modelos de una clase de sistemas de procesamiento industrial
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Prueba de validez de argumentos lógicos y búsqueda de modelos utilizando redes de Petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2001) -
Reducción por simetrías en la comprobación de modelos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2009) -
Representación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005) -
Sistema de realidad aumentada
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2006) -
Síntesis de arquitecturas de coordinación en sistemas automatizados de manufactura
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2008) -
Un esquema de cifrado homomórfico completo basado en autómatas finitos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2013) -
Verificación de una clase de especificaciones de seguridad en controladores de procedimientos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003) -
Verificación formal de procesos VHDL utilizando lógica temporal lineal
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)