Arnaldo Vieira Moura

According to our database, Arnaldo Vieira Moura authored at least 43 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Conformance Checking and Pushdown Reactive Systems.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

CLEI Electron. J., March, 2023

2021

Testing Pushdown Systems.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

CoRR, 2021

Testing Asynchronous Reactive Systems: Beyond the ioco framework.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

CLEI Electron. J., 2021

2019

Complete Test Suites for Input/Output Systems.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

CoRR, 2019

2017

Test suite completeness and black box testing.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

Softw. Test. Verification Reliab., 2017

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

Inf. Softw. Technol., 2017

An improved visualization-based approach for project portfolio selection.

Celmar Guimarães da Silva, João Meidanis, Arnaldo Vieira Moura, Maria Angélica Souza, Paulo Viadanna Jr., Marcello R. de Oliveira, Maurício Rossi de Oliveira, Lidianne H. Jardim, Gabriel A. Costa Lima, Rafael S. V. de Barros

Comput. Hum. Behav., 2017

2016

Discretising and testing timed contextual models.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

Int. J. Comput. Appl. Technol., 2016

A Visualization-Based Approach for Project Portfolio Selection.

Celmar Guimarães da Silva, João Meidanis, Arnaldo Vieira Moura, Maria Angélica Souza, Paulo Viadanna Jr., Gabriel A. Costa Lima, Rafael S. V. de Barros

Proceedings of the New Advances in Information Systems and Technologies, 2016

2015

Generating invariants for non-linear hybrid systems.

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

Theor. Comput. Sci., 2015

Generating invariants for non-linear loops by linear algebraic methods.

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

Formal Aspects Comput., 2015

Intrinsic Properties of Complete Test Suites.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

CoRR, 2015

2014

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

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

CoRR, 2014

Characterization of Termination for Linear Loop Programs.

Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe

CoRR, 2014

Generating Asymptotically Non-Terminating Initial Values for Linear Programs.

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

CoRR, 2014

Test Suite Completeness and Partial Models.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

On the completeness of test suites.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

Proceedings of the Symposium on Applied Computing, 2014

Partial Models and Weak Equivalence.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Incremental testing of finite state machines.

Lehilton Lelis Chaves Pedrosa, Arnaldo Vieira Moura

Softw. Test. Verification Reliab., 2013

A new method for testing timed systems.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

Softw. Test. Verification Reliab., 2013

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

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2012

Model Partitions and Compact Test Case Suites.

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

Int. J. Found. Comput. Sci., 2012

Planning the operation of a large real-world oil pipeline.

Tony Minoru Tamura Lopes, Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré

Comput. Chem. Eng., 2012

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

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A GRASP-based Heuristic for the Project Portfolio Selection Problem.

Cleber V. G. Mira, Pedro Feijão, Maria Angélica Souza, Arnaldo Vieira Moura, Joao Meidanis, Gabriel A. Costa Lima, Rafael Schmitz, Renato P. Bossolan, Italo T. Freitas

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2010

A hybrid model for a multiproduct pipeline planning and scheduling problem.

Tony Minoru Tamura Lopes, André A. Ciré, Cid Carvalho de Souza, Arnaldo Vieira Moura

Constraints An Int. J., 2010

Generalized Partial Test Case Generation Method.

Lehilton Lelis Chaves Pedrosa, Arnaldo Vieira Moura

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

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

Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

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

Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008

Scheduling activities at oil wells with resource displacement.

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

Int. Trans. Oper. Res., 2008

A Generalized Model-Based Test Generation Method.

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

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.

Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura

Proceedings of the Theoretical Aspects of Computing, 2008

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

Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré, Tony Minoru Tamura Lopes

Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, 2008

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

Arnaldo Vieira Moura, Rafael Augusto Scaraficci

Proceedings of the 11th IEEE International Conference on Computational Science and Engineering, 2008

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

Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré, Tony Minoru Tamura Lopes

Proceedings of the Principles and Practice of Constraint Programming, 2008

2006

Vehicle and crew scheduling for urban bus lines.

Maikol M. Rodrigues, Cid C. de Souza, Arnaldo Vieira Moura

Eur. J. Oper. Res., 2006

Towards Deriving Test Sequences by Model Checking.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado

Proceedings of the Brazilian Symposium on Formal Methods, 2006

2005

Hybrid Column Generation Approaches for Urban Transit Crew Management Problems.

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

Transp. Sci., 2005

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

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

Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

2000

Solving Very Large Crew Scheduling Problems to Optimality.

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

Proceedings of the Applied Computing 2000, 2000

A Hybrid Approach for Solving Large Scale Crew Scheduling Problems.

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

Proceedings of the Practical Aspects of Declarative Languages, 2000

Modeling and Parameters Synthesis for an Air Traffic Management System.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Formal Parameters Synthesis for Track Segments of a Subway Mesh.

Adilson Luiz Bonifácio, Arnaldo Vieira Moura, João Batista Camargo Jr., Jorge Rady de Almeida Jr.

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000