Arnaldo Vieira Moura

According to our database1, Arnaldo Vieira Moura authored at least 40 papers between 2000 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Complete Test Suites for Input/Output Systems.
CoRR, 2019

Test suite completeness and black box testing.
Softw. Test. Verification Reliab., 2017

Experimental comparison of approaches for checking completeness of test suites from finite state machines.
Inf. Softw. Technol., 2017

An improved visualization-based approach for project portfolio selection.
Comput. Hum. Behav., 2017

Discretising and testing timed contextual models.
IJCAT, 2016

A Visualization-Based Approach for Project Portfolio Selection.
Proceedings of the New Advances in Information Systems and Technologies, 2016

Generating invariants for non-linear hybrid systems.
Theor. Comput. Sci., 2015

Generating invariants for non-linear loops by linear algebraic methods.
Formal Asp. Comput., 2015

Intrinsic Properties of Complete Test Suites.
CoRR, 2015

On the Termination of Linear and Affine Programs over the Integers.
CoRR, 2014

Characterization of Termination for Linear Loop Programs.
CoRR, 2014

Generating Asymptotically Non-Terminating Initial Values for Linear Programs.
CoRR, 2014

Test Suite Completeness and Partial Models.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

On the completeness of test suites.
Proceedings of the Symposium on Applied Computing, 2014

Partial Models and Weak Equivalence.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Incremental testing of finite state machines.
Softw. Test. Verification Reliab., 2013

A new method for testing timed systems.
Softw. Test. Verification Reliab., 2013

Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs.
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Model Partitions and Compact Test Case Suites.
Int. J. Found. Comput. Sci., 2012

Planning the operation of a large real-world oil pipeline.
Comput. Chem. Eng., 2012

Transcendental inductive invariants generation for non-linear differential and hybrid systems.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

A GRASP-based Heuristic for the Project Portfolio Selection Problem.
Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

A hybrid model for a multiproduct pipeline planning and scheduling problem.
Constraints An Int. J., 2010

Generalized Partial Test Case Generation Method.
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.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Scheduling activities at oil wells with resource displacement.
Int. Trans. Oper. Res., 2008

Towards Deriving Test Sequences by Model Checking.
Electron. Notes Theor. Comput. Sci., 2008

A Generalized Model-Based Test Generation Method.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.
Proceedings of the Theoretical Aspects of Computing, 2008

Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem.
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.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2008

Vehicle and crew scheduling for urban bus lines.
Eur. J. Oper. Res., 2006

Hybrid Column Generation Approaches for Urban Transit Crew Management Problems.
Transportation Science, 2005

Comparative Experiments with GRASP and Constraint Programming for the Oil Well Drilling Problem.
Proceedings of the Experimental and Efficient Algorithms, 4th InternationalWorkshop, 2005

Solving Very Large Crew Scheduling Problems to Optimality.
Proceedings of the Applied Computing 2000, 2000

A Hybrid Approach for Solving Large Scale Crew Scheduling Problems.
Proceedings of the Practical Aspects of Declarative Languages, 2000

Modeling and Parameters Synthesis for an Air Traffic Management System.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Formal Parameters Synthesis for Track Segments of a Subway Mesh.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000