Arnaldo Vieira Moura

发表

A New Discretization Method for Automatic Test Generation for Timed Systems

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2008 .

Constructing nurse schedules at large hospitals

Cid C. de Souza, Arnaldo Vieira Moura, Tiago M. Dias, 2003 .

A hybrid model for a multiproduct pipeline planning and scheduling problem

Cid C. de Souza, André Augusto Ciré, Arnaldo Vieira Moura, 2009, Constraints.

On the completeness of test suites

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2014, SAC.

Generating invariants for non-linear hybrid systems

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2015, Theor. Comput. Sci..

Scheduling activities at oil wells with resource displacement

Cid C. de Souza, Arnaldo Vieira Moura, Romulo A. Pereira, 2008, Int. Trans. Oper. Res..

A Generalized Model-Based Test Generation Method

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.

Incremental testing of finite state machines

Arnaldo Vieira Moura, Lehilton L. C. Pedrosa, L. L. Pedrosa, 2013, Softw. Test. Verification Reliab..

Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2010, SAS.

Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2013, SCSS.

Experimental comparison of approaches for checking completeness of test suites from finite state machines

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, 2017, Inf. Softw. Technol..

Solving very large crew scheduling problems to optimality

Cid C. de Souza, Tallys H. Yunes, Arnaldo Vieira Moura, 2000, SAC '00.

On the Termination of Linear and Affine Programs over the Integers pdf

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2014, ArXiv.

Test suite completeness and black box testing

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2017, Softw. Test. Verification Reliab..

Comparative Experiments with GRASP and Constraint Programming for the Oil Well Drilling Problem

Cid C. de Souza, Arnaldo Vieira Moura, Romulo A. Pereira, 2005, WEA.

Test Suite Completeness and Partial Models

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, A. Bonifácio, 2014, SEFM.

Semantic Malware Resistance Using Inductive Invariants

Arnaldo Vieira Moura, Rachid Rebiha, 2010 .

Model Partitions and Compact Test Case Suites

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, 2012, Int. J. Found. Comput. Sci..

Generating invariants for non-linear loops by linear algebraic methods

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2015, Formal Aspects of Computing.

Planning and Scheduling the Operation of a Very Large Oil Pipeline Network

Cid C. de Souza, André Augusto Ciré, Arnaldo Vieira Moura, 2008, CP.

PROJECT SCHEDULING OPTIMIZATION IN ELECTRICAL POWER UTILITIES

João Meidanis, Arnaldo Vieira Moura, Cleber Mira, 2015 .

Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2009, HSCC.

Characterization of Termination for Linear Loop Programs pdf

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2014, ArXiv.

Hybrid Heuristic Strategies for Planning and Scheduling Forest Harvest and Transportation Activities

Arnaldo Vieira Moura, Rafael Augusto Scaraficci, R. Scaraficci, 2008, 2008 11th IEEE International Conference on Computational Science and Engineering.

Escalas de serviço em enfermeiras de hospitais

Cid C. de Souza, Arnaldo Vieira Moura, Daniel Felix Ferber, 2005 .

Discretising and testing timed contextual models

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2016, Int. J. Comput. Appl. Technol..

Modeling and Parameters Synthesis for an Air Traffic Management System

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2000, FMCAD.

Hybrid Column Generation Approaches for Urban Transit Crew Management Problems

Cid C. de Souza, Tallys H. Yunes, Arnaldo Vieira Moura, 2005, Transp. Sci..

Generating Asymptotically Non-Terminating Initial Values for Linear Programs pdf

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2014, ArXiv.

A GRASP-based Heuristic for the Project Portfolio Selection Problem

João Meidanis, Pedro Feijão, Arnaldo Vieira Moura, 2012, 2012 IEEE 15th International Conference on Computational Science and Engineering.

Planning the operation of a large real-world oil pipeline

Cid C. de Souza, André Augusto Ciré, Arnaldo Vieira Moura, 2012, Comput. Chem. Eng..

A Visualization-Based Approach for Project Portfolio Selection

João Meidanis, Arnaldo Vieira Moura, Celmar Guimarães da Silva, 2016, WorldCIST.

An improved visualization-based approach for project portfolio selection

Arnaldo Vieira Moura, Celmar Guimarães da Silva, Paulo Viadanna, 2017, Comput. Hum. Behav..

Vehicle and crew scheduling for urban bus lines

Cid C. de Souza, Arnaldo Vieira Moura, Maikol M. Rodrigues, 2006, Eur. J. Oper. Res..

Portfolio Selection and Scheduling in the Power Generation Industry

Arnaldo Vieira Moura, Cleber Mira, Renato P. Bossolan, 2013 .

A conformance relation and complete test suites for I/O systems

Arnaldo Vieira Moura, Adilson Luiz Bonifacio, 2019 .

Generalized Partial Test Case Generation Method

Arnaldo Vieira Moura, Lehilton L. C. Pedrosa, L. L. Pedrosa, 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.

Intrinsic Properties of Complete Test Suites pdf

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2015, ArXiv.

Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem

Cid C. de Souza, André Augusto Ciré, Arnaldo Vieira Moura, 2008, 2008 11th IEEE International Conference on Computational Science and Engineering.

Towards Deriving Test Sequences by Model Checking

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, 2006, SBMF.

A new method for testing timed systems

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2013, Softw. Test. Verification Reliab..

Formal parameters synthesis for track segments of a subway mesh

João Batista Camargo, Jorge Rady de Almeida, Adilson Luiz Bonifácio, 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).

Endomorphisms for Non-trivial Non-linear Loop Invariant Generation

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2008, ICTAC.

Transcendental inductive invariants generation for non-linear differential and hybrid systems

Arnaldo Vieira Moura, Rachid Rebiha, Nadir Matringe, 2012, HSCC '12.

A Hybrid Approach for Solving Large Scale Crew Scheduling Problems

Cid C. de Souza, Tallys H. Yunes, Arnaldo Vieira Moura, 2000, PADL.

Partial Models and Weak Equivalence

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2014, ICTAC.

Testing Asynchronous Reactive Systems: Beyond the ioco framework

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, 2021, CLEI Electron. J..

Testing Pushdown Systems pdf

Arnaldo Vieira Moura, Adilson Luiz Bonifacio, A. Bonifácio, 2021, ArXiv.