Arnaldo Vieira Moura http://lattes.cnpq.br/3062023252191532

Última atualização do Lattes: 31.07.2017
Unidade: Instituto de Computacao
Departamento: Departamento de Teoria Da Computacao
Nomes de citação: MOURA, A. V. / Moura, Arnaldo V. / Moura, A. V. / MOURA, ARNALDO VIEIRA
Mestrado: 14
Doutorado: 3
Pos-Doutorado: 2
Outras: 18
  • Trabalho Técnico (68)+
    • Ano
      2017
      Título
      Generating Complete Test Suites for Reactive Systems
    • Ano
      2016
      Título
      Test suite completeness and black box testing
    • Ano
      2015
      Título
      Invariants-based architecture for semantic malware resistance
    • Ano
      2015
      Título
      Intrinsic Properties of Complete Test Suites
    • Ano
      2014
      Título
      Characterization of termination for linear homogeneous programs
    • Ano
      2014
      Título
      On the Quantum-Classical Separation of Marking and Multi-Head Automata
    • Ano
      2014
      Título
      Automated generation of asymptotically non-terminant initial variable values for linear programs
    • Ano
      2014
      Título
      Checking test suite completeness with partial fsms and weak equivalence
    • Ano
      2014
      Título
      Project Scheduling Optimization in Energy Generation Plants.
    • Ano
      2014
      Título
      Generating Asymptotically Non-Terminating Initial Values for Linear Programs
    • Ano
      2014
      Título
      Intrinsic properties of complete test suites
    • Ano
      2014
      Título
      Characterization of Termination for Linear Loop Programs
    • Ano
      2014
      Título
      On the Termination of Linear and Affine Programs over the Integers
    • Ano
      2014
      Título
      On the Hardness of Disentanglers and Quantum de Finetti Theorems
    • Ano
      2014
      Título
      Classical Probabilistic Checkable Proof and Multi-Prover Quantum Merlin-Arthur
    • Ano
      2013
      Título
      Multivariate Formal Power Series Invariants Generation for Non Linear Hybrid Systems
    • Ano
      2013
      Título
      Generating Invariants for Non-linear Hybrid Systems
    • Ano
      2013
      Título
      Transcendental Invariants Generation for Non-linear Hybrid Systems
    • Ano
      2013
      Título
      Necessary and Sufficient Condition for Termination of Linear Programs
    • Ano
      2013
      Título
      A Complete Approach for Termination Analysis of Linear Programs
    • Ano
      2013
      Título
      On finite automata with quantum and classical states
    • Ano
      2013
      Título
      Generating asymptotically non-terminant initial variable values for linear diagonalizable programs
    • Ano
      2013
      Título
      Necessity and sufficiency for checking m-completeness of test suites
    • Ano
      2013
      Título
      Partial fsm models and completeness with blocking test cases
    • Ano
      2013
      Título
      Generating invariants for non-linear loops by linear algebraic methods
    • Ano
      2012
      Título
      Attaining a more Flexible and Manageable Discretization for Complex Timed Systems
    • Ano
      2012
      Título
      Transcendental Inductive Invariants Generation for Non-linear Hybrid Systems
    • Ano
      2012
      Título
      A Project Portfolio Selection Problem
    • Ano
      2012
      Título
      Language classes and quantum finite automata
    • Ano
      2010
      Título
      Testing combined finite state machines.
    • Ano
      2010
      Título
      A fast quantum algorithm for the closest bichromatic pair problem.
    • Ano
      2010
      Título
      Planning The Operation of a Large Real-World Oil Pipeline
    • Ano
      2009
      Título
      Creating a HasCASL library.
    • Ano
      2009
      Título
      Exponentially more succinct test suites
    • Ano
      2009
      Título
      A new timed discretization method for automatic test generation for timed systems
    • Ano
      2009
      Título
      On an abstract theory of computational models and the converse of Rice's theorem.
    • Ano
      2009
      Título
      A generalization of the time and space hierarchy theorems.
    • Ano
      2009
      Título
      Generating test suites for timed systems with context variables.
    • Ano
      2009
      Título
      Multivariate formal power series invariants generation for non linear hybrid systems
    • Ano
      2008
      Título
      A Generalized Model-based Test Generation Method
    • Ano
      2008
      Título
      Endomorphism for Non-trivial Semi-Algebraic Loop Invariant Generation
    • Ano
      2008
      Título
      Morphisms for Non-trivial Non-Linear Invariant Generation for Algebraic Hybrid Systems
    • Ano
      2008
      Título
      Bounds for quantum computational geometry problems
    • Ano
      2007
      Título
      A GRASP Strategy for a More Constrained School Timetabling Problem
    • Ano
      2007
      Título
      Um Algoritmo Dinâmico para Árvore de Caminhos Mínimos
    • Ano
      2007
      Título
      A Hybrid Heuristic for Forest Harvest and Transportation Problems
    • Ano
      2005
      Título
      Constraint Programming and GRASP Approaches to Schedule Oil Well Drillings
    • Ano
      2005
      Título
      Formal Verification and Parameter Synthesis for Hybrid Real Systems
    • Ano
      2005
      Título
      GRASP strategies for scheduling activities at oil wells with resource displacement
    • Ano
      2003
      Título
      Um Algoritmo Genético para Projeto de Redes de Telecomunicações
    • Ano
      2003
      Título
      Aplicação de Heurísticas de Busca Local ao Problema do Agendamento Escolar
    • Ano
      2003
      Título
      Algoritmos Genéticos Aplicados ao Problema de Agendamento de Atividades Acadêmicas
    • Ano
      2002
      Título
      Problemas de Escalonamento de pessoal em enfermarias hospitalares
    • Ano
      2002
      Título
      Hybrid methods for optimizing petroleum extraction in deep sea waters
    • Ano
      2002
      Título
      Estudo e Desenvolvimento de ferramentas Híbridas para Problemas de Sequenciamento e Roteamento de Recursos
    • Ano
      2001
      Título
      On almost deterministic timed automata
    • Ano
      2000
      Título
      Hybrid column generation approaches for solving real world crew managemento problems
    • Ano
      2000
      Título
      Formal verification and synthesis for an air traffic management system
    • Ano
      2000
      Título
      Modeling and solving a crew rostering problem with cinstraint logic programming and integer programming
    • Ano
      2000
      Título
      Semi-decision procedure for testing language inclusion of non-deterministic timed automata
    • Ano
      1999
      Título
      Aplicações de programação com restrições
    • Ano
      1999
      Título
      On the verification of non-deterministic automata specifications of probabilistic real-time systems
    • Ano
      1999
      Título
      Solving large scale crew scheduling problems with constraint and integer programming
    • Ano
      1999
      Título
      Analise, verificaçaõ e sintese de segmnetos de vias de um sistema metroviario
    • Ano
      1985
      Título
      On the cost of the viable prefix property
    • Ano
      1985
      Título
      Deteção imediata de erros em analisadores de precedencia
    • Ano
      1983
      Título
      Uma introdução a tecnicas de analise sintatica
    • Ano
      1981
      Título
      Algumas estrategias para analise sintatica e seu interrelacionamento
Adilson L Bonifacio Cid Carvalho de Souza Rachid Rebiha Nadir Matringe Joao Meidanis Gabriel Lima Maria Angélica Souza Tallys Hoover Yunes Guilherme Albuquerque Pinto Cleber Mira Renato P. Bossolan Tony Minoru Tamura Lopes Rafael Schmitz Daniel F. Ferber Ítalo T Freitas paulo viadanna Andre Augusto Cire Joao B de Camargo Jr Jorge Rady de Almeida Jr Alex B. Grilo Tiago M. Dias Adenilso Simão Fernando Granha Jeronimo Nilton Sergio Volpato Filho Pedro Feijão Celmar Guimarães da Silva Rafael Augusto Scaraficci Juliana M. do Nascimento Lehilton L.C. Pedrosa Silvana Livramento Mário M Harada Rogério A Miranda M. A. Casanova Flávio Keidi Miyazawa Romulo Albuquerque Pereira Fernando Marcellino José Maldonado Rmulo A. Pereira Nelson Pereira Filho Glauber M. Cabral Marcelo Dreux Jeronimo S. Travelho Gustavo Lima Chaves MATRINGE, NADIR REBIHA, RACHID Denise Guarnieri Batista Marcelo R. de Oliveria Igor Carboni Oliveira Rafael S. V. de Barros Nizan Omar Arnaldo Vieira Moura Maikol M Rodrigues Christopher Bader Alexandre Mota Claudio Leonardo Lucchesi R. C. B. Martins Bruno Medina Haroldo F. de Campos Velho J S Travelho H. F. de Campos Velho Pericles B Moraes Lutz Schroder E. H. Enari L. Tucherman Maria Cristina F Quelhas Veera Lucia Simelink Lidianne H. Jardim Tiago Serra Azevedo Silva Volnei dos Santos Walter Carnielli Christian Maeder Till Mossakowski Willians J M Pinsetta Katia M Rosa Cleusa R M R Milani Rafael Lamare Silveira
testing invariant generation Portfolio Optimization formal verification hybrid system Constraint Programming completeness test suites GRASP formal methods real-time Otimização Combinatória Escalonamento Hybrid algorithms Linguagens formais Verification PETRÓLEO Heuristic Scheduling Programação por Restrições test case generation termination finite state machine linear program otimizaçao quantum finite automata endomorphism programaação por restrições timed systems model checking Integer Programming quantum computing agendamento escolar malware Verificação Formal languages PETROLEUM Busca Tabu Testes Algoritmo genético Hybrid automata crew scheduling Computação quantica Heurísticas dutos Air traffic control Power Generation Síntese Autômatos Non-linear energia Syntax Driven Parsers Análise sintática Detection Automatos hibridos ESCOAMENTO automatos finitos non-terminant program quantum automata Tempo-Real Metodos Formais Algebraic invariants algoritmo Modelo Computacional Malha metroviaria Non-linear loops geração automática bancos de dados Metaheurística Heurística Context-Free Grammars Grammatical Coverings Parsing Forest Fires vírus initial values visualization disantanglers hascasl Planning affine programs automatic closest pair transporte Arhur-Merlin games decidabilidade meta-heurística conjuntos marker automata sistemas distribuídos probabilistic non-terminating initial value Programação Linear FSM models Storage system transcendental Telecommunication viagens specification languages assymptotically Grafos Önibus Paralelismo network design programação viagens Forest support bus lines Folga Padrões obfuscation relações de recorrência Programação Inteira Controle de tráfego aéreo integers blocking sequences complete decision blocking sequence finance de Finetti Checkable proofs drilling Escalabilidade vehicle heurísticas evolutivas Transportation incremental discrete models refinamentos otimização 0-1 allgoritmos preferêncais invariant programação de viagens power utilities nurse, scheduling, heuristic, genetic algorithm, t Algoritmos amtodos formais object oriented monoides livres compactação de código logica condicional INTELIGENCIA ARTIFICIAL arvore pqr sequenciamento, programação por restrições, meta-h telecomunicações, projeto, rede, algoritmo genétic programação funcional conputacao quantica escalas de serviço Ogden Lemma otimikzação Invariantes Analisadores Sintaticos Context-Free-Grammars ANÁLISE Program Correctness K-E-G Method Genetic algorithm Programming languages Linguagens Deterministicas visualização automatos finitos, automatos temporizados, sistema Correcao de Programas escalonaamento linhas urbanas Enfermagem Geometria Computacional programação em C refactorings Compiler conjuntos reconheciveis relações racionais máquina Java decisões falhas Bioinformática Lagrangeano Complexidade crew Modelo Denotacional Merlin-Arthur ALGORITMOS HIBRIDOS Job-shop NP-Completude verificação formal Padrões sintáticos Correctness Pollutants quântico functional languages hibrid systems management seleção disentanglers parameter synthesis
CTIT UFMG