Arnaldo V. Moura

Publication Activity (10 Years)

Years Active: 1985-2010
Publications (10 Years): 0

Publications

Lehilton L. C. Pedrosa, Arnaldo V. Moura
A New Method for Incremental Testing of Finite State Machines. NASA Formal Methods (2010)
Arnaldo V. Moura, Guilherme A. Pinto
Classes of Timed Automata and the Undecidability of Universality. Fundam. Informaticae 82 (1-2) (2008)
Alexandre Mota, Arnaldo V. Moura
Preface. Electron. Notes Theor. Comput. Sci. 130 (2005)
Silvana Livramento, Arnaldo V. Moura, Flavio Keidi Miyazawa, Mário M. Harada, Rogério A. Miranda
A Genetic Algorithm for Telecommunication Network Design. EvoWorkshops (2004)
Arnaldo V. Moura, Guilherme A. Pinto
Classes of Timed Automata and the Undecidability of Universality. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Arnaldo V. Moura, Guilherme A. Pinto
A note on the verification of automata specifications of probabilistic real-time systems. Inf. Process. Lett. 82 (5) (2002)
Arnaldo V. Moura
Early Error Detection in Syntax-Driven Parsers. IBM J. Res. Dev. 30 (6) (1986)
Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman
On the Correctness of a Local Storage Subsystem. PODS (1985)