dblp.uni-trier.dewww.uni-trier.de

Arnaldo Vieira Moura

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EENadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha: Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems. HSCC 2009: 445-449
2008
6EEArnaldo Vieira Moura, Rafael Augusto Scaraficci: Hybrid Heuristic Strategies for Planning and Scheduling Forest Harvest and Transportation Activities. CSE 2008: 447-454
5EERachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura: Endomorphisms for Non-trivial Non-linear Loop Invariant Generation. ICTAC 2008: 425-439
4EEAdilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão: A Generalized Model-Based Test Generation Method. SEFM 2008: 139-148
3EEAdilson 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
2EEAdilson 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
1EEAdilson Luiz Bonifácio, Arnaldo Vieira Moura: Modeling and Parameters Synthesis for an Air Traffic Management System. FMCAD 2000: 316-334

Coauthor Index

1Jorge Rady de Almeida Jr. [2]
2Adilson Luiz Bonifácio [1] [2] [3] [4]
3Joao Batista de Camargo Jr. [2]
4José Carlos Maldonado [3]
5Nadir Matringe [5] [7]
6Rachid Rebiha [5] [7]
7Rafael Augusto Scaraficci [6]
8Adenilso da Silva Simão [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)