On the Correctness of a Local Storage Subsystem. - Marco A. Casanova; Arnaldo V. Moura; Luiz Tucherman (PODS, 1985)

Early Error Detection in Syntax-Driven Parsers. - Arnaldo V. Moura (IBM J. Res. Dev., 1986)

A note on the verification of automata specifications of probabilistic real-time systems. - Arnaldo V. Moura; Guilherme A. Pinto (Inf. Process. Lett., 2002)

A Genetic Algorithm for Telecommunication Network Design. - Silvana Livramento; Arnaldo V. Moura; Flavio Keidi Miyazawa; Mário M. Harada; Rogério A. Miranda (EvoWorkshops, 2004)

Preface. - Alexandre Mota 001; Arnaldo V. Moura (SBMF, 2004)

Classes of Timed Automata and the Undecidability of Universality. - Arnaldo V. Moura; Guilherme A. Pinto (Fundam. Informaticae, 2008)

A New Method for Incremental Testing of Finite State Machines. - Lehilton L. C. Pedrosa; Arnaldo V. Moura (NASA Formal Methods, 2010)