Buscar

Filtros

Use los filtros para refinar su búsqueda.

Filtro actual:


Nuevo filtro:

Autor:Kramer, Jeff X

Mostrando 8 de un total de 8 resultados. (0.019 segundos)

Mostrando ítems 1-8 de 8

Artículo

Using contexts to extract models from code

Duarte, Lucio Mauro ; Kramer, Jeff ; Uchitel, Sebastian (Springer Heidelberg, 2017-05)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Dynamic Update of Discrete Event Controllers

Nahabedian, Leandro Ezequiel ; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Honiden, Shinichi ; Kramer, Jeff ; Tei, Kenji ; Uchitel, Sebastian (IEEE Computer Society, 2018-10)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Supporting incremental behaviour model elaboration

Uchitel, Sebastian ; Alrajeh, Dalal ; Ben David, Shoham ; Braberman, Victor Adrian ; Chechik, Marsha ; de Caso, Guido ; D'ippolito, Nicolás Roque ; Fischbein, Dario ; Garbervetsky, Diego David ; Kramer, Jeff ; Russo, Alessandra ; Sibay, German (Springer Verlag Berlín, 2013-11)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

An integrated workbench for model-based engineering of service compositions

Foster, Howard ; Uchitel, Sebastian ; Magee, Jeff ; Kramer, Jeff (IEEE Computer Society, 2010-05)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Elaborating requirements using model checking and inductive learning

Uchitel, Sebastian ; Alrajeh, Dalal ; Kramer, Jeff ; Russo, Alessandra (IEEE Computer Society, 2012-06-12)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Automated support for diagnosis and repair

Alrajeh, Dalal ; Russo, Alessandra ; Kramer, Jeff ; Uchitel, Sebastian (Assoc Computing Machinery, 2014-02)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Assured automatic dynamic reconfiguration of business processes

Nahabedian, Leandro Ezequiel ; Braberman, Victor Adrian ; D'ippolito, Nicolás Roque ; Kramer, Jeff ; Uchitel, Sebastian (Pergamon-Elsevier Science Ltd, 2022-02)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Synthesizing Modal Transition Systems from Triggered Scenarios

Sibay, German Emir ; Braberman, Victor Adrian ; Uchitel, Sebastian ; Kramer, Jeff (Institute of Electrical and Electronics Engineers, 2013-07)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas

Mostrando ítems 1-8 de 8