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

Última atualização do Lattes: 28.12.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
      2017
      Título
      Generating test suites for input/output labeled transition 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
      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
      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
      2010
      Título
      Testing combined finite state machines.
    • 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
      Deteção imediata de erros em analisadores de precedencia
    • Ano
      1985
      Título
      On the cost of the viable prefix property
    • 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 Guilherme Albuquerque Pinto Tallys Hoover Yunes Maria Angélica Souza Cleber Mira Renato P. Bossolan Tony Minoru Tamura Lopes Daniel F. Ferber Adenilso Simão Joao B de Camargo Jr Jorge Rady de Almeida Jr Andre Augusto Cire Alex B. Grilo Tiago M. Dias Rafael Schmitz Ítalo T Freitas paulo viadanna Fernando Granha Jeronimo Nilton Sergio Volpato Filho Rafael Augusto Scaraficci Lehilton L.C. Pedrosa Celmar Guimarães da Silva Juliana M. do Nascimento Pedro Feijão 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 test suites Optimization formal verification completeness Constraint Programming hybrid system GRASP real-time Hybrid algorithms Petróleo Verification Linguagens formais test case generation Otimização Combinatória formal methods Escalonamento Heuristic linear program termination finite state machine Scheduling Programação por Restrições quantum computing Integer Programming quantum finite automata model checking programaação por restrições endomorphism Otimização agendamento escolar timed systems Testes Formal languages Computação quântica malware Algoritmo Genético PETROLEUM Busca Tabu Hybrid automata Verificação crew scheduling Heurísticas reactive systems Non-linear initial values invariants dutos Tempo-Real Syntax Driven Parsers quantum automata Non-linear loops Modelo Computacional Power Generation Detection automatos finitos Algebraic non-terminant program Síntese Vírus Autômatos bancos de dados Análise sintática Malha metroviaria Metaheurística Heurística algoritmo Air traffic control geração automática ESCOAMENTO Context-Free Grammars Grammatical Coverings Metodos Formais Automatos hibridos Forest Fires Parsing visualization closest pair finance blocking sequence decision Storage system specification languages Telecommunication Planning transporte FSM models decidabilidade Invariantes transcendental marker automata non-terminating initial value affine programs disantanglers Arhur-Merlin games sistemas distribuídos conjuntos meta-heurística viagens Programação Linear otimikzação probabilistic automatic de Finetti Checkable proofs Önibus network design drilling 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 Paralelismo Grafos assymptotically Escalabilidade vehicle heurísticas evolutivas Transportation incremental discrete models refinamentos otimização 0-1 allgoritmos programação de viagens complete blocking sequences integers preferêncais hascasl escalas de serviço automatos finitos, automatos temporizados, sistema programação funcional visualização Programming languages Genetic algorithm linhas urbanas escalonaamento ALGORITMOS HIBRIDOS Job-shop NP-Completude K-E-G Method Padrões sintáticos Program Correctness Correcao de Programas telecomunicações, projeto, rede, algoritmo genétic conputacao quantica nurse, scheduling, heuristic, genetic algorithm, t power utilities Algoritmos amtodos formais object oriented monoides livres compactação de código logica condicional arvore pqr Inteligência Artificial Ogden Lemma sequenciamento, programação por restrições, meta-h Correctness Pollutants quântico verificação formal programação em C refactorings Compiler conjuntos reconheciveis relações racionais máquina Java Bioinformática decisões Falhas Lagrangeano Complexidade parameter synthesis Geometria Computacional Enfermagem ANÁLISE functional languages hibrid systems Context-Free-Grammars management seleção Analisadores Sintaticos Linguagens Deterministicas disentanglers Merlin-Arthur energia Modelo Denotacional crew invariant
CTIT UFMG