Arnaldo Vieira Moura

43 papers A 1B 4C 3Misc 1Journal 22Unranked 12

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