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. (ECBS, 2000)

Modeling and Parameters Synthesis for an Air Traffic Management System. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (FMCAD, 2000)

A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. - Tallys H. Yunes; Arnaldo Vieira Moura; Cid C. de Souza (PADL, 2000)

Solving Very Large Crew Scheduling Problems to Optimality. - Tallys H. Yunes; Arnaldo Vieira Moura; Cid C. de Souza (SAC (1), 2000)

Comparative Experiments with GRASP and Constraint Programming for the Oil Well Drilling Problem. - Romulo A. Pereira; Arnaldo Vieira Moura; Cid C. de Souza (WEA, 2005)

Hybrid Column Generation Approaches for Urban Transit Crew Management Problems. - Tallys H. Yunes; Arnaldo Vieira Moura; Cid C. de Souza (Transp. Sci., 2005)

Towards Deriving Test Sequences by Model Checking. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado (SBMF, 2006)

Vehicle and crew scheduling for urban bus lines. - Maikol M. Rodrigues; Cid C. de Souza; Arnaldo Vieira Moura (Eur. J. Oper. Res., 2006)

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 (CP, 2008)

Hybrid Heuristic Strategies for Planning and Scheduling Forest Harvest and Transportation Activities. - Arnaldo Vieira Moura; Rafael Augusto Scaraficci (CSE, 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 (CSE, 2008)

Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. - Rachid Rebiha; Nadir Matringe; Arnaldo Vieira Moura (ICTAC, 2008)

A Generalized Model-Based Test Generation Method. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão (SEFM, 2008)

Scheduling activities at oil wells with resource displacement. - Arnaldo Vieira Moura; Romulo A. Pereira; Cid C. de Souza (Int. Trans. Oper. Res., 2008)

Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. - Nadir Matringe; Arnaldo Vieira Moura; Rachid Rebiha (HSCC, 2009)

Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods. - Nadir Matringe; Arnaldo Vieira Moura; Rachid Rebiha (SAS, 2010)

Generalized Partial Test Case Generation Method. - Lehilton Lelis Chaves Pedrosa; Arnaldo Vieira Moura (SSIRI (Companion), 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)

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 (CSE, 2012)

Transcendental inductive invariants generation for non-linear differential and hybrid systems. - Rachid Rebiha; Nadir Matringe; Arnaldo Vieira Moura (HSCC, 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)

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)

Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. - Rachid Rebiha; Nadir Matringe; Arnaldo Vieira Moura (SCSS, 2013)

A new method for testing timed systems. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (Softw. Test. Verification Reliab., 2013)

Incremental testing of finite state machines. - Lehilton Lelis Chaves Pedrosa; Arnaldo Vieira Moura (Softw. Test. Verification Reliab., 2013)

Partial Models and Weak Equivalence. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (ICTAC, 2014)

On the completeness of test suites. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (SAC, 2014)

Test Suite Completeness and Partial Models. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (SEFM, 2014)

Generating Asymptotically Non-Terminating Initial Values for Linear Programs. - Rachid Rebiha; Nadir Matringe; Arnaldo Vieira Moura (CoRR, 2014)

Characterization of Termination for Linear Loop Programs. - Rachid Rebiha; Arnaldo Vieira Moura; Nadir Matringe (CoRR, 2014)

On the Termination of Linear and Affine Programs over the Integers. - Rachid Rebiha; Arnaldo Vieira Moura; Nadir Matringe (CoRR, 2014)

Intrinsic Properties of Complete Test Suites. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CoRR, 2015)

Generating invariants for non-linear loops by linear algebraic methods. - Rachid Rebiha; Arnaldo Vieira Moura; Nadir Matringe (Formal Aspects Comput., 2015)

Generating invariants for non-linear hybrid systems. - Rachid Rebiha; Arnaldo Vieira Moura; Nadir Matringe (Theor. Comput. Sci., 2015)

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 (WorldCIST (1), 2016)

Discretising and testing timed contextual models. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (Int. J. Comput. Appl. Technol., 2016)

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)

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)

Test suite completeness and black box testing. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (Softw. Test. Verification Reliab., 2017)

Complete Test Suites for Input/Output Systems. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CoRR, 2019)

Testing Asynchronous Reactive Systems: Beyond the ioco framework. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CLEI Electron. J., 2021)

Testing Pushdown Systems. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CoRR, 2021)

Conformance Checking and Pushdown Reactive Systems. - Adilson Luiz Bonifácio; Arnaldo Vieira Moura (CLEI Electron. J., 2023)