Arnaldo Vieira Moura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2000–2016
Best venue rank
C
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | WorldCIST | A Visualization-Based Approach for Project Portfolio Selection. | Celmar Guimares da Silva, Joo Meidanis, Arnaldo Vieira Moura, Maria Anglica Souza, Paulo Viadanna Jr., Gabriel A. Costa Lima, Rafael S. V. de Barros |
| 2014 | ICTAC | Partial Models and Weak Equivalence. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2014 | SAC | On the completeness of test suites. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2014 | SEFM | Test Suite Completeness and Partial Models. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2010 | SAS | Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods. | Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha |
| 2008 | CP | 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 |
| 2008 | ICTAC | Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. | Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura |
| 2008 | SEFM | A Generalized Model-Based Test Generation Method. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura, Adenilso da Silva Simo |
| 2000 | FMCAD | Modeling and Parameters Synthesis for an Air Traffic Management System. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2000 | PADL | A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. | Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza |
| 2000 | SAC | Solving Very Large Crew Scheduling Problems to Optimality. | Tallys H. Yunes, Arnaldo Vieira Moura, Cid C. de Souza |