Arnaldo Vieira Moura

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 9

Top Topics

Finite State Machines

Portfolio Selection

Top Venues

Softw. Test. Verification Reliab.

CLEI Electron. J.

Publications

Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Conformance Checking and Pushdown Reactive Systems. CLEI Electron. J. 25 (3) (2023)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Testing Asynchronous Reactive Systems: Beyond the ioco framework. CLEI Electron. J. 24 (2) (2021)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Testing Pushdown Systems. CoRR (2021)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Complete Test Suites for Input/Output Systems. CoRR (2019)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Test suite completeness and black box testing. Softw. Test. Verification Reliab. 27 (1-2) (2017)
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
An improved visualization-based approach for project portfolio selection. Comput. Hum. Behav. 73 (2017)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
Experimental comparison of approaches for checking completeness of test suites from finite state machines. Inf. Softw. Technol. 92 (2017)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Discretising and testing timed contextual models. Int. J. Comput. Appl. Technol. 54 (2) (2016)
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
A Visualization-Based Approach for Project Portfolio Selection. WorldCIST (1) (2016)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Intrinsic Properties of Complete Test Suites. CoRR (2015)
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
Generating invariants for non-linear hybrid systems. Theor. Comput. Sci. 594 (2015)
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
Generating invariants for non-linear loops by linear algebraic methods. Formal Aspects Comput. 27 (5-6) (2015)
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Generating Asymptotically Non-Terminating Initial Values for Linear Programs. CoRR (2014)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Test Suite Completeness and Partial Models. SEFM (2014)
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
On the Termination of Linear and Affine Programs over the Integers. CoRR (2014)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
On the completeness of test suites. SAC (2014)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Partial Models and Weak Equivalence. ICTAC (2014)
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
Characterization of Termination for Linear Loop Programs. CoRR (2014)
Lehilton Lelis Chaves Pedrosa, Arnaldo Vieira Moura
Incremental testing of finite state machines. Softw. Test. Verification Reliab. 23 (8) (2013)
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. SCSS (2013)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
A new method for testing timed systems. Softw. Test. Verification Reliab. 23 (2) (2013)
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
A GRASP-based Heuristic for the Project Portfolio Selection Problem. CSE (2012)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
Model Partitions and Compact Test Case Suites. Int. J. Found. Comput. Sci. 23 (1) (2012)
Tony Minoru Tamura Lopes, Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré
Planning the operation of a large real-world oil pipeline. Comput. Chem. Eng. 46 (2012)
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Transcendental inductive invariants generation for non-linear differential and hybrid systems. HSCC (2012)
Tony Minoru Tamura Lopes, André A. Ciré, Cid Carvalho de Souza, Arnaldo Vieira Moura
A hybrid model for a multiproduct pipeline planning and scheduling problem. Constraints An Int. J. 15 (2) (2010)
Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods. SAS (2010)
Lehilton Lelis Chaves Pedrosa, Arnaldo Vieira Moura
Generalized Partial Test Case Generation Method. SSIRI (Companion) (2010)
Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. HSCC (2009)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado
Towards Deriving Test Sequences by Model Checking. Electron. Notes Theor. Comput. Sci. 195 (2008)
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. ICTAC (2008)
Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré, Tony Minoru Tamura Lopes
Planning and Scheduling the Operation of a Very Large Oil Pipeline Network. CP (2008)
Arnaldo Vieira Moura, Romulo A. Pereira, Cid C. de Souza
Scheduling activities at oil wells with resource displacement. Int. Trans. Oper. Res. 15 (6) (2008)
Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré, Tony Minoru Tamura Lopes
Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem. CSE (2008)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão
A Generalized Model-Based Test Generation Method. SEFM (2008)
Arnaldo Vieira Moura, Rafael Augusto Scaraficci
Hybrid Heuristic Strategies for Planning and Scheduling Forest Harvest and Transportation Activities. CSE (2008)
Maikol M. Rodrigues, Cid C. de Souza, Arnaldo Vieira Moura
Vehicle and crew scheduling for urban bus lines. Eur. J. Oper. Res. 170 (3) (2006)
Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza
Hybrid Column Generation Approaches for Urban Transit Crew Management Problems. Transp. Sci. 39 (2) (2005)
Romulo A. Pereira, Arnaldo Vieira Moura, Cid C. de Souza
Comparative Experiments with GRASP and Constraint Programming for the Oil Well Drilling Problem. WEA (2005)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura
Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD (2000)
Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. PADL (2000)
Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza
Solving Very Large Crew Scheduling Problems to Optimality. SAC (1) (2000)
Adilson Luiz Bonifácio, Arnaldo Vieira Moura, João Batista Camargo Jr., Jorge Rady de Almeida Jr.
Formal Parameters Synthesis for Track Segments of a Subway Mesh. ECBS (2000)