Arnaldo V. Moura

According to our database, Arnaldo V. Moura authored at least 7 papers between 1985 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

A New Method for Incremental Testing of Finite State Machines.

Lehilton L. C. Pedrosa, Arnaldo V. Moura

Proceedings of the Second NASA Formal Methods Symposium, 2010

2008

Classes of Timed Automata and the Undecidability of Universality.

Arnaldo V. Moura, Guilherme A. Pinto

Fundam. Informaticae, 2008

2004

Preface.

Alexandre Mota, Arnaldo V. Moura

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

A Genetic Algorithm for Telecommunication Network Design.

Silvana Livramento, Arnaldo V. Moura, Flavio Keidi Miyazawa, Mário M. Harada, Rogério A. Miranda

Proceedings of the Applications of Evolutionary Computing, 2004

2002

A note on the verification of automata specifications of probabilistic real-time systems.

Arnaldo V. Moura, Guilherme A. Pinto

Inf. Process. Lett., 2002

1986

Early Error Detection in Syntax-Driven Parsers.

Arnaldo V. Moura

IBM J. Res. Dev., 1986

1985

On the Correctness of a Local Storage Subsystem.

Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman

Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1985