 | 2009 |
|---|
| 7 |       | Nadir Matringe,
Arnaldo Vieira Moura,
Rachid Rebiha:
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems.
HSCC 2009: 445-449 |
| 2008 |
|---|
| 6 | | Arnaldo Vieira Moura,
Rafael Augusto Scaraficci:
Hybrid Heuristic Strategies for Planning and Scheduling Forest Harvest and Transportation Activities.
CSE 2008: 447-454 |
| 5 | | Rachid Rebiha,
Nadir Matringe,
Arnaldo Vieira Moura:
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation.
ICTAC 2008: 425-439 |
| 4 | | Adilson Luiz Bonifácio,
Arnaldo Vieira Moura,
Adenilso da Silva Simão:
A Generalized Model-Based Test Generation Method.
SEFM 2008: 139-148 |
| 3 | | Adilson Luiz Bonifácio,
Arnaldo Vieira Moura,
Adenilso da Silva Simão,
José Carlos Maldonado:
Towards Deriving Test Sequences by Model Checking.
Electr. Notes Theor. Comput. Sci. 195: 21-40 (2008) |
| 2000 |
|---|
| 2 | | Adilson Luiz Bonifácio,
Arnaldo Vieira Moura,
Joao Batista de Camargo Jr.,
Jorge Rady de Almeida Jr.:
Formal Parameters Synthesis for Track Segments of a Subway Mesh.
ECBS 2000: 263-271 |
| 1 | | Adilson Luiz Bonifácio,
Arnaldo Vieira Moura:
Modeling and Parameters Synthesis for an Air Traffic Management System.
FMCAD 2000: 316-334 |
